A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.

Published in: FLAIRS Conference (2002)

Keyphrases

propositional logic
knowledge compilation
conjunctive normal form
database
boolean functions
cnf formula
data sets
machine learning
artificial intelligence
quantified boolean formulae
statistical analysis
first order logic
propositional knowledge base