The following pages link to A Formal Theory of Justifications (Q3449209):
Displaying 9 items.
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface (Q2299238) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Deriving conclusions from non-monotonic cause-effect relations (Q4593049) (← links)
- On Nested Justification Systems (Q5038468) (← links)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- An inferential theory of causal reasoning (Q6562524) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
