The mathematics of inheritance systems
The mathematics of inheritance systems
Logic programs with classical negation
Logic programming
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Foundations of logic programming
Principles of knowledge representation
Partial Semantics for Truth Maintenance - a Compositional Approach
JELIA '90 Proceedings of the European Workshop on Logics in AI
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Challenges for Inductive Logic Programming
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
User Preference Information in Query Answering
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Dynamic Decision-Making in Logic Programming and Game Theory
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Logic for Modeling Decision Making with Dynamic Preferences
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Compilation of Updates plus Preferences
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the Relationship between Defeasible Logic and Well-Founded Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Case Study in Using Preference Logic Grammars for Knowledge Representations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Dynamically Ordered Probabilistic Choice Logic Programming
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Alternating Fixpoint Theory for Logic Programs with Priority
CL '00 Proceedings of the First International Conference on Computational Logic
Psychiatric Diagnosis from the Viewpoint of Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Graphs and colorings for answer set programming with preferences
Fundamenta Informaticae
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Handling defeasibilities in action domains
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Two results for prioritized logic programming
Theory and Practice of Logic Programming
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Theory and Practice of Logic Programming
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Computational Logic (TOCL)
Mutual enrichment through nested belief change
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Implementing prioritized logic programming
AI Communications
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
A framework for prioritized reasoning based on the choice evaluation
Proceedings of the 2007 ACM symposium on Applied computing
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
Value Based Argumentation in Hierarchical Argumentation Frameworks
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
On the semantics of logic programs with preferences
Journal of Artificial Intelligence Research
Towards generalized rule-based updates
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A cumulative-model semantics for dynamic preferences on assumptions
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
The context-dependent role model
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
On the semantics of logic programs with preferences
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Preference-Based argumentation handling dynamic preferences built on prioritized logic programming
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
Specifying and reasoning about normative systems in deontic logic programming
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Graphs and Colorings for Answer Set Programming with Preferences
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Hi-index | 0.00 |
The paper describes an extension of well-founded semantics for logic programs with two types of negation. In this extension information about preferences between rules can be expressed in the logical language and derived dynamically. This is achieved by using a reserved predicate symbol and a naming technique. Conflicts among rules are resolved whenever possible on the basis of derived preference information. The well-founded conclusions of prioritized logic programs can be computed in polynomial time. A legal reasoning example illustrates the usefulness of the approach.