Sciweavers

8337 search results - page 96 / 1668
» Reasoning With Characteristic Models
Sort
View
LANMR
2004
15 years 5 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
Isabella Cattinelli, Maria Luisa Damiani, Andrea N...
ATAL
2010
Springer
15 years 5 months ago
MAS-DisCoSim 4 PDP: a testbed for multi-agent solutions to PDPs
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
Jelle Van Gompel, Bart Tuts, Rutger Claes, Mario C...
CORR
2006
Springer
111views Education» more  CORR 2006»
15 years 4 months ago
Raisonner avec des diagrammes : perspectives cognitives et computationnelles
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
Catherine Recanati
COGSCI
2002
83views more  COGSCI 2002»
15 years 4 months ago
Strategies in sentential reasoning
Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed...
Jean-Baptiste Van der Henst, Yingrui Yang, Philip ...
AEI
2004
87views more  AEI 2004»
15 years 4 months ago
Estimating the productivity of cyclic construction operations using case-based reasoning
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...
Darren Graham, Simon D. Smith