Sciweavers

11 search results - page 1 / 3

» amai 1999

20

AMAI
1999
Springer

96views Artificial Intelligence» more AMAI 1999»

Parallel cooperative propositional theorem proving

13 years 10 months ago

Parallel cooperative propositional theorem proving

Download users.soe.ucsc.edu

Fumiaki Okushi

claim paper

Read More »

18

AMAI
1999
Springer

81views Artificial Intelligence» more AMAI 1999»

Building a Knowledge Base: An Example

13 years 10 months ago

Building a Knowledge Base: An Example

Download www.cs.toronto.edu

Michael Gelfond, Alfredo Gabaldon

claim paper

Read More »

21

AMAI
1999
Springer

77views Artificial Intelligence» more AMAI 1999»

A propositional theorem prover to solve planning and other problems

13 years 10 months ago

A propositional theorem prover to solve planning and other problems

Download users.soe.ucsc.edu

Allen Van Gelder, Fumiaki Okushi

claim paper

Read More »

22

AMAI
1999
Springer

97views Artificial Intelligence» more AMAI 1999»

Lemma and cut strategies for propositional model elimination

13 years 10 months ago

Lemma and cut strategies for propositional model elimination

Download users.soe.ucsc.edu

Allen Van Gelder, Fumiaki Okushi

claim paper

Read More »

23

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

13 years 10 months ago

Nested Expressions in Logic Programs

Download www.d.umn.edu

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »