{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:19:17Z","timestamp":1725902357319},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592930"},{"type":"electronic","value":"9783319592947"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59294-7_32","type":"book-chapter","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T10:19:10Z","timestamp":1498126750000},"page":"375-389","source":"Crossref","is-referenced-by-count":2,"title":["Expansion and Equivalence Relations on Argumentation Frameworks Based on Logic Programs"],"prefix":"10.1007","author":[{"given":"Juan Carlos","family":"Nieves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,23]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/11663081.2014.959332","volume":"24","author":"L Amgoud","year":"2014","unstructured":"Amgoud, L., Besnard, P., Vesic, S.: Equivalence in logic-based argumentation. J. Appl. Non-Class. Log. 24(3), 181\u2013208 (2014)","journal-title":"J. Appl. Non-Class. Log."},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/j.artint.2008.11.006","volume":"173","author":"L Amgoud","year":"2009","unstructured":"Amgoud, L., Prade, H.: Using arguments for making and explaining decisions. Artif. Intell. 173, 413\u2013436 (2009)","journal-title":"Artif. Intell."},{"key":"32_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"32_CR4","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1093\/logcom\/exu010","volume":"26","author":"R Baumann","year":"2016","unstructured":"Baumann, R., Woltran, S.: The role of self-attacking arguments in characterizations of equivalence notions. J. Log. Comput. 26(4), 1293\u20131313 (2016). doi:\n10.1093\/logcom\/exu010","journal-title":"J. Log. Comput."},{"key":"32_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"key":"32_CR6","first-page":"121","volume-title":"Proceedings of COMMA","author":"M Caminada","year":"2006","unstructured":"Caminada, M.: Semi-stable semantics. In: Dunne, P.E., Bench-Capon, T.J. (eds.) Proceedings of COMMA, vol. 144, pp. 121\u2013130. IOS Press, Amsterdam (2006)"},{"key":"32_CR7","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171, 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.artint.2014.11.008","volume":"220","author":"G Charwat","year":"2015","unstructured":"Charwat, G., Dvor\u00e1k, W., Gaggl, S.A., Wallner, J.P., Woltran, S.: Methods for solving reasoning problems in abstract argumentation - a survey. Artif. Intell. 220, 28\u201363 (2015)","journal-title":"Artif. Intell."},{"unstructured":"Ches\u00f1evar, C.I., Simari, G.R., Godo, L., Alsinet, T.: Expansion operators for modelling agent reasoning in possibilistic defeasible logic programming. In: EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7\u20138, 2005, pp. 474\u2013475 (2005)","key":"32_CR9"},{"issue":"2","key":"32_CR10","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"10\u201315","key":"32_CR11","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"PM Dung","year":"2007","unstructured":"Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artif. Intell. 171(10\u201315), 642\u2013674 (2007)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Elvang-G\u00f8ransson, M., Krause, P., Fox, J.: Acceptability of arguments as \u2018logical uncertainty\u2019. In: ECSQARU, pp. 85\u201390 (1993)","key":"32_CR12","DOI":"10.1007\/BFb0028186"},{"issue":"3","key":"32_CR13","first-page":"620","volume":"38","author":"AV Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"32_CR14","first-page":"1070","volume-title":"5th Conference on Logic Programming","author":"M Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) 5th Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"9\u201310","key":"32_CR15","doi-asserted-by":"crossref","first-page":"1479","DOI":"10.1016\/j.artint.2010.12.003","volume":"175","author":"N Gorogiannis","year":"2011","unstructured":"Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artif. Intell. 175(9\u201310), 1479\u20131497 (2011)","journal-title":"Artif. Intell."},{"key":"32_CR16","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.ijar.2015.06.009","volume":"64","author":"E Guerrero","year":"2015","unstructured":"Guerrero, E., Nieves, J.C., Lindgren, H.: Semantic-based construction of arguments: an answer set programming approach. Int. J. Approx. Reason. 64, 54\u201374 (2015)","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"32_CR17","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1080\/19462166.2013.869766","volume":"5","author":"S Modgil","year":"2014","unstructured":"Modgil, S., Prakken, H.: The ASPIC\n            $$^{+}$$\n           framework for structured argumentation: a tutorial. Argum. Comput. 5(1), 31\u201362 (2014)","journal-title":"Argum. Comput."},{"key":"32_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-319-17130-2_27","volume-title":"Multi-Agent Systems","author":"JC Nieves","year":"2015","unstructured":"Nieves, J.C., Lindgren, H.: Deliberative argumentation for service provision in smart environments. In: Bulling, N. (ed.) Multi-Agent Systems. LNCS, vol. 8953, pp. 388\u2013394. Springer, Cham (2015)"},{"issue":"14\u201315","key":"32_CR19","doi-asserted-by":"crossref","first-page":"1985","DOI":"10.1016\/j.artint.2011.06.003","volume":"175","author":"E Oikarinen","year":"2011","unstructured":"Oikarinen, E., Woltran, S.: Characterizing strong equivalence for argumentation frameworks. Artif. Intell. 175(14\u201315), 1985\u20132009 (2011)","journal-title":"Artif. Intell."},{"issue":"1","key":"32_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S1471068416000090","volume":"17","author":"M Osorio","year":"2017","unstructured":"Osorio, M., Nieves, J.C.: Range-based argumentation semantics as two-valued models. Theor. Pract. Log. Program. 17(1), 75\u201390 (2017)","journal-title":"Theor. Pract. Log. Program."},{"issue":"1","key":"32_CR21","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.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-Class. Log. 7(1), 25\u201375 (1997)","journal-title":"J. Appl. Non-Class. Log."},{"key":"32_CR22","first-page":"219","volume-title":"Handbook of Philosophical Logic","author":"H Prakken","year":"2002","unstructured":"Prakken, H., Vreeswijk, G.A.W.: Logics for defeasible argumentation. In: Gabbay, D., G\u00fcnthner, F. (eds.) Handbook of Philosophical Logic, vol. 4, 2nd edn, pp. 219\u2013318. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"unstructured":"Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In: Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC 1996) (1996)","key":"32_CR23"},{"issue":"2\u20133","key":"32_CR24","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.: Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Stud. Log. 93(2\u20133), 383\u2013403 (2009)","journal-title":"Stud. Log."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59294-7_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T10:33:27Z","timestamp":1498127607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59294-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592930","9783319592947"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59294-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}