Sciweavers

11 search results - page 1 / 3

» amai 1999

59

AMAI
1999
Springer

96views Artificial Intelligence» more AMAI 1999»

Parallel cooperative propositional theorem proving

15 years 22 days ago

Parallel cooperative propositional theorem proving

Download users.soe.ucsc.edu

Fumiaki Okushi

claim paper

Read More »

62

AMAI
1999
Springer

81views Artificial Intelligence» more AMAI 1999»

Building a Knowledge Base: An Example

15 years 22 days ago

Building a Knowledge Base: An Example

Download www.cs.toronto.edu

Michael Gelfond, Alfredo Gabaldon

claim paper

Read More »

68

AMAI
1999
Springer

77views Artificial Intelligence» more AMAI 1999»

A propositional theorem prover to solve planning and other problems

15 years 22 days 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 »

67

AMAI
1999
Springer

97views Artificial Intelligence» more AMAI 1999»

Lemma and cut strategies for propositional model elimination

15 years 22 days ago

Lemma and cut strategies for propositional model elimination

Download users.soe.ucsc.edu

Allen Van Gelder, Fumiaki Okushi

claim paper

Read More »

70

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

15 years 22 days 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 »