Propositional Independence: Formula-Variable Independence and Forgetting.

Jérôme Lang Paolo Liberatore Pierre Marquis

Published in: J. Artif. Intell. Res. (2003)

Keyphrases

conditional independence
data sets
search algorithm
incremental learning
propositional logic
independence assumption
artificial intelligence
random variables
boolean formula
dependence structure
answer set programs
observable variables