Sciweavers

1195 search results - page 12 / 239
» Resources for Situated Actions
Sort
View
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
Frank Dylla, Reinhard Moratz
LANMR
2007
13 years 9 months ago
Planning using situation calculus, prolog and a mobile robot
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...
Pilar Pozos Parra, Edgardo Yescas, Jacob Vá...
ATAL
2007
Springer
13 years 12 months ago
Resolving conflict and inconsistency in norm-regulated virtual organizations
Norm-governed virtual organizations define, govern and facilitate coordinated resource sharing and problem solving in societies of agents. With an explicit account of norms, openn...
Wamberto Weber Vasconcelos, Martin J. Kollingbaum,...
AAAI
2000
13 years 9 months ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin
CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 11 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin