Sciweavers

12753 search results - page 151 / 2551
» is 2002
Sort
View
74
Voted
AI
2002
Springer
15 years 1 months ago
Combining topological and size information for spatial reasoning
Alfonso Gerevini, Jochen Renz
69
Voted
AI
2002
Springer
15 years 1 months ago
Skepticism and floating conclusions
John F. Horty
88
Voted
AI
2002
Springer
15 years 1 months ago
Disjoint pattern database heuristics
Richard E. Korf, Ariel Felner
76
Voted
AICOM
2002
69views more  AICOM 2002»
15 years 1 months ago
E - a brainiac theorem prover
Stephan Schulz