Specification and Verification of Agent Interaction Using Abductive Reasoning

DOI10.1007/11750734_14MaRDI QIDQ3623975zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 28 April 2009

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

Full work available at URL https://doi.org/10.1007/11750734_14

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
• An abductive interpretation for open agent societies
• scientific article; zbMATH DE number 1952789
• Specification and verification of agent interaction using social integrity constraints
• scientific article; zbMATH DE number 1790380

Cited in

(12)

• scientific article; zbMATH DE number 1790380 (Why is no real title available?)
• Implementing flexible and robust agent interactions using Distributed Commitment Machines
• scientific article; zbMATH DE number 6902518 (Why is no real title available?)
• scientific article; zbMATH DE number 1950652 (Why is no real title available?)
• Global Computing
• An abductive interpretation for open agent societies
• Executing Specifications of Social Reasoning Agents
• Specification and verification of agent interaction using social integrity constraints
• Mapping deontic operators to abductive expectations
• scientific article; zbMATH DE number 1952789 (Why is no real title available?)
• scientific article; zbMATH DE number 2090884 (Why is no real title available?)
• ${\cal B}$ -Tropos

This page was built for publication: Specification and Verification of Agent Interaction Using Abductive Reasoning

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