Frank Maurer. Knowledge Base Maintenance and Consistency Checking in MOLTKE/HyDi. In Thomas Wetter, Klaus-Dieter Althoff, John H. Boose, Brian R. Gaines, Marc Linster, editors, Current Developments in Knowledge Acquisition - EKAW 92, 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992. Volume 599 of Lecture Notes in Computer Science, pages 337-352, Springer, 1992.
@inproceedings{Maurer92,
title = {Knowledge Base Maintenance and Consistency Checking in MOLTKE/HyDi},
author = {Frank Maurer},
year = {1992},
tags = {rule-based, maintenance, consistency},
researchr = {https://researchr.org/publication/Maurer92},
cites = {0},
citedby = {0},
pages = {337-352},
booktitle = {Current Developments in Knowledge Acquisition - EKAW 92, 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992},
editor = {Thomas Wetter and Klaus-Dieter Althoff and John H. Boose and Brian R. Gaines and Marc Linster},
volume = {599},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55546-3},
}