R. Taupe, A. Weinzierl, G. Friedrich:
"Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints";
ArXiv, 2008 (2020), 03100; 16 pages.
https://publik.tuwien.ac.at/files/publik_293480.pdf
Project Head Thomas Eiter:
DynaCon