SCIFF

swMATH20513MaRDI QIDQ32331FDOQ32331

Author name not available (Why is that?)

Official website: http://lia.deis.unibo.it/sciff/

Described by source

• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework

Cited In (29)

• Runtime addition of integrity constraints in an abductive proof procedure
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
• Verifiable agent interaction in abductive logic programming: the SCIFF framework
• Verification from Declarative Specifications Using Logic Programming
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A logic-based, reactive calculus of events
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF
• Normative reasoning and consequence
• Exception diagnosis in multiagent contract executions
• Lotrecscheme
• PROLEG
• ACORDA
• PRISM
• PrASP
• CHR
• 3APL
• ISLANDER
• HLIO
• contractLarva
• Probabilistic inductive constraint logic
• SBGN
• Mapping deontic operators to abductive expectations
• Nonground abductive logic programming with probabilistic integrity constraints
• Abduction with probabilistic logic programming under the distribution semantics
• Where logic and agents meet
• Programming in logic without logic programming
• ${\cal B}$ -Tropos
• Abductive reasoning on molecular interaction maps

This page was built for software: SCIFF