KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Why(-Not)-Provenance for Datalog with Negation

  1. Bart Bogaerts(KU Leuven, Vrije Universiteit Brussel)
  2. Marco Calautti(University of Milano)
  3. Andreas Pieris(University of Cyprus, University of Edinburgh)
  4. Samuele Pollaci(Vrije Universiteit Brussel, KU Leuven)
  5. Robbe Van den Eede(KU Leuven, Vrije Universiteit Brussel)

Bibtex record

@inproceedings{KR2026-19,
    title     = {{Why(-Not)-Provenance for Datalog with Negation}},
    author    = {Bogaerts, Bart and Calautti, Marco and Pieris, Andreas and Pollaci, Samuele and Van den Eede, Robbe},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {201--210},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/19},
    url       = {https://doi.org/10.24963/kr.2026/19},
  }
Go back