TY - RPRT TI - Generalisation Through Negation and Predicate Invention AU - David M. Cerna AU - Andrew Cropper PY - 2023 DO - 10.1609/aaai.v38i9.28915 UR - https://arxiv.org/abs/2301.07629 ID - 2301.07629 ER -