Knowledge compilation

Knowledge compilation is a family of approaches for addressing the intractability ofa number of artificial intelligence problems. A propositional… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Probabilistic logical languages provide powerful formalisms for knowledge representation and learning. Yet performing inference… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2001
2001
We provide a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
1997
Review
1997
Knowledge compilation is an AI technique for addressing computationally demanding reasoning problems. In this paper we survey… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Computational efficiency is a central concern in the design of knowledge representation systems. In order to obtain efficient… (More)
  • figure 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this paper, we are mainly concerned with logical compilations of propositional knowledge bases. We propose a new approach to… (More)
  • table 1
Is this relevant?
1995
1995
Knowledge compilat ion is the process by which an in i t ia l theory w i th respect to which inference is intractable is… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We present a new approach to developing fast and eecient knowledge representation systems. Previous approaches to the problem of… (More)
Is this relevant?
1991
1991
A knowledge-compilation framework that is based on explanation-based learning and that uses cases, causal models, and measurement… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?