Sciweavers

1120 search results - page 1 / 224
» A Formal Framework for Interactive Agents
Sort
View
ENTCS
2008
95views more  ENTCS 2008»
13 years 4 months ago
A Formal Framework for Interactive Agents
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
Carolyn L. Talcott
ATAL
2005
Springer
13 years 6 months ago
A formal framework for agent interaction semantics
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
Shamimabi Paurobally, Jim Cunningham, Nicholas R. ...
ATAL
2005
Springer
13 years 10 months ago
Towards a formal framework for the search of a consensus between autonomous agents
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
Leila Amgoud, Sihem Belabbes, Henri Prade
AIIA
2011
Springer
12 years 4 months ago
An Interaction-Oriented Agent Framework for Open Environments
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
Matteo Baldoni, Cristina Baroglio, Federico Bergen...