Reasoning in Assumption-Based Argumentation via SAT.

Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Jrvisalo

Browse the full KR paper archive.