{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:00:54Z","timestamp":1762326054860,"version":"build-2065373602"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11]]},"abstract":"<jats:p>We propose a framework for reasoning from inconsistent\n\nknowledge bases using minimal hitting sets, i. e., sets of\n\ninterpretations such that each formula of the knowledge\n\nbase is satisfied by at least one those interpretations. By\n\nadditionally considering preference orders over minimal\n\nhitting sets, we can define a wide variety of non-monotonic\n\ninference relations. We consider concrete preference orders\n\nbased on set inclusion, cardinality, the number of\n\nconflicting atoms within the hitting set, and using the\n\nHamming distance between pairs of interpretations. We\n\ncompare the resulting inference relations, characterize\n\ntheir logical properties, and position them relative to\n\nclassical inference from maximal consistent subsets.\n\nFinally, we show that inference based on minimal\n\nconflicting atoms coincides with reasoning in Priest\u2019s\n\n3-valued logic.<\/jats:p>","DOI":"10.24963\/kr.2025\/37","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"376-385","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Inconsistency-tolerant Reasoning with Sets of Models"],"prefix":"10.24963","author":[{"given":"Yehia","family":"Hatab","sequence":"first","affiliation":[{"name":"University of Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Sauerwald","sequence":"additional","affiliation":[{"name":"University of Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Thimm","sequence":"additional","affiliation":[{"name":"University of Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}","theme":"Artificial Intelligence","location":"Melbourne, Australia","acronym":"KR-2025","number":"22","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2025,11,11]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:11:09Z","timestamp":1762323069000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/37"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2025\/37","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}