Cited in
(33)- Normative reasoning and consequence
- Exception diagnosis in multiagent contract executions
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Abductive reasoning on molecular interaction maps
- Probabilistic inductive constraint logic
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
- Nonground abductive logic programming with probabilistic integrity constraints
- Abduction with probabilistic logic programming under the distribution semantics
- ${\cal B}$ -Tropos
- A logic-based, reactive calculus of events
- SOLAR
- HYPROLOG
- IMPACT
- KARO
- Lotrecscheme
- PROLEG
- ACORDA
- Runtime addition of integrity constraints in an abductive proof procedure
- PRISM
- PrASP
- CHR
- 3APL
- ISLANDER
- HLIO
- contractLarva
- SBGN
- Where logic and agents meet
- Mapping deontic operators to abductive expectations
- Programming in logic without logic programming
- 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)
This page was built for software: SCIFF
