Journals in DBLP

J. Log. Program.
1997, volume: 31, number: 1-3

1. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
   On the Relation Between Situation Calculus and Event Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:3-37 [Journal]
   
2. Robert A. Kowalski, Fariba Sadri
   Reconciling the Event Calculus With the Situation Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:39-58 [Journal]
   
3. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
   GOLOG: A Logic Programming Language for Dynamic Domains. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:59-83 [Journal]
   
4. Chitta Baral, Michael Gelfond
   Reasoning About Effects of Concurrent Actions. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:85-117 [Journal]
   
5. Sven-Erik Bornscheuer, Michael Thielscher
   Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:119-155 [Journal]
   
6. Antonis C. Kakas, Rob Miller
   A Simple Declarative Language for Describing Narratives With Actions. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:157-200 [Journal]
   
7. Chitta Baral, Michael Gelfond, Alessandro Provetti
   Representing Actions: Laws, Observations and Hypotheses. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:201-243 [Journal]
   
8. Hudson Turner
   Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:245-298 [Journal]
   
9. Fangzhen Lin, Raymond Reiter
   Rules as Actions: A Situation Calculus Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1997, v:31, n:1-3, pp:299-330 [Journal]