Categorical Explaining Functors: Ensuring Coherence in Logical Explanations
Jan 1, 2025·,,,,,,·
0 min read
Stefano Fioravanti
Francesco Giannini
Paolo Frazzetto
Roberto Confalonieri
Fabio Zanasi
Nicolò Navarin
Type
Publication
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 11-17, 2025