swMATH20513MaRDI QIDQ32331FDOQ32331
Author name not available (Why is that?)
Official website: http://lia.deis.unibo.it/sciff/
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
