TY  - RPRT
TI  - Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
AU  - Richard Taupe
AU  - Antonius Weinzierl
AU  - Gerhard Friedrich
PY  - 2020
UR  - https://arxiv.org/abs/2008.03100
ID  - 2008.03100
ER  -