Reasoning about actions with CHRs and finite domain constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2401 LNCS, Issue , 2002, Pages 70-84

  Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; COMPUTER CIRCUITS; HIGH LEVEL LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; RECONFIGURABLE HARDWARE;

ACTION THEORY; CONSTRAINT HANDLING RULES; CONSTRAINT SOLVERS; FINITE DOMAIN CONSTRAINTS; FLUENT CALCULUS; HIGH-LEVEL PROGRAMMING LANGUAGE; REASONING ABOUT ACTIONS; SINGLE STATE;

LOGIC PROGRAMMING;

EID: 84888232617     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45619-8_6     Document Type: Conference Paper

References (13)

1. Wolfgang Bibel. A deductive solution for plan generation. New Generation Computing, 4:115-132, 1986.
2. Thom Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, 1998.
3. Steffen Holldobler and Josef Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225-244, 1990.
4. Robert Kowalski and M. Sergot. A logic based calculus of events. New Generation Computing, 4:67-95, 1986.
5. Yves Lesperance, Hector J. Levesque, Fangzhen Lin, D. Marcu, Ray Reiter, and Richard B. Scherl. A logical approach to high-level robot programming-a progress report. In B. Kuipers, editor, Control of the Physical World by Intelligent Agents, Papers from the AAAI Fall Symposium, pages 109-119, New Orleans, LA, November 1994.
6. Hector J. Levesque, Raymond Reiter, Yves Lesperance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
7. John McCarthy. Situations and Actions and Causal Laws. Memo, Stanford University, CA, 1963.
8. Raymond Reiter. Logic in Action. MIT Press, 2001.
9. Murray Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, 1997.
10. Murray Shanahan and MarkW itkowski. High-level robot control through logic. In C. Castelfranchi and Y. Lesṕerance, 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.
11. Michael Thielscher. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111(1-2):277-299, 1999.
12. 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.
13. Michael Thielscher. Pushing the envelope: Programming reasoning agents. In Chitta Baral and Sheila McIlraith, editors, AAAI Workshop on Cognitive Robotics, Edmonton, Canada, July 2002. AAAI Press.