Situation Calculus
Publications
Action Languages, Temporal Action Logics and the Situation Calculus 1999
Enrico Giunchiglia and Vladimir Lifschitz
Situation Calculus and Causal Logic 1998
Vladimir Lifschitz
Representing Action: Indeterminacy and Ramifications 1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz
Representing Actions in Logic Programs and Default Theories: a Situation Calculus Approach 1997
Hudson Turner
Circumscription 1994
Vladimir Lifschitz
Towards a Metatheory of Action 1991
Vladimir Lifschitz
Labs
Texas Action Group