Verifiable agent interaction in abductive logic programming: the SCIFF framework

DOI10.1145/1380572.1380578MaRDI QIDQ5277818zbMATH OpenOpenAlexWikidataFDO

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

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1380572.1380578

zbMATH Keywords

abductive logic programmingagent interaction protocolsdeclarative semanticsformal propertiesIFF proof procedureproof-proceduresSCIFFSOCS (societies of computees)

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• AI*IA 2005: Advances in Artificial Intelligence
• Global Computing
• On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
• An abductive interpretation for open agent societies
• A verification framework for agent programming with declarative goals

Cited in

(16)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Probabilistic inductive constraint logic
• Abduction with probabilistic logic programming under the distribution semantics
• ${\cal B}$ -Tropos
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• Programming in logic without logic programming
• Evaluating compliance: from LTL to abductive logic programming
• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Normative reasoning and consequence
• Nonground abductive logic programming with probabilistic integrity constraints
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF
• Applying Inductive Logic Programming to Process Mining
• Global Computing
• Verification from Declarative Specifications Using Logic Programming
• On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Describes a project that uses

Uses Software

• SCIFF

This page was built for publication: Verifiable agent interaction in abductive logic programming: the SCIFF framework

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