Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,860,772 papers from all fields of science
Search
Sign In
Create Free Account
Knowledge compilation
Knowledge compilation is a family of approaches for addressing the intractability ofa number of artificial intelligence problems. A propositional…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Artificial intelligence
Bart Selman
Binary decision diagram
Conjunctive normal form
Disjunctive normal form
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Characterizing and Computing All Delete-Relaxed Dead-ends
Christian Muise
Inteligencia Artif.
2018
Corpus ID: 62798403
Dead-end detection is a key challenge in automated planning, and it is rapidly growing in popularity. Effective dead-end…
Expand
2015
2015
Provenance-based analysis of data-centric processes
Daniel Deutch
,
Y. Moskovitch
,
V. Tannen
The VLDB journal
2015
Corpus ID: 254082486
We consider in this paper static analysis of the possible executions of data-dependent applications, namely applications whose…
Expand
2010
2010
Reasoning with propositional knowledge: frameworks for boolean satisfiability and knowledge compilation
Adnan Darwiche
,
Thammanit Pipatsrisawat
2010
Corpus ID: 125023102
This dissertation is concerned with two fundamental problems that arise when reasoning about knowledge expressed in propositional…
Expand
2010
2010
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference
Adnan Darwiche
European Conference on Logics in Artificial…
2010
Corpus ID: 32076766
This talk is based on two main ideas, one concerning exact probabilistic inference and the second concerning approximate…
Expand
2009
2009
Projects' Analysis through CPM (Critical Path Method)
Peter Stelth
,
G. L. Roy
2009
Corpus ID: 111059138
CPM, a technique for analyzing projects by determining the longest sequence of tasks (or the sequence of task with the least…
Expand
2005
2005
Distributing a model-based executive for robot teams
A. Barrett
IEEE International Conference on Systems, Man and…
2005
Corpus ID: 28436982
This paper presents a way to command a system of systems robustly as a single entity. Instead of modeling each component system…
Expand
2002
2002
Compilation of propositional weighted bases
Adnan Darwiche
,
P. Marquis
Non-Monotonic Reasoning
2002
Corpus ID: 14969822
In this paper, we investigate the extent to which knowledge compilation can be used to improve inference from propositional…
Expand
1996
1996
An Almost Quadratic Class of Satisfiability Problems
M. Dalal
European Conference on Artificial Intelligence
1996
Corpus ID: 3088483
Many reasoning problems in Knowledge Representation can be reduced to the satisfiability problem of propositional logic. Since…
Expand
1992
1992
An explanation-based-learning approach to knowledge compilation: a Pilot's Associate application
K. Levi
,
D. Perschbacher
,
M. Hoffman
,
C.A. Miller
,
B. Druhan
,
V. Shalin
IEEE Expert
1992
Corpus ID: 206451289
The use of explanation-based learning as part of a larger knowledge compilation system for automating the development and…
Expand
1991
1991
The nature and significance of knowledge compilation
C. Tong
IEEE Expert
1991
Corpus ID: 36054197
Knowledge compilation is characterized in terms of a three-level hierarchy, consisting of the knowledge, function, and program…
Expand