Semantics and Consistency of Rule based Expert Systems

DOI10.1093/logcom/1.4.477zbMath0735.68079OpenAlexW2077700253MaRDI QIDQ3985546

Marc Bezem

Publication date: 27 June 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/5970

zbMATH Keywords

consistencyknowledge-based systemrule-based expert systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication: Semantics and Consistency of Rule based Expert Systems