SCIFF

swMATH20513MaRDI QIDQ32331FDOQ32331

Author name not available (Why is that?)

Described by source

• Dischargeable Obligations in the 𝒮CIFF Framework

Cited In (18)

• Runtime addition of integrity constraints in an abductive proof procedure
• Title not available (Why is that?)
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
• Verification from Declarative Specifications Using Logic Programming
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF
• Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
• Exception diagnosis in multiagent contract executions
• Abductive Reasoning on Molecular Interaction Maps
• Probabilistic inductive constraint logic
• A Logic-Based, Reactive Calculus of Events
• Mapping deontic operators to abductive expectations
• Abduction with probabilistic logic programming under the distribution semantics
• Verifiable agent interaction in abductive logic programming
• Where logic and agents meet
• Programming in logic without logic programming
• ${\cal B}$ -Tropos

This page was built for software: SCIFF