Sciweavers

Share
ECAI
2008
Springer

Extending the Knowledge Compilation Map: Closure Principles

8 years 4 months ago
Extending the Knowledge Compilation Map: Closure Principles
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so far. We investigate two closure principles: disjunction and implicit forgetting (i.e., existential quantification). Each introduced fragment is evaluated w.r.t. several criteria, including the complexity of basic queries and transformations, and its spatial efficiency is also analyzed.
Hélène Fargier, Pierre Marquis
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ECAI
Authors Hélène Fargier, Pierre Marquis
Comments (0)
books