Categorical Explaining Functors: Ensuring Coherence in Logical Explanations.

Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicol Navarin

Browse the full KR paper archive.