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

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

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

  1. Anselm Haak(Knowledge Representation Group, Paderborn University)
  2. Patrick Koopmann(Knowledge in Artificial Intelligence, Vrije Universiteit Amsterdam)
  3. Yasir Mahmood(Data Science Group, Heinz Nixdorf Institute, Paderborn University)
  4. Anni-Yasmin Turhan(Knowledge Representation Group, Paderborn University)

Bibtex record

@inproceedings{KR2026-37,
    title     = {{ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics}},
    author    = {Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {390--400},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/37},
    url       = {https://doi.org/10.24963/kr.2026/37},
  }