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
Last update Tue May 21 19:21:57 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page