Sciweavers

147 search results - page 1 / 30

» ecai 2004

5

ECAI
2004
Springer

98views Artificial Intelligence» more ECAI 2004»

Generalized Widening

13 years 10 months ago

Generalized Widening

Download webdocs.cs.ualberta.ca

Tristan Cazenave

claim paper

Read More »

5

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

13 years 10 months ago

Contextualized Abstraction for Assertion-Level Theorem Proving

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

6

ECAI
2004
Springer

89views Artificial Intelligence» more ECAI 2004»

Likely-Admissible and Sub-Symbolic Heuristics

13 years 10 months ago

Likely-Admissible and Sub-Symbolic Heuristics

Download www.dii.unisi.it

Marco Ernandes, Marco Gori

claim paper

Read More »

5

ECAI
2004
Springer

145views Artificial Intelligence» more ECAI 2004»

Similarity-Based Ontology Alignment in OWL-Lite

13 years 10 months ago

Similarity-Based Ontology Alignment in OWL-Lite

Download dit.unitn.it

Jérôme Euzenat, Petko Valtchev

claim paper

Read More »

8

ECAI
2004
Springer

102views Artificial Intelligence» more ECAI 2004»

Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning

13 years 10 months ago

Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning

Download www.cs.toronto.edu

Nathanael Hyafil, Fahiem Bacchus

claim paper

Read More »

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