Bounded epistemic situation calculus theories

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2013, Pages 846-853

  De Giacomo, Giuseppe ^a   Lespérance, Yves ^b   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION THEORY; BOUNDEDNESS; FIRST-ORDER; INFINITE DOMAINS; INITIAL SITUATION; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE; CALCULATIONS;

FORMAL LOGIC;

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

References (19)

1. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. AddisonWesley, 1995.
2. Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell., 111(1-2):171-208, 1999.
3. Christel Baier, Joost-Pieter Katoen, and Kim Guldstrand Larsen. Principles of Model Checking. MIT Press, 2008.
4. Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. An abstraction technique for the verification of artifact-centric systems. In KR, 2012.
5. Giuseppe De Giacomo, Yves Lespérance, and Fabio Patrizi. Bounded Situation Calculus Action Theories and Decidable Verification. In KR, 2012.
6. E. Allen Emerson. Model checking and the mu-calculus. In Descriptive Complexity and Finite Models, pages 185-214, 1996.
7. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali. Verification of relational data-centric dynamic systems with external services. CoRR, abs/1203.0024, 2012.
8. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, and Marco Montali. Verification of description logic knowledge and action bases. In ECAI, pages 103-108, 2012.
9. Hector J. Levesque and Gerhard Lakemeyer. The Logic of Knowledge Bases. MIT Press, 2001.
10. Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for a calculus of situations. Electronic Transactions of AI (ETAI), 2(3-4):159-178, 1998.
11. Hector J. Levesque. What is planning in the presence of sensing? In AAAI, pages 1139-1146, 1996.
12. Leonid Libkin. Embedded finite models and constraint databases. In Finite Model Theory and Its Applications. Springer, 2007.
13. J. McCarthy and P. J. Hayes. Some Philosophical Problems From the Stand-Point of Artificial Intelligence. Machine Intelligence, 4:463-502, 1969.
14. Robert C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319-358. Ablex Publishing, Norwood, NJ, 1985.
15. Ray Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
16. Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach, 3rd ed. Prentice Hall, 2010.
17. Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In AAAI, pages 689-695, 1993.
18. Richard B. Scherl and Hector J. Levesque. Knowledge, action, and the frame problem. Artif. Intell., 144(1-2):1-39, 2003.
19. Colin Stirling. Modal and Temporal Properties of Processes. Springer, 2001.