Minimal and consistent evolution of knowledge bases

DOI10.1080/11663081.1997.10510902zbMath0871.68164OpenAlexW2007012284MaRDI QIDQ3128368

Jorge Lobo, Goce Trajcevski

Publication date: 16 April 1997

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

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

zbMATH Keywords

knowledge basesview updatesconsistency maintenancedeductive database paradigm

Mathematics Subject Classification ID

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

Uses Software

• XSB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional knowledge base revision and minimal change
• A basis for deductive database systems II
• Abductive Logic Programming

This page was built for publication: Minimal and consistent evolution of knowledge bases