This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
2.5 Bibliographical Notes
Krzysztof R. Apt and Roland Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19/20:9–71, 1994.
Krzysztof R. Apt. From Logic Programming to Prolog. Prentice-Hall, 1997.
[Boutilier et al., 2000]_Craig Boutilier, Ray Reiter, Mikhail Soutchanski, and Sebastian Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In H. Kautz and B. Porter, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 355–362, Austin, TX, July 2000.
Keith L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293–322. Plenum Press, 1978.
William F. Clocksin and Chris S. Mellish. Programming in PROLOG. Springer, 1994.
[Colmerauer et al., 1972]_Alain Colmerauer, Henry Kanoui, Robert Pasero, and Philippe Roussel. Un système de communication homme-machine en français. Technical report, University of Marseille, 1972.
Giuseppe De Giacomo and Hector Levesque. An incremental interpreter for high-level programs with sensing. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 86–102. Springer, 1999.
Giuseppe De Giacomo and Hector Levesque. Con-Golog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1–2):109–169, 2000.
[Giunchiglia et al., 2004]_Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1–2):49–104, 2004.
Henrik Grosskreutz and Gerhard Lakemeyer. cc-Golog: Towards more realistic logic-based robot control. In H. Kautz and B. Porter, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 476–482, Austin, TX, July 2000.
Robert Kowalski. Predicate logic as a programming language. In Proceedings of the Congress of the International Federation for Information Processing (IFIP), pages 569–574. Elsevier, 1974.
Jonas Kvarnström and Patrick Doherty. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30:119–169, 2000.
Gerhard Lakemeyer. On sensing and off-line interpreting GOLOG. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 173–189. Springer, 1999.
[Levesque et al., 1997]_Hector Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1–3):59–83, 1997.
John W. Lloyd. Foundations of Logic Programming. Series Symbolic Computation. Springer, second, extended edition, 1987.
Raymond Reiter. Knowledge in Action. MIT Press, 2001.
Murray Shanahan and Mark Witkowski. High-level robot control through logic. In C. Castelfranchi and Y. Lespérance, editors, Proceedings of the International Workshop on Agent Theories Architectures and Languages (ATAL), volume 1986 of LNCS, pages 104–121, Boston, MA, July 2000. Springer.
Michael Thielscher. Programming of reasoning and planning agents with FLUX. In D. Fensel, D. McGuinness, and M.-A. Williams, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 435–446, Toulouse, France, April 2002. Morgan Kaufmann.
Michael Thielscher. Logic-based agents and the frame problem: A case for progression. In V. Hendricks, editor, First-Order Logic Revisited: Proceedings of the Conference 75 Years of First Order Logic (FOL75), pages 323–336, Berlin, Germany, 2004. Logos.
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
(2005). Special FLUX. In: Reasoning Robots. Applied Logic Series, vol 33. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3069-X_2
Download citation
DOI: https://doi.org/10.1007/1-4020-3069-X_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3068-0
Online ISBN: 978-1-4020-3069-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)