Volume 4,
Number 1,
February 1994
- Esther König:
A Hypothetical Reasoning Algorithm for Linguistic Analysis.
1-19
- Frank Wolter:
Solution to a Problem of Goranko and Passy.
21-22
- Harold Simmons:
The Monotonous Elimination of Predicate Variables.
23-68
- James Harland:
A Proof-Theoretic Analysis of Goal-Directed Provability.
69-88
- Leopoldo E. Bertossi:
Circumscription in Data Logic for Data Type Specification.
89-96
Volume 4,
Number 2,
April 1994
Volume 4,
Number 3,
June 1994
Volume 4,
Number 4,
August 1994
Volume 4,
Number 5,
October 1994
- Michael P. Georgeff:
Editorial.
463-465
- Edwin P. D. Pednault:
ADL and the State-Transition Model of Action.
467-512
- Rob Miller, Murray Shanahan:
Narratives in the Situation Calculus.
513-530
- James F. Allen, George Ferguson:
Actions and Events in Interval Temporal Logic.
531-579
- Erik Sandewall:
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia.
581-615
- Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism into a Planner - A Case Study.
617-654
- Fangzhen Lin, Raymond Reiter:
State Constraints Revisited.
655-678
- Lenhart K. Schubert:
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change.
679-700
- David N. Morley, Michael P. Georgeff, Anand S. Rao:
A Monotonic Formalism for Events and Systems of Events.
701-720
- Ernest Davis:
Knowledge Preconditions for Plans.
721-766
- Sam Steel:
Action Under Uncertainty.
767-795
- Alvaro del Val, Yoav Shoham:
A Unified View of Belief Revision and Update.
797-810
- Johan van Benthem, Jan van Eijck, Vera Stebletsova:
Modal Logic, Transition Systems and Processes.
811-855
Volume 4,
Number 6,
December 1994
Copyright © Tue Feb 9 19:46:47 2010
by Michael Ley (ley@uni-trier.de)
