Sciweavers

221 search results - page 1 / 45
» A Formal Framework Supporting the Specification of the Inter...
Sort
View
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
JOT
2007
169views more  JOT 2007»
13 years 4 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
AMCS
2011
341views Mathematics» more  AMCS 2011»
12 years 12 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
LADS
2007
Springer
13 years 11 months ago
Specifying Interaction Space Components in a FIPA-ACL Interaction Framework
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
Ernesto Germán, Leonid Sheremetov