0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks.
Mauricio OsorioJuan DíazAlejandro SantoyoPublished in: Computación y Sistemas (2017)
Keyphrases
- integer programming
- argumentation frameworks
- linear programming
- argumentation semantics
- np hard
- cutting plane algorithm
- set covering problem
- lagrangian relaxation
- practical reasoning
- ai planning
- cutting plane
- valid inequalities
- production planning
- column generation
- constraint programming
- network flow
- integer program
- logical framework
- set covering
- abstract argumentation
- special case