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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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

Kerstin EderKerstin Eder,  Steffen HölldoblerSteffen Hölldobler,  Michael ThielscherMichael Thielscher
An Abstract Machine for Reasoning about Situations, Actions, and Causality


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
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}
}