{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T23:58:49Z","timestamp":1726185529659},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031234910"},{"type":"electronic","value":"9783031234927"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-23492-7_36","type":"book-chapter","created":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T05:03:37Z","timestamp":1674450217000},"page":"423-435","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Validation of\u00a0Labelling Algorithms for\u00a0Abstract Argumentation Frameworks: The Case of\u00a0Listing Stable Extensions"],"prefix":"10.1007","author":[{"given":"Samer","family":"Nofal","sequence":"first","affiliation":[]},{"given":"Amani","family":"Abu Jabal","sequence":"additional","affiliation":[]},{"given":"Abdullah","family":"Alfarrarjeh","sequence":"additional","affiliation":[]},{"given":"Ismail","family":"Hababeh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,1,24]]},"reference":[{"issue":"3","key":"36_CR1","first-page":"25","volume":"38","author":"K Atkinson","year":"2017","unstructured":"Atkinson, K., et al.: Towards artificial argumentation. AI Mag. 38(3), 25\u201336 (2017)","journal-title":"AI Mag."},{"issue":"4","key":"36_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365\u2013410 (2011)","journal-title":"Knowl. Eng. Rev."},{"issue":"1","key":"36_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1093\/logcom\/exx031","volume":"28","author":"S Bistarelli","year":"2018","unstructured":"Bistarelli, S., Rossi, F., Santini, F.: Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. J. Log. Comput. 28(1), 85\u2013117 (2018)","journal-title":"J. Log. Comput."},{"issue":"8","key":"36_CR4","first-page":"2623","volume":"4","author":"F Cerutti","year":"2017","unstructured":"Cerutti, F., Gaggl, S.A., Thimm, M., Wallner, J.P.: Foundations of implementations for formal argumentation. FLAP 4(8), 2623\u20132705 (2017)","journal-title":"FLAP"},{"key":"36_CR5","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., 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."},{"issue":"1\u20134","key":"36_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1018972125742","volume":"20","author":"Y Dimopoulos","year":"1997","unstructured":"Dimopoulos, Y., Magirou, V., Papadimitriou, C.H.: On kernels, defaults and even graphs. Ann. Math. Artif. Intell. 20(1\u20134), 1\u201312 (1997)","journal-title":"Ann. Math. Artif. Intell."},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45744-5_20","volume-title":"Automated Reasoning","author":"S Doutre","year":"2001","unstructured":"Doutre, S., Mengin, J.: Preferred extensions of argumentation frameworks: query, answering, and computation. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 272\u2013288. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45744-5_20"},{"issue":"2","key":"36_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."},{"issue":"10","key":"36_CR9","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1016\/j.artint.2007.03.006","volume":"171","author":"PE Dunne","year":"2007","unstructured":"Dunne, P.E.: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell. 171(10), 701\u2013729 (2007)","journal-title":"Artif. Intell."},{"issue":"8","key":"36_CR10","first-page":"2557","volume":"4","author":"W Dvor\u00e1k","year":"2017","unstructured":"Dvor\u00e1k, W., Dunne, P.E.: Computational problems in formal argumentation and their complexity. FLAP 4(8), 2557\u20132622 (2017)","journal-title":"FLAP"},{"issue":"4","key":"36_CR11","first-page":"77","volume":"39","author":"SA Gaggl","year":"2018","unstructured":"Gaggl, S.A., Linsbichler, T., Maratea, M., Woltran, S.: Summary report of the second international competition on computational models of argumentation. AI Mag. 39(4), 77\u201379 (2018)","journal-title":"AI Mag."},{"key":"36_CR12","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). https:\/\/doi.org\/10.1007\/978-3-319-75553-3_10"},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-94-007-5583-3_21","volume-title":"Agreement Technologies, Law, Governance and Technology Series","author":"S Modgil","year":"2013","unstructured":"Modgil, S., et al.: The added value of argumentation. In: Ossowski, S. (ed.) Agreement Technologies, Law, Governance and Technology Series, vol. 8, pp. 357\u2013403. Springer, Dordrecht (2013). https:\/\/doi.org\/10.1007\/978-94-007-5583-3_21"},{"key":"36_CR14","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. Reasoning 78, 265\u2013282 (2016)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"1","key":"36_CR15","first-page":"102","volume":"37","author":"M Thimm","year":"2016","unstructured":"Thimm, M., Villata, S., Cerutti, F., Oren, N., Strass, H., Vallati, M.: Summary report of the first international competition on computational models of argumentation. AI Mag. 37(1), 102 (2016)","journal-title":"AI Mag."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-23492-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,3]],"date-time":"2023-02-03T04:12:27Z","timestamp":1675397547000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-23492-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031234910","9783031234927"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-23492-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"24 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence and Soft Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zakopane","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaisc2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icaisc.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}
