Backward explanation via redefinition of predicates

Open Webpage

Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr

Published: 01 Jan 2024, Last Modified: 27 May 2025JIAF-JFPDA 2024EveryoneRevisionsBibTeXCC BY-SA 4.0