existential quantification

34

JSAT
2006

91views more JSAT 2006»

Extending Existential Quantification in Conjunctions of BDDs

13 years 11 months ago

Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...

Sean Weaver, John V. Franco, John S. Schlipf

claim paper

Read More »

33

click to vote

ECAI
2008
Springer

86views Artificial Intelligence» more ECAI 2008»

Extending the Knowledge Compilation Map: Closure Principles

14 years 1 months ago

Download www.cril.univ-artois.fr

We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so...

Hélène Fargier, Pierre Marquis

claim paper

Read More »

33

click to vote

COMPSAC
1996
IEEE

131views Software Engineering» more COMPSAC 1996»

A Logic Database System with Extended Functionality

14 years 3 months ago

Download dblab.ssu.ac.kr

We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...

Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee

claim paper

Read More »

32

click to vote

RTA
1998
Springer

120views Theoretical Computer Science» more RTA 1998»

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers