Knowledge compilation

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

Algorithms based on first-order knowledge compilation are currently the state-of-the-art for lifted inference. These algorithms…

2015

We consider in this paper static analysis of the possible executions of data-dependent applications, namely applications whose…

2013

The class \(\mathcal{SLUR}\) (Single Lookahead Unit Resolution) was introduced in [22] as an umbrella class for efficient SAT…

2009

CPM, a technique for analyzing projects by determining the longest sequence of tasks (or the sequence of task with the least…

2009

The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution…

2008

We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying…

2007

A foam plastic disposable tray and cover typically used for take-out dinners at fast food establishments. The tray and cover are…

2007

This paper presents a new direction in the area of compiling Bayesian networks. The principal idea is to encode the network by…

2006

Techniques for knowledge compilation like prime implicates and binary decision diagrams (BDDs) are effective methods for…

2005