L. Carvalho, ACoRe: Automated Goal-Conflict Resolution, JAIIO, vol. 9, n.º 3, jul. 2023.