Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Nadia CreignouJohannes SchmidtMichael ThomasPublished in: CoRR (2009)
Keyphrases
- boolean functions
- prime implicants
- multi valued
- uniform distribution
- polynomial size
- propositional knowledge base
- propositional formulas
- threshold functions
- read once formulas
- relevant variables
- functional properties
- membership queries
- dnf formulae
- causal graph
- abductive reasoning
- logic programs
- background knowledge
- disjunctive normal form
- worst case
- linear threshold
- dnf formulas
- knowledge base
- logic programming
- binary decision diagrams
- probabilistic logic
- horn clauses
- heuristic search
- multi class