TY  - RPRT
TI  - Backward explanations via redefinition of predicates
AU  - Léo Saulières
AU  - Martin C. Cooper
AU  - Florence Dupin de Saint Cyr
PY  - 2024
UR  - https://arxiv.org/abs/2408.02606
ID  - 2408.02606
ER  -