Sciweavers

CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 6 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
AAAI
2000
13 years 3 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
KI
1994
Springer
13 years 6 months ago
Representing Concurrent Actions and Solving Conflicts
Abstract. As an extension of the well
Sven-Erik Bornscheuer, Michael Thielscher
LPNMR
2009
Springer
13 years 7 months ago
Bridging the Gap between High-Level Reasoning and Low-Level Control
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
Ozan Caldiran, Kadir Haspalamutgil, Abdullah Ok, C...