The following pages link to Functional and Logic Programming (Q5308010):
Displaying 6 items.
- Enumerating justifications using resolution (Q1799123) (← links)
- Precise specification matching for adaptive reuse in embedded systems (Q2372190) (← links)
- Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Deriving conclusions from non-monotonic cause-effect relations (Q4593049) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)