Keyphrases
- description logic alc
- modal logic
- bounded treewidth
- np complete
- description logics
- satisfiability problem
- decision procedures
- upper bound
- search space
- computational complexity
- propositional logic
- space complexity
- boolean functions
- tree decompositions
- nonmonotonic logics
- phase transition
- computational properties
- cnf formula
- discrete random variables
- neural network
- terminological reasoning
- sat instances
- constraint satisfaction problems
- knowledge representation
- reasoning problems
- sat problem
- conjunctive normal form
- constraint graph
- satisfiability testing
- probabilistic model
- search algorithm