759 search results - page 10 / 152 » A Perspective on Knowledge Compilation |
AAAI
2008
13 years 9 months ago
2008
We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment)...
KR
2004
Springer
14 years 22 days ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
ISMIS
2005
Springer
14 years 26 days ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
WER
2005
Springer
14 years 25 days ago
2005
Springer