@misc{indiciae276085a12b6a, title = {Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints}, author = {Richard Taupe and Antonius Weinzierl and Gerhard Friedrich}, year = {2020}, url = {https://arxiv.org/abs/2008.03100}, note = {Source identifier: 2008.03100} }