5198 search results - page 430 / 1040 » A Logic of Agent Programs |
160
click to vote
EUROPAR
2003
Springer
16 years 2 hour ago
2003
Springer
In this paper, we present TOTA (“Tuples On The Air”), a novel middleware to coordinate the movements of a large number of autonomous components (i.e. agents) in a ubiquitous co...
160
click to vote
AAAI
2007
15 years 9 months ago
2007
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
155
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
In previous papers we introduced HeCaSe2, a multi-agent system that helps doctors to follow the automatic application of clinical guidelines to patients. In this paper we show how ...
170
click to vote
HCI
2009
15 years 4 months ago
2009
For enhancing current driver assistance and information systems with regard to the capability to recognize an individual driver's needs, we conceive a system based on fuzzy lo...