Conditional independence in propositional logic

Artificial Intelligence - Tập 141 - Trang 79-121 - 2002
Jérôme Lang1, Paolo Liberatore2, Pierre Marquis3
1IRIT-CNRS, Université Paul Sabatier, Toulouse, France
2Università di Roma - La Sapienza, Rome, Italy
3CRIL-CNRS, Université d'Artois, Lens, France