An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System

Hartmut Freitag, Michael Reinfrank. An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. In Katharina Morik, editor, GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, September 28 - October 2, 1987, Proceedings. Volume 152 of Informatik-Fachberichte, pages 170-174, Springer, 1987.

@inproceedings{FreitagR87,
  title = {An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System},
  author = {Hartmut Freitag and Michael Reinfrank},
  year = {1987},
  tags = {rule-based, interpreter, rules},
  researchr = {https://researchr.org/publication/FreitagR87},
  cites = {0},
  citedby = {0},
  pages = {170-174},
  booktitle = {GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, September 28 - October 2, 1987, Proceedings},
  editor = {Katharina Morik},
  volume = {152},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-18388-4},
}