Behavior-oriented commitment-based protocols

DOI10.3233/978-1-60750-606-5-137MaRDI QIDQ2999125zbMATH OpenOpenAlexFDO

Authors Matteo Baldoni, Cristina Baroglio, Elisa Marengo

Publication date 11 May 2011

Full work available at URL http://www.di.unito.it/~argo/papers/2010_ECAI.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Agent technology and artificial intelligence (68T42)

Recommendations

• Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
• scientific article; zbMATH DE number 2088161
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Speech acts, commitment and multi-agent communication

Cited in

(10)

• Exception diagnosis in multiagent contract executions
• Specialization of interaction protocols in a temporal action logic
• Views on behaviour protocols and their semantic foundation
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
• Representation and monitoring of commitments and norms using OWL
• scientific article; zbMATH DE number 2088161 (Why is no real title available?)
• Normative reasoning and consequence
• Interaction protocols
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols

This page was built for publication: Behavior-oriented commitment-based protocols

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