Keyphrases
- np complete
- contextual information
- randomly generated
- np hard
- knowledge base
- computational complexity
- reasoning systems
- satisfiability problem
- qualitative reasoning
- constraint satisfaction problems
- pspace complete
- context sensitive
- automated reasoning
- context dependent
- conjunctive queries
- reasoning tasks
- np complete problems
- consistency checking
- conp complete
- polynomial time complexity
- knowledge representation
- data integration
- case based reasoning
- reasoning problems
- bounded treewidth
- neural network
- rule based reasoning
- data sets
- database