Journal of Logic Programming, Volume 31
Volume 31, Number 1-3, April-June 1997
Kristof Van Belleghem, Marc Denecker, Danny De Schreye: On the Relation Between Situation Calculus and Event Calculus. 3-37- Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl: GOLOG: A Logic Programming Language for Dynamic Domains. 59-83
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team