{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,23]],"date-time":"2024-09-23T19:48:16Z","timestamp":1727120896703},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"type":"print","value":"9781643685342"},{"type":"electronic","value":"9781643685359"}],"license":[{"start":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T00:00:00Z","timestamp":1724716800000},"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":[[2024,8,27]]},"abstract":"<jats:p>This paper makes a proof-theoretic contribution to resource-bounded dialectical argumentation. Practical deployment of argumentation-based nonmonotonic reasoning can benefit from integration of proof-theoretic means for construction and evaluation of arguments, while accommodating agents with bounded resources. We present a nonmonotonic proof system that implements a generalization of dialectical argumentation, adopting arguments that differentiate between committed and supposed premises, while integrating rules for constructing arguments. The proof system adopts annotations to capture the changing status of arguments in a derivation and employs annotation revision rules that evaluate the dialectical acceptability of these arguments, yielding rational outcomes under resource bounds. Soundness and completeness is shown for the dialectical grounded semantics.<\/jats:p>","DOI":"10.3233\/faia240330","type":"book-chapter","created":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T07:54:53Z","timestamp":1726473293000},"source":"Crossref","is-referenced-by-count":0,"title":["A Nonmonotonic Proof Theory for Dialectical Argumentation Under Bounded Resources"],"prefix":"10.3233","author":[{"given":"Kees","family":"van Berkel","sequence":"first","affiliation":[{"name":"Institute for Logic and Computation, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Modgil","sequence":"additional","affiliation":[{"name":"Department of Informatics, King\u2019s College, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"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\/FAIA240330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T07:54:54Z","timestamp":1726473294000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA240330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,27]]},"ISBN":["9781643685342","9781643685359"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia240330","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"type":"print","value":"0922-6389"},{"type":"electronic","value":"1879-8314"}],"subject":[],"published":{"date-parts":[[2024,8,27]]}}}