Situation Calculus
Subareas:
Publications
Action Languages, Temporal Action Logics and the Situation Calculus 1999
Enrico Giunchiglia and Vladimir Lifschitz, In Working Notes of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action, and Change, 1999.
Situation Calculus and Causal Logic 1998
Vladimir Lifschitz, In Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 536-546, 1998.
Representing Action: Indeterminacy and Ramifications 1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz, Artificial Intelligence, 95:409-443, 1997.
Representing Actions in Logic Programs and Default Theories: a Situation Calculus Approach 1997
Hudson Turner, Journal of Logic Programming, 31:245-298, 1997.
Circumscription 1994
Vladimir Lifschitz, Handbook of Logic in AI and Logic Programming, 3:298--352, 1994. Oxford University Press.
Towards a Metatheory of Action 1991
Vladimir Lifschitz, In Allen, James and Fikes, Richard and Sandewall, Erik, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 376-386, 1991.
Labs
Texas Action Group