Sciweavers

12981 search results - page 355 / 2597
» Artificial Intelligence
Sort
View
FLAIRS
2007
15 years 10 months ago
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation
Diedrich Wolter, Frank Dylla, Lutz Frommberger, Ja...
FLAIRS
2008
15 years 10 months ago
Trialog: How Peer Collaboration Helps Remediate Errors in an ITS
Robert G. M. Hausmann, Brett van de Sande, Kurt Va...
FLAIRS
2008
15 years 10 months ago
Applicative and Combinatory Categorial Grammar: Analysis of the French Interrogative Sentences
The Applicative and Combinatory Categorial Grammar (ACCG) (Biskri, Descl
Aurélie Rossi
AISC
2008
Springer
15 years 9 months ago
Logic-Free Reasoning in Isabelle/Isar
Traditionally a rigorous mathematical document consists of a sequence of definition
Stefan Berghofer, Makarius Wenzel
ANTSW
2008
Springer
15 years 9 months ago
The Small World of Pheromone Trails
In this paper we consider MAX
Paola Pellegrini, Andrea Ellero