2638 search results - page 98 / 528 » Frameworks for Reasoning about Agent Based Systems |
151
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
E-Learning is a fast, just-in-time, and non-linear learning process, which is now widely applied in distributed and dynamic environments such as on the World Wide Web. However, it...
142
click to vote
CRV
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
136
click to vote
AAMAS
1999
Springer
15 years 4 months ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
162
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Despite the recent advances in distributed MDP frameworks for reasoning about multiagent teams, these frameworks mostly do not reason about resource constraints, a crucial issue i...