A Logic for Preference Lifting Under Uncertainty and Its Decidability.
Xiaoxuan FuZhiguang ZhaoPublished in: CLAR (2023)
Keyphrases
- probability theory
- preference elicitation
- logic programming
- modal logic
- computational properties
- description logics
- pairwise comparisons
- decision procedures
- multi valued
- classical logic
- automated reasoning
- belief functions
- multi criteria
- conditional probabilities
- asynchronous circuits
- inherent uncertainty
- preference aggregation
- data model
- inference rules
- uncertain data
- nonmonotonic logics
- query answering
- deontic logic
- logic programs
- proof theory
- qualitative preferences
- automata theoretic