Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Dialogue Frames in Agent Communication
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Theoretical Computer Science - Implementation and application of automata
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
On illegal composition of first-class agent interaction protocols
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Engineering Societies in the Agents World VIII
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A contextual reading of conditional commitments
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Model checking commitment protocols
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Semantics and verification of information-based protocols
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refining and composing existing protocols. Realizing this vision presupposes (1) maintaining repositories of protocols and (2) refining and composing selected protocols. To this end, this paper synthesizes recent advances on protocols and on the knowledge representation of actions. This paper presents MAD-P, a modular action description language tailored for protocols. MAD-P enables building an aggregation hierarchy of protocols via composition. This paper demonstrates the value of such compositions via a simplified, but realistic, business scenario.