Reasoning with DL-based CP-nets.
Tommaso Di NoiaThomas LukasiewiczGerardo I. SimariPublished in: Description Logics (2013)
Keyphrases
- cp nets
- proof theory
- multi attribute
- reasoning problems
- description logics
- multiple agents
- graphical representation
- preference relations
- knowledge base
- soft constraints
- computational properties
- utility function
- social choice
- preference ordering
- partial order
- automated reasoning
- np complete
- lower bound
- reasoning tasks
- target concept
- multi agent
- objective function
- machine learning