{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T09:31:34Z","timestamp":1780997494014,"version":"3.54.1"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2009,11,14]],"date-time":"2009-11-14T00:00:00Z","timestamp":1258156800000},"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-9210-5","type":"journal-article","created":{"date-parts":[[2009,11,13]],"date-time":"2009-11-13T22:45:45Z","timestamp":1258152345000},"page":"383-403","source":"Crossref","is-referenced-by-count":54,"title":["Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming"],"prefix":"10.1007","volume":"93","author":[{"given":"Yining","family":"Wu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Caminada","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2009,11,14]]},"reference":[{"key":"9210_CR1","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, Springer, 2006, pp. 111\u2013123. LNAI 4160.","DOI":"10.1007\/11853886_11"},{"key":"9210_CR2","doi-asserted-by":"crossref","unstructured":"Caminada, M.W.A., \u2018On the issue of reinstatement in argumentation\u2019, Technical Report UU-CS-2006-023, Institute of Information and Computing Sciences, Utrecht University, 2006.","DOI":"10.1007\/11853886_11"},{"key":"9210_CR3","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":"9210_CR4","doi-asserted-by":"crossref","unstructured":"Caminada, M.W.A., \u2018An algorithm for computing semi-stable semantics\u2019, in Proceedings of the 9th European Conference on Symbolic and Quantitalive Approaches to Reasoning with Uncertainty (ECSQARU 2007), number 4724 in Springer Lecture Notes in AI, Berlin, Springer Verlag, 2007, pp. 222\u2013234.","DOI":"10.1007\/978-3-540-75256-1_22"},{"issue":"5-6","key":"9210_CR5","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., L. Amgoud (2007) \u2018On the evaluation of argumentation formalisms\u2019. Artificial Intelligence 171(5-6): 286\u2013310","journal-title":"Artificial Intelligence"},{"key":"9210_CR6","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. (1995) \u2018On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games\u2019. Artificial Intelligence 77: 321\u2013357","journal-title":"Artificial Intelligence"},{"issue":"10-15","key":"9210_CR7","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 P.M., Mancarella P., Toni F. (2007) \u2018Computing ideal sceptical argumentation\u2019. Artificial Intelligence 171(10-15): 642\u2013674","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"9210_CR8","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/A:1018947420290","volume":"19","author":"T. Eiter","year":"1997","unstructured":"Eiter T., Leone N., Sacc\u00e1 D. (1997) \u2018On the partial semantics for disjunctive deductive databases\u2019. Ann. Math. Artif. Intell. 19(1-2): 59\u201396","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2-3","key":"9210_CR9","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., Garcez A. (2009) \u2018Logical modes of attack in argumentation networks\u2019. Studia Logica 93(2-3): 199\u2013230","journal-title":"Studia Logica"},{"issue":"2","key":"9210_CR10","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. (1999) \u2018Robust semantics for argumentation frameworks\u2019. Journal of logic and computation 9(2): 215\u2013261","journal-title":"Journal of logic and computation"},{"key":"9210_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry A Blueprint for How to Build a Person","author":"J.L. Pollock","year":"1995","unstructured":"Pollock J.L. (1995) Cognitive Carpentry A Blueprint for How to Build a Person. MIT Press, Cambridge, MA"},{"key":"9210_CR12","unstructured":"Prakken, H., \u2018An abstract framework for argumentation with structured arguments\u2019, Technical Report UU-CS-2009-019, Department of Information and Computing Sciences, Utrecht University, 2009."},{"key":"9210_CR13","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. (1997) \u2018Argument-based extended logic programming with defeasible priorities\u2019. Journal of Applied Non-Classical Logics 7: 25\u201375","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"9210_CR14","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T.C. Przymusinski","year":"1990","unstructured":"Przymusinski T.C. (1990) \u2018The well-founded semantics coincides with the three-valued stable semantics\u2019. Fundamenta Informaticae 13(4): 445\u2013463","journal-title":"Fundamenta Informaticae"},{"key":"9210_CR15","unstructured":"Verheij, B., \u2018A labeling approach to the computation of credulous acceptance in argumentation\u2019, in Manuela M. Veloso, editor, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 2007, pp. 623\u2013628."},{"key":"9210_CR16","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."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9210-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9210-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9210-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,14]],"date-time":"2021-10-14T02:01:40Z","timestamp":1634176900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9210-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,14]]},"references-count":16,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9210"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9210-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,14]]}}}