R-calculus for ELP: An operational approach to knowledge base maintenance

DOI10.1007/BF02943141zbMath0865.68117OpenAlexW2094196720MaRDI QIDQ676851

Wei Li, Ningchuan Shen

Publication date: 23 March 1997

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943141

zbMATH Keywords

extended logic programming\(R\)-calculusknowledge base maintenance

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Reasoning about action. I: A possible worlds approach
• A logical framework for knowledge base maintenance
• An open logic system
• On the logic of theory change: Partial meet contraction and revision functions
• Logic and Computation
• A survey of belief revision and updating in classical logic

This page was built for publication: R-calculus for ELP: An operational approach to knowledge base maintenance