Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
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
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
Note about cardinality-based circumscription
Artificial Intelligence
Parameters for Utilitarian Desires in a Qualitative Decision Theory
Applied Intelligence
Knowledge-Driven versus Data-Driven Logics
Journal of Logic, Language and Information
Autonomous Agents and Multi-Agent Systems
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Weakening conflicting information for iterated revision and knowledge integration
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
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
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Reasoning about multi-attribute preferences
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
An alternative inference for Qualitative Choice Logic
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Database preferences queries: a possibilistic logic approach with symbolic priorities
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Argumentation-based preference modelling with incomplete information
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Specifying and computing preferred plans
Artificial Intelligence
Preferences of agents in defeasible logic
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Multi-attribute preference logic
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Database preference queries--a possibilistic logic approach with symbolic priorities
Annals of Mathematics and Artificial Intelligence
On four noncommutative fuzzy connectives and their axiomatization
Fuzzy Sets and Systems
Nested Preferences in Answer Set Programming
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Expert Systems with Applications: An International Journal
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
| Hi-index | 0.00 |
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new connective called ordered disjunction: A ×→ B intuitively means: if possible A, but if A is not possible then at least B. The semantics of qualitative choice logic is based on a preference relation among models. Consequences of QCL theories can be computed through a compilation to stratified knowledge bases which in turn can be compiled to classical propositional theories. We also discuss potential applications of the logic, several variants of QCL based on alternative inference relations, and their relation to existing nonmonotonic formalisms.