Sciweavers

19 search results - page 1 / 4

» amai 2002

62

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

14 years 10 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

74

AMAI
2002
Springer

108views Artificial Intelligence» more AMAI 2002»

Approximate Qualitative Temporal Reasoning

14 years 10 months ago

Approximate Qualitative Temporal Reasoning

Download www.qrg.northwestern.edu

Thomas Bittner

claim paper

Read More »

53

AMAI
2002
Springer

73views Artificial Intelligence» more AMAI 2002»

Locally Strong Coherence in Inference Processes

14 years 10 months ago

Locally Strong Coherence in Inference Processes

Download www.dmi.unipg.it

Andrea Capotorti, Barbara Vantaggi

claim paper

Read More »

63

AMAI
2002
Springer

77views Artificial Intelligence» more AMAI 2002»

Strong Conditional Independence for Credal Sets

14 years 10 months ago

Strong Conditional Independence for Credal Sets

Download hera.ugr.es

Serafín Moral, Andrés Cano

claim paper

Read More »

58

AMAI
2005
Springer

97views Artificial Intelligence» more AMAI 2005»

The SAT2002 competition

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