{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T07:42:28Z","timestamp":1748677348128},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>While several interesting argumentation-based semantics for<\/jats:p><jats:p>defeasible logic programs have been proposed, to our best<\/jats:p><jats:p>knowledge, none of these approaches is able to fully handle the<\/jats:p><jats:p>closure under strict rules in a sufficient manner: they are either<\/jats:p><jats:p>not closed, or they use workarounds such as transposition of rules<\/jats:p><jats:p>which violates the desired directionality of logic programming<\/jats:p><jats:p>rules.<\/jats:p><jats:p>We propose a novel argumentation-based semantics, in which the<\/jats:p><jats:p>status of arguments is determined by attacks between newly<\/jats:p><jats:p>introduced conflict resolutions instead of attacks between<\/jats:p><jats:p>arguments. We show that the semantics is closed w.r.t. strict<\/jats:p><jats:p>rules and respects the directionality of inference rules, as well<\/jats:p><jats:p>as other desired properties previously published in the<\/jats:p><jats:p>literature.<\/jats:p>","DOI":"10.29007\/brgz","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:02:53Z","timestamp":1516730573000},"page":"23-10","source":"Crossref","is-referenced-by-count":3,"title":["Conflict Resolution in Structured Argumentation"],"prefix":"10.29007","volume":"26","author":[{"given":"Martin","family":"Bal\u00e1\u017e","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jozef","family":"Frt\u00fas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Homola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:04:56Z","timestamp":1516730696000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/MBj"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/brgz","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}