CORR
2011
Springer
13 years 2 months ago
2011
Springer
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...
AAAI
2000
14 years 16 days ago
2000
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...
KI
1994
Springer
14 years 3 months ago
1994
Springer
Abstract. As an extension of the well
LPNMR
2009
Springer
14 years 3 months ago
2009
Springer
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 ...