2082 search results - page 41 / 417 » Change Paths in Reasoning! |
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
MC
2008
13 years 9 months ago
2008
Tool use often challenges the human motor system, especially when these tools require sensorimotor transformations. We report an experiment using a digitizer tablet, in which diff...
IGPL
2010
13 years 6 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— We present an efficient, anytime method for path planning in dynamic environments. Current approaches to planning in such domains either assume that the environment is static ...
BERTINORO
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...