Reasoning with knowledge, action and time in dynamic and uncertain domains

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 885-890

  Patkos, Theodore ^a   Plexousakis, Dimitris ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; SEMANTICS;

AXIOMATIZATION; CONTEXT DEPENDENT; DETERMINISTIC DOMAINS; EVENT CALCULUS; KNOWLEDGE THEORY; POSSIBLE WORLDS; REASONING ABOUT KNOWLEDGE;

CALCULATIONS;

EID: 78650431424     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Eyal Amir and Stuart J. Russell. Logical filtering. In IJCAI'03, pages 75-82, 2003.
2. R. Demolombe and MP Pozos-Parra. A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. Twelfth International Symposium on Methodologies for Intelligent Systems (ISMIS-00), pages 515-524, 2000.
3. V. Lifschitz. Circumscription. Handbook of Logic in Artificial Intelligence and Logic Programming, 3:297-352, 1994.
4. Yongmei Liu and Hector J. Levesque. Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. In IJCAI' 05, pages 522-527, 2005.
5. Jorge Lobo, Gisela Mendez, and Stuart R. Taylor. Knowledge and the Action Description Language A. Theory and Practice of Logic Programming, 1(2):129-184, 2001.
6. Rob Miller and Murray Shanahan. Some Alternative Formulations of the Event Calculus. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 452-490, London, UK, 2002. Springer-Verlag.
7. R. C. Moore. A Formal Theory of Knowledge and Action. In Formal Theories of the Commonsense World, pages 319-358. J. Hobbs, R. Moore (Eds.), 1985.
8. Erik Mueller. Commonsense Reasoning. Morgan Kaufmann, 1st edition, 2006.
9. Erik Mueller. Discrete Event Calculus with Branching Time. In 8th International Symposium on Logical Formalizations of Commonsense Reasoning, pages 126-131, 2007.
10. Ronald P. A. Petrick and Hector J. Levesque. Knowledge Equivalence in Combined Action Theories. In KR'02, pages 303-314, 2002.
11. Ronald P. A. Petrick. Cartesian Situations and Knowledge Decomposition in the Situation Calculus. In KR'08, pages 629-639, 2008.
12. Richard B. Scherl and Hector J. Levesque. Knowledge, Action, and the Frame Problem. Artificial Intelligence, 144(1-2):1-39, 2003.
13. R.B. Scherl. Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In IJCAI'03, volume 18, pages 1091-1098, 2003.
14. Tran Cao Son and Chitta Baral. Formalizing Sensing Actions-A Transition Function based Approach. Artificial Intelligence, 125(1-2):19-91, 2001.
15. Michael Thielscher. Representing the Knowledge of a Robot. In KR'00, pages 109-120, 2000.
16. Stavros Vassos and Hector Levesque. Progression of Situation Calculus Action Theories with Incomplete Information. In IJCAI'07, pages 2024-2029, 2007.