Actions with preconditions and postconditions

  • Michael Morreau
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 619)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Goldblatt (1987): Logics of Time and Computation, CSLI Lecture Notes, Number 7, Stanford, CA.Google Scholar
  2. Morreau (1992): “Planning from First Principles” In P. Gärdenfors (ed.) Belief Revision, Cambridge University Press, Cambridge, U.K.Google Scholar
  3. Pratt, V. (1980) “Application of Modal Logic to Programming.” Stadia Logica, Vol. 39, pp. 257–274.Google Scholar
  4. Winslett (1988): “Reasoning about Action Using a Possible Models Approach.” In the Proceedings of AAAI, Vol 1., Morgan Kaufmann Publishers.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Michael Morreau
    • 1
  1. 1.Institut fuer maschinelle SprachverarbeitungUniversitaet StuttgartStuttgart 1Germany

Personalised recommendations