The following pages link to SCIFF (Q32331):
Displaying 18 items.
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
- Where logic and agents meet (Q657584) (← links)
- Exception diagnosis in multiagent contract executions (Q1926581) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Probabilistic inductive constraint logic (Q2051275) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Runtime addition of integrity constraints in an abductive proof procedure (Q2883066) (← links)
- A Logic-Based, Reactive Calculus of Events (Q3084982) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- (Q4993609) (← links)
- Nonground Abductive Logic Programming with Probabilistic Integrity Constraints (Q5019597) (← links)
- Abductive Reasoning on Molecular Interaction Maps (Q5214097) (← links)
- Verifiable agent interaction in abductive logic programming (Q5277818) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
