{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:36:45Z","timestamp":1726043805756},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030276287"},{"type":"electronic","value":"9783030276294"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-27629-4_4","type":"book-chapter","created":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T03:14:09Z","timestamp":1568171649000},"page":"18-21","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Algorithmic Approaches to Computational Models of Argumentation"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Thimm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,12]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1609\/aimag.v38i3.2704","volume":"38","author":"K Atkinson","year":"2017","unstructured":"Atkinson, K., et al.: Toward artificial argumentation. AI Mag. 38(3), 25\u201336 (2017)","journal-title":"AI Mag."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1080\/19462166.2013.869765","volume":"5","author":"P Besnard","year":"2014","unstructured":"Besnard, P., Hunter, A.: Constructing argument graphs with deductive arguments: a tutorial. Argum. Comput. 5(1), 5\u201330 (2014)","journal-title":"Argum. Comput."},{"key":"4_CR3","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Handbook of Satisfiability","year":"2009","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (2009)"},{"unstructured":"Cerutti, F., Gaggl, S.A., Thimm, M., Wallner, J.P.: Foundations of implementations for formal argumentation. In: Baroni, P., Gabbay, D., Giacomin, M., van der Torre, L. (eds.) Handbook of Formal Argumentation, chap. 15. College Publications, February 2018. Also appears in IfCoLog J. Log. Appl. 4(8), 2623\u20132706, October 2017","key":"4_CR4"},{"unstructured":"Cerutti, F., Giacomin, M., Vallati, M.: ArgSemSAT: solving argumentation problems using SAT. In: Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, 9\u201312 September 2014, pp. 455\u2013456 (2014)","key":"4_CR5"},{"key":"4_CR6","doi-asserted-by":"publisher","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."},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0004-3702(02)00245-X","volume":"141","author":"Y Dimopoulos","year":"2002","unstructured":"Dimopoulos, Y., Nebel, B., Toni, F.: On the computational complexity of assumption-based argumentation for default reasoning. Artif. Intell. 141(1), 57\u201378 (2002)","journal-title":"Artif. Intell."},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","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."},{"unstructured":"Dvo\u0159\u00e1k, W., Dunne, P.E.: Computational problems in formal argumentation and their complexity. In: Baroni, P., Gabbay, D., Giacomin, M., van der Torre, L. (eds.) Handbook of Formal Argumentation, chap. 14. College Publications, February 2018","key":"4_CR9"},{"unstructured":"Egly, U., Gaggl, S.A., Woltran, S.: Answer-set programming encodings for argumentation frameworks. Technical report DBAI-TR-2008-62, Technische Universit\u00e4t Wien (2008)","key":"4_CR10"},{"unstructured":"Gabbay, D., Rodrigues, O.: A self-correcting iteration schema for argumentation networks. In: Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA 2014) (2014)","key":"4_CR11"},{"unstructured":"Gaggl, S.A., Manthey, N.: ASPARTIX-D: ASP argumentation reasoning tool - dresden. In: System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA 2015). ArXiv (2015)","key":"4_CR12"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1080\/19462166.2013.869767","volume":"5","author":"AJ Garc\u00eda","year":"2014","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers. Argum. Comput. 5(1), 63\u201388 (2014)","journal-title":"Argum. Comput."},{"key":"4_CR14","series-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning","doi-asserted-by":"publisher","DOI":"10.2200\/S00457ED1V01Y201211AIM019","volume-title":"Answer Set Solving in Practice","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2012)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-319-75553-3_10","volume-title":"Theory and Applications of Formal Argumentation","author":"N Geilen","year":"2018","unstructured":"Geilen, N., Thimm, M.: Heureka: a general heuristic backtracking solver for abstract argumentation. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2017. LNCS (LNAI), vol. 10757, pp. 143\u2013149. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-75553-3_10"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/19462166.2013.869766","volume":"5","author":"S Modgil","year":"2014","unstructured":"Modgil, S., Prakken, H.: The ASPIC+ framework for structured argumentation: a tutorial. Argum. Comput. 5, 31\u201362 (2014)","journal-title":"Argum. Comput."},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.ijar.2016.07.013","volume":"78","author":"S Nofal","year":"2016","unstructured":"Nofal, S., Atkinson, K., Dunne, P.E.: Looking-ahead in backtracking algorithms for abstract argumentation. Int. J. Approx. Reason. 78, 265\u2013282 (2016)","journal-title":"Int. J. Approx. Reason."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-319-75553-3_8","volume-title":"Theory and Applications of Formal Argumentation","author":"O Rodrigues","year":"2018","unstructured":"Rodrigues, O.: A forward propagation algorithm for the computation of the semantics of argumentation frameworks. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2017. LNCS (LNAI), vol. 10757, pp. 120\u2013136. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-75553-3_8"},{"unstructured":"Snaith, M., Reed, C.: TOAST: online ASPIC+ implementation. In: Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA 2012), pp. 509\u2013510. IOS Press (2012)","key":"4_CR19"},{"unstructured":"Thimm, M.: Stochastic local search algorithms for abstract argumentation under stable semantics. In: Modgil, S., Budzynska, K., Lawrence, J. (eds.) Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA 2018). Frontiers in Artificial Intelligence and Applications, Warsaw, Poland, vol. 305, pp. 169\u2013180, September 2018","key":"4_CR20"},{"unstructured":"Thimm, M., Rienstra, T.: Approximate reasoning with ASPIC+ by argument sampling (2019, under review)","key":"4_CR21"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/19462166.2013.869878","volume":"5","author":"F Toni","year":"2014","unstructured":"Toni, F.: A tutorial on assumption-based argumentation. Argum. Comput. 5(1), 89\u2013117 (2014)","journal-title":"Argum. Comput."}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27629-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T03:24:13Z","timestamp":1568172253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-27629-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030276287","9783030276294"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27629-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FQAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Flexible Query Answering Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amantea","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fqas2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.fqas2019.units.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}