Property persistence in the situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 1948-1953

  Kelly, Ryan F ^a   Pearce, Adrian R ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; FIRST-ORDER; PARTIAL OBSERVABILITY; REASONING ABOUT KNOWLEDGE; REASONING TASKS; SECOND ORDERS; SITUATION CALCULUS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE;

CALCULATIONS;

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

References (6)

1. Leopoldo E. Bertossi, Javier Pinto, Pablo Saez, Deepak Kapur, and Mahadevan Subramaniam. Automating proofs of integrity constraints in situation calculus. In International Syposium on Methodologies for Intelligent Systems, pages 212-222, 1996.
2. Patrick Cousot and Radhia Cousot. Constructive versions of Tarski's fixed point theorems. Pacific Journal of Maths., 82(1):43-57, 1979.
3. Fangzhen Lin and Ray Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, 1994.
4. Fiora Pirri and Ray Reiter. Some contributions to the metatheory of the situation calculus. Journal of the ACM, 46(3):325-361, 1999.
5. Ray Reiter. The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, pages 359-380, San Diego, CA, USA, 1991. Academic Press Professional, Inc.
6. Ray Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64:337-351, 1993.