Change, change, change: Three approaches

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1997, Pages 1426-1431

  Costello, Tom ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSEQUENCE RELATIONS; DEDUCTION THEOREMS; DIFFERENT DOMAINS; DOMAIN CONSTRAINT; FRAME PROBLEMS;

ARTIFICIAL INTELLIGENCE;

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

References (13)

1. Tom Costello. Beyond Minimizing Change. In Proc. National Conference on Artificial Intelligence (AAAI '97), 1997.
2. T bm Costello. Non-monotonicity and Change. PhD thesis, Stanford University, 1997.
3. M. Gelfond and V. Lifschitz. Representing Actions and Change by Logic Programs. Journal of Logic Programming, 17:301-322, 1993.
4. E. Giunchiglia. Determing Ramifications in the Situation Calculus. In J. Doyle, editor, Proceedings of KR 1996. KR, 1996.
5. G. N. Kartha and V. Lifschitz. A simple formalization of actions using circumscription. In Proc. Thirteenth International Joint Conference on Artificial Intelligence (IJCA1 '95), 1995.
6. V. Lifschitz. Some Results on Circumscription. In First Workshop on Non-monotonic Reasoning, pages 151-164, Stanford University, August 1984/
7. V. Lifschitz. Nested abnormality theories. Artificial Intelligence, 74:351-365, 1995.
8. F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation, 4(5):655-678, 1994.
9. F. Lin and Y. Shoham. Provably Correct Theories of Action. Journal of the ACM, 42(2):293-320, 1995.
10. J. McCarthy and P. Hayes. Some Philosophical Problems From the Standpoint of Artificial Intelligence. In D. Michie, editor, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Edinburgh, UK, 1969.
11. J. McCarthy. Applications of Circumscription to Formalizing Commonsense Knowledge. Artificial Intelligence, 28:89-116, 1986. (Pubitemid 16503926)
12. John McCarthy. Overcoming and Unexpected Obstacle. Available as http://www-formal.stanford.edu/jmc/elaboration.html, 1992.
13. E. Sandewall. Features and Fluents. Oxford University Press, 1994.