Specification and Verification of Agent Interaction Using Abductive Reasoning

DOI10.1007/11750734_14zbMATH Open1236.68252DBLPconf/clima/ChesaniGALMT05OpenAlexW1587154142WikidataQ57977974 ScholiaQ57977974MaRDI QIDQ3623975FDOQ3623975

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Implementing flexible and robust agent interactions using Distributed Commitment Machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• Global Computing
• An abductive interpretation for open agent societies
• Executing Specifications of Social Reasoning Agents
• Mapping deontic operators to abductive expectations
• Title not available (Why is that?)
• Title not available (Why is that?)
• ${\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)