Pages that link to "Item:Q2931267"
From MaRDI portal
The following pages link to Causal Graph Justifications of Logic Programs (Q2931267):
Displaying 14 items.
- 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)
- (Q5020962) (← links)
- (Q5020971) (← 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)
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms (Q5197746) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
