A Framework for Inconsistency-tolerant Reasoning with Sets of Models

Yehia Hatab; Kai Sauerwald; Matthias Thimm

doi:10.24963/kr.2025/37

KR2025

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

Melbourne, Australia. November 11-17, 2025.

Edited by

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

A Framework for Inconsistency-tolerant Reasoning with Sets of Models

Yehia Hatab(University of Hagen, Germany)
Kai Sauerwald(University of Hagen, Germany)
Matthias Thimm(University of Hagen, Germany)

Bibtex record

@inproceedings{KR2025-37,
    title     = {{A Framework for Inconsistency-tolerant Reasoning with Sets of Models}},
    author    = {Hatab, Yehia and Sauerwald, Kai and Thimm, Matthias},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {376--385},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/37},
    url       = {https://doi.org/10.24963/kr.2025/37},
  }

Go back