Pages that link to "Item:Q2851284"
From MaRDI portal
The following pages link to Justifications for Logic Programming (Q2851284):
Displaying 12 items.
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- Towards provenance in heterogeneous knowledge bases (Q2694577) (← links)
- A Complexity Assessment for Queries Involving Sufficient and Necessary Causes (Q2938502) (← links)
- Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
- A Formal Theory of Justifications (Q3449209) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Deriving conclusions from non-monotonic cause-effect relations (Q4593049) (← links)
- Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming (Q5140029) (← links)
- Explaining Preferences and Preferring Explanations (Q5172617) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
