Sciweavers

11 search results - page 1 / 3

» amai 1999

52

AMAI
1999
Springer

96views Artificial Intelligence» more AMAI 1999»

Parallel cooperative propositional theorem proving

14 years 11 months ago

Parallel cooperative propositional theorem proving

Download users.soe.ucsc.edu

Fumiaki Okushi

claim paper

Read More »

58

Voted

AMAI
1999
Springer

81views Artificial Intelligence» more AMAI 1999»

Building a Knowledge Base: An Example

14 years 11 months ago

Building a Knowledge Base: An Example

Download www.cs.toronto.edu

Michael Gelfond, Alfredo Gabaldon

claim paper

Read More »

63

Voted

AMAI
1999
Springer

77views Artificial Intelligence» more AMAI 1999»

A propositional theorem prover to solve planning and other problems

14 years 11 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 »

59

Voted

AMAI
1999
Springer

97views Artificial Intelligence» more AMAI 1999»

Lemma and cut strategies for propositional model elimination

14 years 11 months ago

Lemma and cut strategies for propositional model elimination

Download users.soe.ucsc.edu

Allen Van Gelder, Fumiaki Okushi

claim paper

Read More »

62

Voted

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

14 years 11 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 »