{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T10:28:56Z","timestamp":1776680936658,"version":"3.51.2"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2009,11,15]],"date-time":"2009-11-15T00:00:00Z","timestamp":1258243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s11225-009-9218-x","type":"journal-article","created":{"date-parts":[[2009,11,14]],"date-time":"2009-11-14T13:53:53Z","timestamp":1258206833000},"page":"109-145","source":"Crossref","is-referenced-by-count":161,"title":["A Logical Account of Formal Argumentation"],"prefix":"10.1007","volume":"93","author":[{"given":"Martin W. A.","family":"Caminada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,11,15]]},"reference":[{"key":"9218_CR1","doi-asserted-by":"crossref","unstructured":"Amgoud, L., N. Maudet, and S. Parsons, \u2018Modelling dialogues using argumentation\u2019, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-00), Boston, MA, 2000, pp. 31\u201338.","DOI":"10.1109\/ICMAS.2000.858428"},{"key":"9218_CR2","unstructured":"ASPIC-consortium, Deliverable D2.5: Draft formal semantics for ASPIC system, June 2005."},{"key":"9218_CR3","doi-asserted-by":"crossref","unstructured":"Baroni, P., and M. Giacomin, \u2018Comparing argumentation semantics with respect to skepticism\u2019, Proc. ECSQARU 2007, 2007, pp. 210\u2013221.","DOI":"10.1007\/978-3-540-75256-1_21"},{"issue":"10-15","key":"9218_CR4","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1016\/j.artint.2007.04.004","volume":"171","author":"Baroni P.","year":"2007","unstructured":"P. Baroni, Giacomin M.: \u2018On principle-based evaluation of extension-based argumentation semantics\u2019. Artificial Intelligence 171(10-15), 675\u2013700 (2007)","journal-title":"Artificial Intelligence"},{"key":"9218_CR5","unstructured":"Besnard, Ph., and S. Doutre, \u2018Characterization of semantics for argument systems\u2019, Proceedings of the Ninth International Conference on the principles of Knowledge Representation and reasoning, AAAI Press, 2004, pp. 183\u2013193."},{"key":"9218_CR6","doi-asserted-by":"crossref","unstructured":"Boella, G., J. Hulstijn, and L. van der Torre, \u2018A logic of abstract argumentation\u2019, Proceedings of the Workshop on Argumentation in Multi-Agent Systems (ArgMAS), 2005.","DOI":"10.1007\/11794578_2"},{"key":"9218_CR7","doi-asserted-by":"crossref","unstructured":"Caminada, M.W.A., \u2018On the issue of reinstatement in argumentation\u2019, in M. Fischer, W. van der Hoek, B. Konev, and A. Lisitsa (eds.), Logics in Artificial Intelligence; 10th European Conference, JELIA 2006, LNAI 4160, Springer, 2006, pp. 111\u2013123.","DOI":"10.1007\/11853886_11"},{"key":"9218_CR8","doi-asserted-by":"crossref","unstructured":"Caminada, M.W.A., On the issue of reinstatement in argumentation, Technical Report UU-CS-2006-023, Institute of Information and Computing Sciences, Utrecht University, 2006.","DOI":"10.1007\/11853886_11"},{"key":"9218_CR9","unstructured":"Caminada, M.W.A., \u2018Semi-stable semantics\u2019, in P. E. Dunne and T. J. M. Bench- Capon (eds.), Computational Models of Argument; Proceedings of COMMA 2006, IOS Press, 2006, pp. 121\u2013130."},{"key":"9218_CR10","doi-asserted-by":"crossref","unstructured":"Caminada, M.W.A., `An algorithm for computing semi-stable semantics\u2019, Proceedings of the 9th European Conference on Symbolic and Quantitalive Approaches to Reasoning with Uncertainty (ECSQARU 2007), number 4724 Springer Lecture Notes in AI, Springer Verlag, Berlin, 2007, pp. 222\u2013234.","DOI":"10.1007\/978-3-540-75256-1_22"},{"issue":"5-6","key":"9218_CR11","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M.W.A. Caminada","year":"2007","unstructured":"Caminada M.W.A., Amgoud L.: \u2018On the evaluation of argumentation formalisms\u2019. Artificial Intelligence 171(5-6), 286\u2013310 (2007)","journal-title":"Artificial Intelligence"},{"key":"9218_CR12","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung P.M.: \u2018On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games\u2019. Artificial Intelligence 77, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"issue":"10-15","key":"9218_CR13","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"P.M. Dung","year":"2007","unstructured":"Dung M.P., Mancarella P., Toni F.: \u2018Computing ideal sceptical argumentation\u2019. Artificial Intelligence 171(10-15), 642\u2013674 (2007)","journal-title":"Artificial Intelligence"},{"key":"9218_CR14","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., \u2018Fibring argumentation frames\u2019, Studia Logica 93 (2-3): 231\u2013295, 2009, this issue.","DOI":"10.1007\/s11225-009-9217-y"},{"issue":"2-3","key":"9218_CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s11225-009-9215-0","volume":"93","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay D.M.: \u2018Modal provability foundations for argumentation networks\u2019. Studia Logica 93(2-3), 181\u2013198 (2009) this issue","journal-title":"Studia Logica"},{"issue":"2-3","key":"9218_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s11225-009-9216-z","volume":"93","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay D.M., d\u2019Avila Garcez A.S.: \u2018Logical modes of attack in argumentation networks\u2019. Studia Logica 93(2-3), 199\u2013230 (2009) this issue","journal-title":"Studia Logica"},{"key":"9218_CR17","unstructured":"Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many dimensional Modal Logics: Theory and Applications, Number 148 Studies in Logic and the Foundations of Mathematics Elsevier, 2003."},{"key":"9218_CR18","unstructured":"Gabbay, D. M., R. Schmidt, and A. Sza\u0142as, Order Quantifier Elmination, College Publications, 2008."},{"key":"9218_CR19","unstructured":"Grossi, D., Doing argumentation theory in modal logic, Technical Report PP-2009- 24, ILLC, 2009."},{"issue":"2","key":"9218_CR20","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1093\/logcom\/9.2.215","volume":"9","author":"H. Jakobovits","year":"1999","unstructured":"Jakobovits H., Vermeir D.: \u2018Robust semantics for argumentation frameworks\u2019. Journal of logic and computation 9(2), 215\u2013261 (1999)","journal-title":"Journal of logic and computation"},{"key":"9218_CR21","doi-asserted-by":"crossref","unstructured":"Pollock, J. L., Cognitive Carpentry. A Blueprint for How to Build a Person, MIT Press, Cambridge, MA, 1995.","DOI":"10.7551\/mitpress\/1887.001.0001"},{"key":"9218_CR22","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H. Prakken","year":"1997","unstructured":"Prakken H., Sartor G.: \u2018Argument-based extended logic programming with defeasible priorities\u2019. Journal of Applied Non-Classical Logics 7, 25\u201375 (1997)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"10-15","key":"9218_CR23","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1016\/j.artint.2007.04.015","volume":"171","author":"I. Rahwan","year":"2007","unstructured":"Rahwan I., Zablith F., Reed C.: \u2018Laying the foundations for a world wide argument web\u2019. Artificial Intelligence 171(10-15), 897\u2013921 (2007)","journal-title":"Artificial Intelligence"},{"key":"9218_CR24","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G. R. Simari","year":"1992","unstructured":"Simari G. R., Loui R. P.: \u2018A mathematical treatment of defeasible reasoning and its implementation\u2019. Artificial Intelligence 53, 125\u2013157 (1992)","journal-title":"Artificial Intelligence"},{"key":"9218_CR25","doi-asserted-by":"crossref","unstructured":"Smorynski, C., \u2018Modal logic and self reference\u2019, in D. M. Gabbay and F. Guenter (eds.), Handbook of Philosophical Logic, 1st edition, volume 2. Kluwer, 1984.","DOI":"10.1007\/978-94-009-6259-0_9"},{"key":"9218_CR26","unstructured":"Verheij, B., \u2018A labeling approach to the computation of credulous acceptance in argumentation\u2019, in M. M. Veloso (ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 2007, pp. 623\u2013628."},{"key":"9218_CR27","unstructured":"Vreeswijk, G. A. W., Studies in defeasible argumentation, PhD thesis at Free University of Amsterdam, 1993."},{"key":"9218_CR28","unstructured":"Vreeswijk, G. A. W., \u2018An algorithm to compute minimally grounded and admissible defence sets in argument systems\u2019, in P. E. Dunne and T. J. M. Bench-Capon (eds.), Computational Models of Argument; Proceedings of COMMA 2006, IOS, 2006, pp. 109\u2013120."},{"issue":"2-3","key":"9218_CR29","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s11225-009-9210-5","volume":"93","author":"Y. Wu","year":"2009","unstructured":"Wu Y., Caminada M., Gabbay D.M.: \u2018Complete extensions in argumentation coincide with 3-valued stable models in logic programming\u2019. Studia Logica 93(2-3), 383\u2013403 (2009) this issue","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9218-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9218-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9218-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T17:26:12Z","timestamp":1590254772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9218-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,15]]},"references-count":29,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9218"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9218-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,15]]}}}