artificial intelligence

34

AMAI
2005
Springer

80views Artificial Intelligence» more AMAI 2005»

Resolution cannot polynomially simulate compressed-BFS

13 years 11 months ago

Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...

DoRon B. Motter, Jarrod A. Roy, Igor L. Markov

claim paper

Read More »

26

click to vote

AMAI
2005
Springer

86views Artificial Intelligence» more AMAI 2005»

Epistemic irrelevance on sets of desirable gambles

13 years 11 months ago

Download hera.ugr.es

Serafín Moral

claim paper

Read More »

38

click to vote

AMAI
2005
Springer

79views Artificial Intelligence» more AMAI 2005»

Toward leaner binary-clause reasoning in a satisfiability solver

13 years 11 months ago

Download users.soe.ucsc.edu

Binary-clause reasoning has been shown to reduce the size of the search space on many satisfiability problems, but has often been so expensive that run-time was higher than that o...

Allen Van Gelder

claim paper

Read More »

18

click to vote

AMAI
2005
Springer

87views Artificial Intelligence» more AMAI 2005»

Algebraic structure of the families of compatible frames of discernment

13 years 11 months ago

Download cms.brookes.ac.uk

Fabio Cuzzolin

claim paper

Read More »

31

click to vote

AMAI
2005
Springer

85views Artificial Intelligence» more AMAI 2005»

Graphoid properties of epistemic irrelevance and independence

13 years 11 months ago

Download www.poli.usp.br

This paper investigates Walley's concepts of epistemic irrelevance and epistemic independence for imprecise probability models. We study the mathematical properties of irrele...

Fabio Gagliardi Cozman, Peter Walley

claim paper

Read More »

20

click to vote

AMAI
2005
Springer

94views Artificial Intelligence» more AMAI 2005»

Bargaining with incomplete information

13 years 11 months ago

Download www.cramton.umd.edu

S. Shaheen Fatima, Michael Wooldridge, Nicholas R....

claim paper

Read More »

37

click to vote

AMAI
2005
Springer

112views Artificial Intelligence» more AMAI 2005»

Logic programming with infinite sets

13 years 11 months ago

Download www.cs.uky.edu

Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...

Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Ma...

claim paper

Read More »

21

click to vote

AMAI
2005
Springer

87views Artificial Intelligence» more AMAI 2005»

On exact selection of minimally unsatisfiable subformulae

13 years 11 months ago

Download www.dis.uniroma1.it

Renato Bruni

claim paper