CORR
2011
Springer
12 years 8 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
13 years 5 months 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
13 years 8 months ago
1994
Springer
Abstract. As an extension of the well
LPNMR
2009
Springer
13 years 9 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 ...