Specification and verification of agent interaction using social integrity constraints

MaRDI QIDQ2844044zbMATH OpenFDO

Authors Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105826052

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Global Computing
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• An abductive interpretation for open agent societies
• Specifying and verifying interaction protocols in a temporal action logic
• Specifying and verifying systems of communicating agents in a temporal action logic

Cited in

(10)

• Specifying and verifying interaction protocols in a temporal action logic
• Normative KGP agents
• Mapping deontic operators to abductive expectations
• Balanced multi-perspective checking of process conformance
• Specialization of interaction protocols in a temporal action logic
• Executing Specifications of Social Reasoning Agents
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• scientific article; zbMATH DE number 2090883 (Why is no real title available?)
• Global Computing
• An abductive interpretation for open agent societies

This page was built for publication: Specification and verification of agent interaction using social integrity constraints

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