Journals in DBLP

J. Log. Comput.
1994, volume: 4, number: 5

1. Michael P. Georgeff
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:463-465 [Journal]
   
2. Edwin P. D. Pednault
   ADL and the State-Transition Model of Action. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:467-512 [Journal]
   
3. Rob Miller, Murray Shanahan
   Narratives in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:513-530 [Journal]
   
4. James F. Allen, George Ferguson
   Actions and Events in Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:531-579 [Journal]
   
5. Erik Sandewall
   The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:581-615 [Journal]
   
6. Joachim Hertzberg, Sylvie Thiébaux
   Turning an Action Formalism into a Planner - A Case Study. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:617-654 [Journal]
   
7. Fangzhen Lin, Raymond Reiter
   State Constraints Revisited. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:655-678 [Journal]
   
8. Lenhart K. Schubert
   Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:679-700 [Journal]
   
9. David Morley, Michael P. Georgeff, Anand S. Rao
   A Monotonic Formalism for Events and Systems of Events. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:5, pp:701-720 [Journal]
   
10. Ernest Davis
    Knowledge Preconditions for Plans. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:721-766 [Journal]
    
11. Sam Steel
    Action Under Uncertainty. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:767-795 [Journal]
    
12. Alvaro del Val, Yoav Shoham
    A Unified View of Belief Revision and Update. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:797-810 [Journal]
    
13. Johan van Benthem, Jan van Eijck, Vera Stebletsova
    Modal Logic, Transition Systems and Processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:811-855 [Journal]