1120 search results - page 92 / 224 » A Formal Framework for Interactive Agents |
203
click to vote
AGP
2010
IEEE
15 years 9 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
159
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
134
click to vote
FOIS
2006
15 years 7 months ago
2006
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
160
click to vote
LPNMR
2009
Springer
15 years 11 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 ...
161
click to vote
AAAI
1998
15 years 7 months ago
1998
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...