Sciweavers

147 search results - page 1 / 30

» ecai 2004

73

Voted

ECAI
2004
Springer

98views Artificial Intelligence» more ECAI 2004»

Generalized Widening

15 years 8 months ago

Generalized Widening

Download webdocs.cs.ualberta.ca

Tristan Cazenave

claim paper

Read More »

69

Voted

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

15 years 8 months ago

Contextualized Abstraction for Assertion-Level Theorem Proving

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

58

ECAI
2004
Springer

89views Artificial Intelligence» more ECAI 2004»

Likely-Admissible and Sub-Symbolic Heuristics

15 years 8 months ago

Likely-Admissible and Sub-Symbolic Heuristics

Download www.dii.unisi.it

Marco Ernandes, Marco Gori

claim paper

Read More »

89

ECAI
2004
Springer

145views Artificial Intelligence» more ECAI 2004»

Similarity-Based Ontology Alignment in OWL-Lite

15 years 8 months ago

Similarity-Based Ontology Alignment in OWL-Lite

Download dit.unitn.it

Jérôme Euzenat, Petko Valtchev

claim paper

Read More »

91

Voted

ECAI
2004
Springer

102views Artificial Intelligence» more ECAI 2004»

Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning

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