QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers.

Abdelwaheb Ayari David A. Basin

Published in: FMCAD (2002)

Keyphrases

boolean logic
truth values
multi valued
propositional logic
first order logic
knowledge compilation
database
graphical models
probabilistic logic
bayesian networks
integrity constraints
default logic
strips planning