Compiling Possibilistic Knowledge Bases

Extending the ATMS

Johan de Kleer · Artificial Intelligence · 1986 · 222 citations

Propositional Independence - Formula-Variable Independence andForgetting

J. Lang, Paolo Liberatore, Pierre Marquis · Journal of Artificial Intelligence Research · 2003 · 216 citations · Full text

Computing, Computer Science, Artificial Intelligence +14

New advances in compiling CNF to Decomposable Negation Normal form

Adnan Darwiche · European Conference on Artificial Intelligence · 2004 · 193 citations

Computing, Computer Science, Algorithms +16

Compiling knowledge into decomposable negation normal form

Adnan Darwiche · 1999 · 81 citations

Computing, Computer Science, Algorithms +9

Compiling propositional weighted bases

Adnan Darwiche, Pierre Marquis · Artificial Intelligence · 2004 · 44 citations

Computing, Computer Science, Algorithms +6