An Abstract Machine for Reasoning about Situations, Actions, and Causality

Kerstin EderKerstin Eder, Steffen HölldoblerSteffen Hölldobler, Michael ThielscherMichael Thielscher

Kerstin Eder, Steffen Hölldobler, Michael Thielscher
An Abstract Machine for Reasoning about Situations, Actions, and Causality
In P. Schroeder-Heister R. Dyckhoff, H. Herre, eds., Proceedings of the International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, 137-151, 1996. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{EHT1996,
  author    = {Kerstin Eder and Steffen H{\"{o}}lldobler and Michael Thielscher},
  title     = {An Abstract Machine for Reasoning about Situations, Actions, and
               Causality},
  editor    = {P. Schroeder-Heister R. Dyckhoff and H. Herre},
  booktitle = {Proceedings of the International Workshop on Extensions of Logic
               Programming},
  series    = {Lecture Notes in Artificial Intelligence},
  publisher = {Springer},
  year      = {1996},
  pages     = {137-151}
}