Pages that link to "Item:Q2446545"
From MaRDI portal
The following pages link to A QBF-based formalization of abstract argumentation semantics (Q2446545):
Displaying 7 items.
- Complexity-sensitive decision procedures for abstract argumentation (Q490451) (← links)
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks (Q901144) (← links)
- The first international competition on computational models of argumentation: results and analysis (Q1677447) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- Computing smallest MUSes of quantified Boolean formulas (Q2694579) (← links)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change (Q3305693) (← links)
- Encoding Argument Graphs in Logic (Q5230074) (← links)
