Volume 31,
Number 1-3,
April-June 1997
Reasoning about Action and Change
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
On the Relation Between Situation Calculus and Event Calculus.
3-37
- Robert A. Kowalski, Fariba Sadri:
Reconciling the Event Calculus With the Situation Calculus.
39-58
- Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl:
GOLOG: A Logic Programming Language for Dynamic Domains.
59-83
- Chitta Baral, Michael Gelfond:
Reasoning About Effects of Concurrent Actions.
85-117
- Sven-Erik Bornscheuer, Michael Thielscher:
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.
119-155
- Antonis C. Kakas, Rob Miller:
A Simple Declarative Language for Describing Narratives With Actions.
157-200
- Chitta Baral, Michael Gelfond, Alessandro Provetti:
Representing Actions: Laws, Observations and Hypotheses.
201-243
- Hudson Turner:
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.
245-298
- Fangzhen Lin, Raymond Reiter:
Rules as Actions: A Situation Calculus Semantics for Logic Programs.
299-330
Copyright © Fri Dec 4 20:33:15 2009
by Michael Ley (ley@uni-trier.de)
