Formal conversations for the contract net protocol

DOI10.1007/3-540-45982-0_9MaRDI QIDQ4738887zbMATH OpenFDO

Authors Roberto Flores, Robert C. Kremer

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2322/23220169.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Artificial intelligence (68T99)

Recommendations

• A Formal Language for Electronic Contracts
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• The evolution of the contract net protocol
• A Formal General Setting for Dialogue Protocols
• A formal specification language for agent conversations

Cited in

(8)

• SNet: A modeling and simulation environment for agent networks based on i* and ConGolog
• State-based modeling method for multiagent conversation protocols and decision activities
• Dynamic social knowledge: The timing evidence
• Agents talking faster
• The evolution of the contract net protocol
• Conversation mining in multi-agent systems
• Computational Logic in Multi-Agent Systems
• Analysis of contract net in multi-agent systems

This page was built for publication: Formal conversations for the contract net protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738887)