On some tractable classes in deduction and abduction.
Alvaro del ValPublished in: Artif. Intell. (2000)
Keyphrases
- tractable classes
- constraint satisfaction problems
- reasoning problems
- structural properties
- path consistency
- inference rules
- bounded treewidth
- temporal reasoning
- theorem proving
- background knowledge
- constraint satisfaction
- description logics
- theorem prover
- constraint propagation
- logic programming
- decision procedures
- np hard
- arc consistency
- constraint programming
- np complete
- lower bound
- computational properties
- tree decomposition
- variable elimination