KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Categorical Explaining Functors: Ensuring Coherence in Logical Explanations

  1. Stefano Fioravanti(University of Padua, University of Siena, Charles University)
  2. Francesco Giannini(Scuola Normale Superiore)
  3. Pietro Barbiero(IBM Research Zurich)
  4. Paolo Frazzetto(University of Padua)
  5. Roberto Confalonieri(University of Padua)
  6. Fabio Zanasi(University College London)
  7. Nicolò Navarin(University of Padua)

Bibtex record

@inproceedings{KR2025-30,
    title     = {{Categorical Explaining Functors: Ensuring Coherence in Logical Explanations}},
    author    = {Fioravanti, Stefano and Giannini, Francesco and Barbiero, Pietro and Frazzetto, Paolo and Confalonieri, Roberto and Zanasi, Fabio and Navarin, Nicolò},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {306--315},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/30},
    url       = {https://doi.org/10.24963/kr.2025/30},
  }
Go back