2638 search results - page 271 / 528 » Frameworks for Reasoning about Agent Based Systems |
224
click to vote
ACOM
2006
Springer
16 years 19 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
147
click to vote
MICAI
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we describe a human organ selection process in which agents argue over whether a given donor’s organ is viable for transplantation. This process is framed in the CA...
188
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
201
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We study models that characterize pen trajectories of online handwritten characters in a fine manner. We propose radical based fine trajectory hidden Markov models (HMMs), which...
189
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...