Search Sciweavers | Sciweavers

12981 search results - page 355 / 2597

» Artificial Intelligence

105

click to vote

FLAIRS
2007

103views Artificial Intelligence» more FLAIRS 2007»

Qualitative Spatial Reasoning for Rule Compliant Agent Navigation

15 years 9 months ago

Download www.aaai.org

Diedrich Wolter, Frank Dylla, Lutz Frommberger, Ja...

claim paper

Read More »

100

click to vote

FLAIRS
2008

79views Artificial Intelligence» more FLAIRS 2008»

Trialog: How Peer Collaboration Helps Remediate Errors in an ITS

15 years 9 months ago

Download www.learnlab.org

Robert G. M. Hausmann, Brett van de Sande, Kurt Va...

claim paper

Read More »

144

click to vote

FLAIRS
2008

124views Artificial Intelligence» more FLAIRS 2008»

Applicative and Combinatory Categorial Grammar: Analysis of the French Interrogative Sentences

15 years 9 months ago

Download www.aaai.org

The Applicative and Combinatory Categorial Grammar (ACCG) (Biskri, Descl

Aurélie Rossi

claim paper

Read More »

132

Voted

AISC
2008
Springer

86views Artificial Intelligence» more AISC 2008»

Logic-Free Reasoning in Isabelle/Isar

15 years 8 months ago

Download www4.in.tum.de

Traditionally a rigorous mathematical document consists of a sequence of definition

Stefan Berghofer, Makarius Wenzel

claim paper

Read More »

183

click to vote

ANTSW
2008
Springer

121views Artificial Intelligence» more ANTSW 2008»

The Small World of Pheromone Trails

15 years 8 months ago

Download www.paola.pellegrini.it

In this paper we consider MAX

Paola Pellegrini, Andrea Ellero

claim paper

Read More »

« Prev « First page 355 / 2597 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers