Reasoning about reasons behind preferences using modal logic.
Truls PedersenSjur K. DyrkolbotnThomas ÅgotnesPublished in: Inf. Syst. Frontiers (2015)
Keyphrases
- modal logic
- modal operators
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- nonmonotonic logics
- default logic
- classical logic
- dynamic logic
- user preferences
- conditional logic
- decision making
- situation calculus
- possibilistic logic
- explanation based generalization
- soft constraints
- autoepistemic logic
- spatial reasoning
- multi attribute
- logic programs