A Framework for Inconsistency-tolerant Reasoning with Sets of Models

Yehia Hatab, Kai Sauerwald, Matthias Thimm. A Framework for Inconsistency-tolerant Reasoning with Sets of Models. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.