Handling implication and universal quantification constraints in FLUX

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

Volumn 3709 LNCS, Issue , 2005, Pages 667-681

  Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; ENCODING (SYMBOLS); PROBLEM SOLVING; SOFTWARE AGENTS;

FLUENT CALCULUS; FLUX; PROGRAMMING AGENTS; STATE KNOWLEDGE;

CONSTRAINT THEORY;

EID: 33646204016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11564751_49     Document Type: Conference Paper

References (12)

1. McCarthy, J.: Programs with common sense. In: Proc. of the Symposium on the Mechanization of Thought Processes. Volume 1, London (1958) 77-84.
2. McCarthy, J.: Situations and Actions and Causal Laws. Stanford Artif. Intell. Project, Memo 2, Stanford University, CA (1963)
3. McCarthy, J., Hayea, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intell. 4 (1969) 463-502
4. Pikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artif. Intell. 2 (1971) 189-208
5. Reiter, R.: On knowledge-based programming with sensing in the situation calculus. ACM Transactions on Computational Logic 2 (2001) 433-457
6. Shanahan, M., Witkowski, M.: High-level robot control through logic. In Castelfranchi, C., Lespérance, Y., eds.: Proc. of the Internat. Workshop on Agent Theories Architectures and Languages. Vol. 1986 of LNCS, Springer (2000) 104-121
7. Thielscher, M.: Pushing the envelope: programming reasoning agents. In Baral, C., ed.: AAAI Workshop on Cognitive Robotics. AAAI Press (2002) 110-117
8. Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming (2005). Available at: www.fluxagent.org
9. Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37 (1998) 95-138
10. Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell. 111 (1999) 277-299
11. Thielscher, M.: Reasoning about actions with CHRs and finite domain constraints. In Stuckey, P., ed.: Proc. of ICLP. Vol. 2401 of LNCS, Springer (2002) 70-84
12. Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press (1989)