Sciweavers

147 search results - page 1 / 30

» ecai 2004

117

Voted

ECAI
2004
Springer

98views Artificial Intelligence» more ECAI 2004»

Generalized Widening

16 years 6 days ago

Generalized Widening

Download webdocs.cs.ualberta.ca

Tristan Cazenave

claim paper

Read More »

102

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

16 years 6 days ago

Contextualized Abstraction for Assertion-Level Theorem Proving

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

94

ECAI
2004
Springer

89views Artificial Intelligence» more ECAI 2004»

Likely-Admissible and Sub-Symbolic Heuristics

16 years 6 days ago

Likely-Admissible and Sub-Symbolic Heuristics

Download www.dii.unisi.it

Marco Ernandes, Marco Gori

claim paper

Read More »

143

ECAI
2004
Springer

145views Artificial Intelligence» more ECAI 2004»

Similarity-Based Ontology Alignment in OWL-Lite

16 years 6 days ago

Similarity-Based Ontology Alignment in OWL-Lite

Download dit.unitn.it

Jérôme Euzenat, Petko Valtchev

claim paper

Read More »

124

ECAI
2004
Springer

102views Artificial Intelligence» more ECAI 2004»

Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning

16 years 6 days 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 »