Keyphrases
- propositional theories
- satisfiability problem
- np complete
- phase transition
- computational properties
- propositional logic
- decision procedures
- cognitive psychology
- theoretical framework
- computational models
- computational problems
- causal reasoning
- databases
- logic programs
- computational complexity
- search algorithm
- knowledge base
- social networks
- learning algorithm