Sciweavers

11 search results - page 1 / 3

» amai 1999

72

Voted

AMAI
1999
Springer

96views Artificial Intelligence» more AMAI 1999»

Parallel cooperative propositional theorem proving

15 years 2 months ago

Parallel cooperative propositional theorem proving

Download users.soe.ucsc.edu

Fumiaki Okushi

claim paper

Read More »

74

Voted

AMAI
1999
Springer

81views Artificial Intelligence» more AMAI 1999»

Building a Knowledge Base: An Example

15 years 2 months ago

Building a Knowledge Base: An Example

Download www.cs.toronto.edu

Michael Gelfond, Alfredo Gabaldon

claim paper

Read More »

83

Voted

AMAI
1999
Springer

77views Artificial Intelligence» more AMAI 1999»

A propositional theorem prover to solve planning and other problems

15 years 2 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 »

81

AMAI
1999
Springer

97views Artificial Intelligence» more AMAI 1999»

Lemma and cut strategies for propositional model elimination

15 years 2 months ago

Lemma and cut strategies for propositional model elimination

Download users.soe.ucsc.edu

Allen Van Gelder, Fumiaki Okushi

claim paper

Read More »

81

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

15 years 2 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 »