{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T22:06:31Z","timestamp":1789077991393,"version":"build-2803163510"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686806","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T00:00:00Z","timestamp":1788998400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,9,10]]},"abstract":"<jats:p>Abstract dialectical frameworks (ADFs) constitute one of the most general formal approaches within abstract argumentation. Recently, Bengel and Thimm (2025) proposed so-called initial models in ADFs as a suitable concept for \u201cserializing\u201d reasoning, i.e., decomposing reasoning in ADFs step by step. They showed several complexity results of reasoning with initial models. Our contributions in this paper are (i) that we close a gap in their complexity results of verifying initial models by showing DP-completeness, and (ii) based on our complexity results we provide an answer set programming (ASP) implementation to support systems utilizing initial models.<\/jats:p>","DOI":"10.3233\/faia260805","type":"book-chapter","created":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T21:07:50Z","timestamp":1789074470000},"source":"Crossref","is-referenced-by-count":0,"title":["On the Complexity of Initial Models in Abstract Dialectical Frameworks"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6180-6452","authenticated-orcid":false,"given":"Hannes","family":"Strass","sequence":"first","affiliation":[{"name":"TUD Dresden University of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3051-1966","authenticated-orcid":false,"given":"Johannes P.","family":"Wallner","sequence":"additional","affiliation":[{"name":"Graz University of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Computational Models of Argument"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA260805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T21:07:50Z","timestamp":1789074470000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA260805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9,10]]},"ISBN":["9781643686806"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia260805","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,9,10]]}}}