Konsistenzüberprüfung bei sich verändernden Wissensbasen

Thomas Christaller. Konsistenzüberprüfung bei sich verändernden Wissensbasen. In Wolfgang Wahlster, editor, GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, September 27 - October 1, 1982, Proceedings. Volume 58 of Informatik-Fachberichte, pages 63-71, Springer, 1982.

@inproceedings{Christaller82:0,
  title = {Konsistenzüberprüfung bei sich verändernden Wissensbasen},
  author = {Thomas Christaller},
  year = {1982},
  researchr = {https://researchr.org/publication/Christaller82%3A0},
  cites = {0},
  citedby = {0},
  pages = {63-71},
  booktitle = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, September 27 - October 1, 1982, Proceedings},
  editor = {Wolfgang Wahlster},
  volume = {58},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-11960-4},
}