119 search results - page 3 / 24 » Normal Forms for Knowledge Compilation |
FAC
2010
13 years 4 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
ICDT
2011
ACM
12 years 9 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
KR
2004
Springer
13 years 11 months 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...
IJCAI
1989
13 years 7 months ago
1989
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully ...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...