Search
 
loader loading subjects...
cover
Extending the Knowledge Compilation Map: Closure Principles
Hélène Fargier, Pierre Marquis
50 - 54
10.3233/978-1-58603-891-5-50
Frontiers in Artificial Intelligence and Applications
Volume 178: ECAI 2008
Abstract

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.

Download
Creative Commons License