SCIFF
From MaRDI portal
Software:32331
No author found.
Related Items (18)
Verifiable agent interaction in abductive logic programming ⋮ Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Exception diagnosis in multiagent contract executions ⋮ Unnamed Item ⋮ Programming in logic without logic programming ⋮ Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation ⋮ Where logic and agents meet ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ ${\cal B}$ -Tropos ⋮ Mapping deontic operators to abductive expectations ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Abductive Reasoning on Molecular Interaction Maps ⋮ Probabilistic inductive constraint logic ⋮ A Logic-Based, Reactive Calculus of Events ⋮ Runtime Addition of Integrity Constraints in an Abductive Proof Procedure ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
This page was built for software: SCIFF
