Equational Logic and Theories of Action

Steffen HölldoblerSteffen Hölldobler

Steffen Hölldobler
Equational Logic and Theories of Action
In M. Navarro P. Lucio, M. Martelli, eds., Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming, 111-123, 1996

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{H1996,
  author    = {Steffen H{\"{o}}lldobler},
  title     = {Equational Logic and Theories of Action},
  editor    = {M. Navarro P. Lucio and M. Martelli},
  booktitle = {Proceedings of the {APPIA-GULP-PRODE} Joint Conference on
               Declarative Programming},
  year      = {1996},
  pages     = {111-123}
}