Compilability of propositional abduction.
Paolo LiberatoreMarco SchaerfPublished in: ACM Trans. Comput. Log. (2007)
Keyphrases
- propositional knowledge base
- propositional logic
- logic programming
- knowledge base
- first order logic
- knowledge compilation
- conjunctive normal form
- belief revision
- abductive reasoning
- background knowledge
- minimal change
- multi valued
- satisfiability testing
- default logic
- belief change
- causal networks
- refinement operators
- disjunctive logic programming
- strips planning
- bayesian networks