R. Taupe, A. Weinzierl, G. Friedrich: "Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints"; Talk: ICLP 2020, Rende, Italien; 2020-09-18 - 2020-09-24.
Project Head Thomas Eiter: DynaCon