{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T09:32:17Z","timestamp":1780997537208,"version":"3.54.1"},"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>Dung's abstract Argumentation Framework (AF) has been extended in several directions to make knowledge representation and reasoning more intuitive and expressive. \n\nIn this paper, we present the Knowledge-based Argumentation Framework (KAF), an extension of AF with a Knowledge Base (KB) expressed in DL-Lite, which includes concept and role instances describing the topology of an AF, besides additional knowledge on the domain.\n\nThe KAF semantics is given by a set of KAF extensions, each consisting of an extension of the underlying AF together with a ``pertinent'' subset of the original KB, which is obtained by discarding assertions referring to arguments that have been ruled out in the AF extension.\n\nThen, the framework is further expanded into the Constrained KAF (CKAF), where a set of restricted relational calculus formulae is used for reasoning over `feasible' subframeworks that satisfy the formulae and minimally differ from the original framework. \n\nWe thoroughly investigate the computational complexity of classical reasoning problems under popular argumentation semantics, and show that well-known AF-based frameworks are special cases of CKAF.<\/jats:p>","DOI":"10.24963\/kr.2025\/3","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"24-35","source":"Crossref","is-referenced-by-count":1,"title":["Extending Abstract Argumentation Frameworks with Knowledge Bases"],"prefix":"10.24963","author":[{"given":"Gianvincenzo","family":"Alfano","sequence":"first","affiliation":[{"name":"D.I.M.E.S Department, University of Calabria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[{"name":"D.I.M.E.S Department, University of Calabria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[{"name":"D.I.M.E.S Department, University of Calabria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Parisi","sequence":"additional","affiliation":[{"name":"D.I.M.E.S Department, University of Calabria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Irina","family":"Trubitsyna","sequence":"additional","affiliation":[{"name":"University of Calabria, DIMES"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"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:10:46Z","timestamp":1762323046000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/3"}},"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\/3","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}