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 BibTeX
- Robert A. Kowalski, Fariba Sadri:
Reconciling the Event Calculus With the Situation Calculus.
39-58 BibTeX
- Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl:
GOLOG: A Logic Programming Language for Dynamic Domains.
59-83 BibTeX
- Chitta Baral, Michael Gelfond:
Reasoning About Effects of Concurrent Actions.
85-117 BibTeX
- Sven-Erik Bornscheuer, Michael Thielscher:
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.
119-155 BibTeX
- Antonis C. Kakas, Rob Miller:
A Simple Declarative Language for Describing Narratives With Actions.
157-200 BibTeX
- Chitta Baral, Michael Gelfond, Alessandro Provetti:
Representing Actions: Laws, Observations and Hypotheses.
201-243 BibTeX
- Hudson Turner:
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.
245-298 BibTeX
- Fangzhen Lin, Raymond Reiter:
Rules as Actions: A Situation Calculus Semantics for Logic Programs.
299-330 BibTeX
Copyright © Wed Jul 23 16:30:41 2008
by Michael Ley (ley@uni-trier.de)
