Computational aspects of satisfiability in probability logic.
Rutger KuyperPublished in: Math. Log. Q. (2014)
Keyphrases
- probability theory
- computational properties
- quantum computation
- logic programming
- probability distribution
- bounded model checking
- satisfiability problem
- logic programs
- propositional theories
- automated reasoning
- defeasible logic
- propositional logic
- classical logic
- logical framework
- deductive databases
- digital circuits
- deontic logic
- logical implication
- quantified boolean formulas
- phase transition
- conditional probabilities
- np complete