Intensional updates: abduction via deduction
Logic programming
Abduction versus closure in causal theories
Artificial Intelligence
View updates in stratified disjunctive databases
Journal of Automated Reasoning
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Knowledge Assimilation and Abduction
ECAI '90 Workshop on Truth Maintenance Systems
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Induction as Consequence Finding
Machine Learning
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Generality relations in answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
DNF hypotheses in explanatory induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Hi-index | 0.00 |
Abductive logic programming has been widely used to declaratively specify a variety of problems in AI including updates in data and knowledge bases, belief revision, diagnosis, causal theory, and default reasoning. One of the most significant issues in abductive logic programming is to develop a reasonable method for knowledge assimilation, which incorporates obtained explanations into the current knowledge base. This paper offers a solution to this problem by considering disjunctive explanations whenever multiple explanations exist. Disjunctive explanations are then to be assimilated into the knowledge base so that the assimilated program preserves all and only minimal answer sets from the collection of all possible updated programs. We describe a new form of abductive logic programming which deals with disjunctive explanations in the framework of extended abduction. The proposed framework can be well applied to view updates in disjunctive databases.