{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:02Z","timestamp":1740099062983,"version":"3.37.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319755526"},{"type":"electronic","value":"9783319755533"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75553-3_8","type":"book-chapter","created":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T04:34:24Z","timestamp":1520224464000},"page":"120-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks"],"prefix":"10.1007","author":[{"given":"Odinaldo","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,6]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","volume":"168","author":"P Baroni","year":"2005","unstructured":"Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artif. Intell. 168(1), 162\u2013210 (2005)","journal-title":"Artif. Intell."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-20895-9_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"R Baumann","year":"2011","unstructured":"Baumann, R.: Splitting an argumentation framework. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 40\u201353. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_6"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-29184-5_2","volume-title":"Theorie and Applications of Formal Argumentation","author":"R Baumann","year":"2012","unstructured":"Baumann, R., Brewka, G., Wong, R.: Splitting argumentation frameworks: an empirical evaluation. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS (LNAI), vol. 7132, pp. 17\u201331. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29184-5_2"},{"issue":"1","key":"8_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/19462166.2010.515036","volume":"2","author":"M Caminada","year":"2011","unstructured":"Caminada, M.: A labelling approach for ideal and stage semantics. Argum. Comput. 2(1), 1\u201321 (2011)","journal-title":"Argum. Comput."},{"issue":"2\u20133","key":"8_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","volume":"93","author":"M Caminada","year":"2009","unstructured":"Caminada, M., Gabbay, D.M.: A logical account of formal argumentation. Stud. Log. 93(2\u20133), 109\u2013145 (2009)","journal-title":"Stud. Log."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Cerutti, F., Giacomin, M., Vallati, M., Zanella, M.: A SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (2014)","DOI":"10.1007\/978-3-642-54373-9_12"},{"key":"8_CR7","unstructured":"Cerutti, F., Vallati, M., Giacomin, M.: Where are we now? State of the art and future trends of solvers for hard argumentation problems. In: Baroni, P., Gordon, T., Scheffler, T. (eds.) Proceedings of COMMA, Frontiers in Artificial Intelligence and Applications, vol. 287, pp. 207\u2013218. IOS Press (2016)"},{"key":"8_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., Dvo\u0159\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."},{"key":"8_CR9","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, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"8_CR10","unstructured":"Gabbay, D.M., Rodrigues, O.: Further applications of the Gabbay-Rodrigues iteration schema. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational Models of Rationality, vol. 29, pp. 392\u2013407. College Publications (2016)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Liao, B.: Toward incremental computation of argumentation semantics: a decomposition-based approach. Ann. Math. Artif. Intell. 67(3), 319\u2013358 (2013). http:\/\/dx.doi.org\/10.1007\/s10472-013-9364-8","DOI":"10.1007\/s10472-013-9364-8"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-0-387-98197-0_6","volume-title":"Argumentation in Artificial Intelligence","author":"S Modgil","year":"2009","unstructured":"Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105\u2013129. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-98197-0_6"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.artint.2013.11.001","volume":"207","author":"S Nofal","year":"2014","unstructured":"Nofal, S., Atkinson, K., Dunne, P.E.: Algorithms for decision problems in argument systems under preferred semantics. Artif. Intell. 207, 23\u201351 (2014)","journal-title":"Artif. Intell."},{"key":"8_CR14","unstructured":"Rodrigues, O.: GRIS system description. In: Thimm, M., Villata, S. (eds.) System Descriptions of the 1st International Competition on Computational Models of Argumentation, pp. 37\u201340. Cornell University Library (2015)"},{"issue":"4","key":"8_CR15","first-page":"12","volume":"3","author":"Y Wu","year":"2010","unstructured":"Wu, Y., Caminada, M.: A labelling-based justification status of arguments. Stud. Log. 3(4), 12\u201329 (2010)","journal-title":"Stud. Log."}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Formal Argumentation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75553-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T02:15:59Z","timestamp":1570846559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75553-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319755526","9783319755533"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75553-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}