SCIFF

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.


References in zbMATH (referenced in 16 articles , 1 standard article )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Satoh, Ken; Zese, Riccardo: Dischargeable obligations in the (\mathcalS)CIFF framework (2020)
  2. Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander: A survey of challenges for runtime verification from advanced application domains (beyond software) (2019)
  3. Alliot, Jean-Marc; Demolombe, Robert; Del Cerro, Luis Fariñas; Diéguez, Martín; Obeid, Naji: Abductive reasoning on molecular interaction maps (2018)
  4. Kowalski, Robert; Sadri, Fariba: Programming in logic without logic programming (2016)
  5. Kafalı, Özgür; Torroni, Paolo: Exception diagnosis in multiagent contract executions (2012)
  6. Alberti, Marco; Dell’Acqua, Pierangelo; Pereira, Luís Moniz: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (2011)
  7. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  8. Montali, Marco; Torroni, Paolo; Zannone, Nicola; Mello, Paola; Bryl, Volha: Engineering and verifying agent-oriented requirements augmented by business constraints with (B)-tropos (2011) ioport
  9. Alberti, Marco; Gavanelli, Marco; Lamma, Evelina: Runtime addition of integrity constraints in an abductive proof procedure (2010)
  10. Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo: A logic-based, reactive calculus of events (2010)
  11. Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola: (\mathcalB)-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2009)
  12. Gavanelli, Marco; Alberti, Marco; Lamma, Evelina: Integration of abductive reasoning and constraint optimization in SCIFF (2009)
  13. Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo: Verifiable agent interaction in abductive logic programming: the SCIFF framework (2008)
  14. Christiansen, Henning: Implementing probabilistic abductive logic programming with constraint handling rules (2008)
  15. Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola: Verification from declarative specifications using logic programming (2008)
  16. Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni: Mapping deontic operators to abductive expectations (2006)