@inproceedings{DBLP:conf/kr/BogaertsCPPE26,
  author       = {Bart Bogaerts and
                  Marco Calautti and
                  Andreas Pieris and
                  Samuele Pollaci and
                  Robbe Van den Eede},
  editor       = {Renata Wassermann and
                  Marie{-}Laure Mugnier and
                  Franz Baader},
  title        = {Why(-Not)-Provenance for Datalog with Negation},
  booktitle    = {Proceedings of the 23rd International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2026, Lisbon, Portugal,
                  July 20-23, 2026},
  pages     = {201--210},
  year         = {2026},
  url          = {https://doi.org/10.24963/kr.2026/19},
  doi          = {10.24963/KR.2026/19},
  timestamp    = {Tue, 04 Aug 2026 13:18:07 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BogaertsCPPE26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}