Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo. SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. In Sanjay Modgil, Katarzyna Budzynska, John Lawrence, editors, Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018. Volume 305 of Frontiers in Artificial Intelligence and Applications, pages 193-204, IOS Press, 2018. [doi]
Abstract is missing.