The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Preferred answer sets for extended logic programs
Artificial Intelligence
Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms
Fundamenta Informaticae - Special issue on soft computing
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Decision, nonmonotonic reasoning and possibilistic logic
Logic-based artificial intelligence
Parameters for Utilitarian Desires in a Qualitative Decision Theory
Applied Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning with conditional ceteris paribus preference statements
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
A framework for prioritized reasoning based on the choice evaluation
Proceedings of the 2007 ACM symposium on Applied computing
An introduction to fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence
Two alternatives for handling preferences in qualitative choice logic
Fuzzy Sets and Systems
A Revised Qualitative Choice Logic for Handling Prioritized Preferences
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Qualitative Constraint Enforcement in Advanced Policy Specification
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On Preferring and Inspecting Abductive Models
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
On graphical modeling of preference and importance
Journal of Artificial Intelligence Research
On the semantics of logic programs with preferences
Journal of Artificial Intelligence Research
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Support for context-aware monitoring in home healthcare
Journal of Ambient Intelligence and Smart Environments
Answer set optimization for and/or composition of CP-nets: a security scenario
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Implementing knowledge update sequences
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Preferences in AI: An overview
Artificial Intelligence
Aggregates in answer set optimization
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Answer set general theories and preferences
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
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
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Qualitative model of game theory
MDAI'05 Proceedings of the Second international conference on Modeling Decisions for Artificial Intelligence
Aggregates and preferences in logic programming
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Computing weighted solutions in ASP: representation-based method vs. search-based method
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Logic programs with ordered disjunction (LPODs) combine ideas underlying Qualitative Choice Logic (Brewka, Benferhat, & Le Berre 2002) and answer set programming. Logic programming under answer set semantics is extended with a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. LPODs are useful for applications in design and configuration and can serve as a basis for qualitative decision making.