Knowledge base dynamics, abduction, and database updates

DOI10.1080/11663081.1995.10510843zbMath0827.68104OpenAlexW2080919138MaRDI QIDQ4835515

Phan Minh Dung, Chandrabose Aravindan

Publication date: 6 June 1995

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

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

zbMATH Keywords

abductionbelief dynamics

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items (1)

Theorem proving techniques for view deletion in databases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory contraction through base contraction
• On the logic of theory change: safe contraction
• On the status of the postulate of recovery in the logic of theory change
• Two modellings for theory change
• An analysis of loop checking mechanisms for logic programs
• Belief contraction without recovery
• Propositional knowledge base revision and minimal change
• In defense of base contraction
• Theory contraction and base contraction unified
• On the logic of theory change: Partial meet contraction and revision functions
• Update and retrieval in a relational database through a universal schema interface
• On the correct translation of update operations on relational views
• Partial deduction of updateable definite logic programs
• Kernel contraction
• An argumentation-theoretic foundation for logic programming
• Abductive Logic Programming
• Loop checking in partial deduction

This page was built for publication: Knowledge base dynamics, abduction, and database updates