3729 search results - page 209 / 746 » On Formal Modeling of Agent Computations |
128
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
153
click to vote
ICTAI
2008
IEEE
16 years 28 days ago
2008
IEEE
A fundamental challenge that must be met to achieve a usable conversational interface to Geographic Information System (GIS) is how to enable a more natural interaction between th...
177
click to vote
IJCNN
2006
IEEE
16 years 16 days ago
2006
IEEE
— Performing face detection and tracking on a mobile robot in a dynamic environment is a challenging task with the real-time constraints. To realize a natural reactive behavior o...
142
click to vote
IAT
2005
IEEE
16 years 4 days ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
195
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...