Keyphrases
- description logic alc
- modal logic
- bounded treewidth
- np complete
- satisfiability problem
- description logics
- decision procedures
- upper bound
- propositional logic
- space complexity
- search space
- boolean functions
- computational complexity
- reasoning problems
- tree decompositions
- phase transition
- tractable classes
- terminological reasoning
- sat problem
- temporal logic
- discrete random variables
- symmetry breaking
- tree decomposition
- quantified boolean formulas
- relational databases
- satisfiability testing
- search algorithm
- bayesian networks
- learning algorithm