Keyphrases
- logical implication
- satisfiability problem
- propositional logic
- automated reasoning
- functional dependencies
- belief revision
- abductive reasoning
- description logics
- refinement operators
- answering queries
- deductive databases
- computational complexity
- logic programming
- np complete
- background knowledge
- decision procedures
- satisfiability testing
- sat problem
- phase transition
- stochastic local search
- causal networks
- neural network
- quantified boolean formulas
- abductive logic programming
- sat instances
- expressive power
- logic programs
- knowledge representation
- database