The following pages link to (Q4999292):
Displayed 6 items.
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- Necessary and sufficient explanations for argumentation-based conclusions (Q2146001) (← links)
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility (Q2163881) (← links)
- Computing smallest MUSes of quantified Boolean formulas (Q2694579) (← links)
- Explanations of non-monotonic inference in admissibility-based abstract argumentation (Q2695516) (← links)
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks (Q6080638) (← links)