Reiter, Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, Unpublished draft, 2001. Reiter, Some contributions to the metatheory of the Situation Calculus, Journal of the ACM, 46(3): 325–362, (1999). Pirri eds., Logical Foundations for Cognitive Agents, Springer Verlag, AI series, pages 86–102, (1999).į. Levesque, An Incremental Interpreter for High-level Programs with Sensing, in H. Reiter, Foundations for the Situation Calculus, ETAI, 3(18), (1998). of Logic Programming, Special Issue on Actions, 31(l-3):59–83, (1997). Scherl, GOLOG: a Logic Programming Language for Dynamic Domains, J. Lesperance, An Approach to the Synthesis of Plans with Perception Acts and Conditionals, Technical report, Department of Computer Science, University of Toronto, (1996). Levesque, What is Planning in the Presence of Sensing? AAAI 96, (1996). Reiter, Proving Properties of States in the Situation Calculus, Artificial Intelligence Journal, 64:337–351, (1993). Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380, Academic Press, San Diego, CA, (1991). Reiter, The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression, in V. Brooks, Intelligence without Reason, IJCAI 91, pages 569–595, (1991). Brooks, Intelligence without Representation, Artificial Intelligence Journal, 47:139–159, (1991). Brooks, A Robust Layered Control System for a Mobile Robot, IEEE Transactions on Robotics and Automation, 2(l):14–23, (1986). Raphael, A Formal Basis for the Heuristic Determination of Minimun Cost Paths, IEEE Transactions on Systems Science and Cybernetics, SSC-4(2): 100–107, (1968). Nilsson, STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Murphy eds., Artificial Intelligence and Mobile Robots: Case Studies of Sucessful Robot Systems, AAAI Press/The MIT Press (1998).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |