SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.

Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo

Browse the full COMMA paper archive.