Revision in ACMS

DOI10.1080/09528139208953749zbMath0752.68079OpenAlexW2035749277MaRDI QIDQ4018177

Alex Kean

Publication date: 16 January 1993

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139208953749

zbMATH Keywords

truth maintenance systemsassumption revisionincremental deletion scheme

Mathematics Subject Classification ID

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

Cites Work

• An incremental method for generating prime implicants/implicates
• A theory of diagnosis from first principles
• A logic for default reasoning
• Consistency in networks of relations
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• Unnamed Item

This page was built for publication: Revision in ACMS