Truth maintenance systems and their application for verifying expert system knowledge bases
From MaRDI portal
Publication:1193853
DOI10.1007/BF00155580zbMath0754.68116WikidataQ56050272 ScholiaQ56050272MaRDI QIDQ1193853
Publication date: 27 September 1992
Published in: Artificial Intelligence Review (Search for Journal in Brave)
belief revision; knowledge-based systems; non-monotonic reasoning; expert systems design; verification of rule-based systems
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
Uses Software
Cites Work