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