Verifiable agent interaction in abductive logic programming
From MaRDI portal
Publication:5277818
DOI10.1145/1380572.1380578zbMath1367.68273OpenAlexW2162176451WikidataQ57977962 ScholiaQ57977962MaRDI QIDQ5277818
Marco Alberti, Marco Gavanelli, Paola Mello, Federico Chesani, Paolo Torroni, Evelina Lamma
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
abductive logic programmingdeclarative semanticsagent interaction protocolsformal propertiesIFF proof procedureproof-proceduresSCIFFSOCS (societies of computees)
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17) Agent technology and artificial intelligence (68T42)
Related Items
Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Unnamed Item ⋮ Programming in logic without logic programming ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ ${\cal B}$ -Tropos ⋮ Applying Inductive Logic Programming to Process Mining ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Probabilistic inductive constraint logic ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Uses Software
