Pages that link to "Item:Q4957200"
From MaRDI portal
The following pages link to Solving Advanced Argumentation Problems with Answer Set Programming (Q4957200):
Displayed 3 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)