UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Situation Calculus
Publications
Interview to Kunstliche Intelligenz
2018
Vladimir Lifschitz,
Kunstliche Intelligenz
(2018).
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
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 536-546 1998.
Representing Action: Indeterminacy and Ramifications
1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz,
Artificial Intelligence
, Vol. 95 (1997), pp. 409-443.
Representing Actions in Logic Programs and Default Theories: a Situation Calculus Approach
1997
Hudson Turner,
Journal of Logic Programming
, Vol. 31 (1997), pp. 245-298.
Circumscription
1994
Vladimir Lifschitz,
Handbook of Logic in AI and Logic Programming
, Vol. 3 (1994), pp. 298--352. Oxford University Press.
Towards a Metatheory of Action
1991
Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Allen, James and Fikes, Richard and Sandewall, Erik (Eds.), pp. 376-386 1991.