Pages that link to "Item:Q2931267"
From MaRDI portal
The following pages link to Causal Graph Justifications of Logic Programs (Q2931267):
Displaying 20 items.
- Limitations of acyclic causal graphs for planning (Q490647) (← links)
- Propositional description of finite cause-effect structures (Q1111370) (← links)
- Causal Logic Programming (Q2900512) (← links)
- A Complexity Assessment for Queries Involving Sufficient and Necessary Causes (Q2938502) (← links)
- The Causal Graph Revisited for Directed Model Checking (Q3392922) (← 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)
- Causal dependencies in multiplicative linear logic with MIX (Q4862762) (← links)
- (Q4955333) (← 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)
