Sciweavers

19 search results - page 1 / 4

» amai 2002

13

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

13 years 5 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

14

AMAI
2002
Springer

108views Artificial Intelligence» more AMAI 2002»

Approximate Qualitative Temporal Reasoning

13 years 5 months ago

Approximate Qualitative Temporal Reasoning

Download www.qrg.northwestern.edu

Thomas Bittner

claim paper

Read More »

10

AMAI
2002
Springer

73views Artificial Intelligence» more AMAI 2002»

Locally Strong Coherence in Inference Processes

13 years 5 months ago

Locally Strong Coherence in Inference Processes

Download www.dmi.unipg.it

Andrea Capotorti, Barbara Vantaggi

claim paper

Read More »

12

AMAI
2002
Springer

77views Artificial Intelligence» more AMAI 2002»

Strong Conditional Independence for Credal Sets

13 years 5 months ago

Strong Conditional Independence for Credal Sets

Download hera.ugr.es

Serafín Moral, Andrés Cano

claim paper

Read More »

11

AMAI
2005
Springer

97views Artificial Intelligence» more AMAI 2005»

The SAT2002 competition

13 years 5 months ago

The SAT2002 competition

Download www.satcompetition.org

SAT Competition 2002 held in March

Laurent Simon, Daniel Le Berre, Edward A. Hirsch

claim paper

Read More »

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