New tractable classes for default reasoning from conditional knowledge bases.
Berilhes Borges GarciaPublished in: Ann. Math. Artif. Intell. (2005)
Keyphrases
- tractable classes
- default reasoning from conditional knowledge bases
- reasoning problems
- description logics
- probabilistic knowledge
- constraint satisfaction problems
- probabilistic logic
- computational properties
- reasoning tasks
- path consistency
- decision procedures
- bounded treewidth
- maximum entropy
- structural properties
- constraint satisfaction
- knowledge base
- model theoretic
- ontology languages
- dl lite
- arc consistency
- knowledge representation
- semantic web
- probabilistic reasoning
- constraint propagation
- temporal reasoning
- expressive power
- first order logic
- np complete
- np hard
- lower bound