Kr2025

My paper Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation (joint work with Jean-Marie Lagniez and Emmanuel Lonca) has been accepted for publication in the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025).