swMATH ID: 20513
Software Authors: Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Description: Verifiable agent interaction in abductive logic programming: the SCIFF framework. SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF’s operational component is a new abductive logic programming proof procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this article we present the declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results of the SCIFF proof procedure, and we demonstrate SCIFF’s possible application in the multiagent domain.
Homepage: http://lia.deis.unibo.it/sciff/
Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; cplint; PrASP; XSB; CP-logic; SWI-Prolog; L-BFGS; Lotrecscheme; LoTREC; PROLEG; SBGN; MiniSat; MonPoly; Naiad; Apache Flink; contractLarva
Referenced in: 19 Publications

Referencing Publications by Year