Journal of the ACM (JACM)
New Generation Computing
Proceedings of the eleventh international conference on Logic programming
Rule based updates on simple knowledge bases
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Abduction to plausible causes: an event-based model of belief update
Artificial Intelligence
Abduction from logic program: semantics and complexity
Theoretical Computer Science
Answer sets for prioritized logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Theoretical Computer Science - Special issue: database theory
On logically justified updates
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Preferred answer sets for extended logic programs
Artificial Intelligence
Propositional belief base update and minimal change
Artificial Intelligence
Monotonicity in rule based update
Proceedings of the 1999 international conference on Logic programming
LUPS---a language for updating logic programs
Artificial Intelligence
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
The Complexity of Logic Program Updates
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Update Rules in Datalog Programs
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Two results for prioritized logic programming
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
PolicyUpdater: a system for dynamic access control
International Journal of Information Security
Implementing prioritized logic programming
AI Communications
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
Towards generalized rule-based updates
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Minimal change and maximal coherence for epistemic logic program updates
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The Complexity of Logic Program Updates
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Semantic forgetting in answer set programming
Artificial Intelligence
Translating Preferred Answer Set Programs to Propositional Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A unified framework for representing logic program updates
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Back and forth between rules and SE-models
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A logic based approach for dynamic access control
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
A unifying perspective on knowledge updates
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
On condensing a sequence of updates in answer-set programming
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In logic program-based updates, contradictory information elimination, conflict resolution, and syntactic representation are three major issues that interfere with each other and significantly influence the update result. We observe that existing approaches of logic program-based updates, in one way or another, are problematic to deal with these issues. In this article, we address all these problems in a systematic manner. Our approach to the logic program-based update has the following features: (1) a prioritized logic programming language is employed for providing a formal basis of formalizing logic program-based updates, so that information conflict and its related problems in updates can be handled properly; (2) our approach presents both semantic characterization and syntactic representation for the underlying update procedure, and hence is consistent with the nature of updates within the logic program extent-declarative semantics and syntactic sensitivity; and (3) our approach also provides nontrivial solutions to simplify various update evaluation procedures under certain conditions.