Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

Browse the full KR paper archive.