Pages that link to "Item:Q4957200"
From MaRDI portal
The following pages link to Solving Advanced Argumentation Problems with Answer Set Programming (Q4957200):
Displaying 5 items.
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving (Q2124467) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Representing abstract dialectical frameworks with binary decision diagrams (Q2694565) (← links)
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation (Q6063862) (← links)
- On acceptance conditions in abstract argumentation frameworks (Q6494661) (← links)