{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T15:46:38Z","timestamp":1790523998781,"version":"4.1.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030399504","type":"print"},{"value":"9783030399511","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-39951-1_5","type":"book-chapter","created":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T00:02:22Z","timestamp":1580688142000},"page":"79-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2269-8193","authenticated-orcid":false,"given":"Wolfgang","family":"Dvo\u0159\u00e1k","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0355-3535","authenticated-orcid":false,"given":"Anna","family":"Rapberger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3051-1966","authenticated-orcid":false,"given":"Johannes P.","family":"Wallner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1594-8972","authenticated-orcid":false,"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"5_CR1","volume-title":"Handbook of Formal Argumentation, Chapt. 4","author":"P Baroni","year":"2018","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: Abstract argumentation frameworks and their semantics. In: Baroni, P., Gabbay, D., Giacomin, M., van der Torre, L. (eds.) Handbook of Formal Argumentation, Chapt. 4. College Publications, London (2018)"},{"key":"5_CR2","volume-title":"Handbook of Formal Argumentation, Chapt. 15","author":"F Cerutti","year":"2018","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, Chapt. 15. College Publications, London (2018). Also available as an article in the IfCoLog Journal of Logics and their Applications 4(8), 2623\u20132706"},{"key":"5_CR3","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":"2","key":"5_CR4","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":"18","key":"5_CR5","doi-asserted-by":"publisher","first-page":"1559","DOI":"10.1016\/j.artint.2009.09.001","volume":"173","author":"PE Dunne","year":"2009","unstructured":"Dunne, P.E.: The computational complexity of ideal semantics. Artif. Intell. 173(18), 1559\u20131591 (2009)","journal-title":"Artif. Intell."},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2013.06.004","volume":"202","author":"PE Dunne","year":"2013","unstructured":"Dunne, P.E., Dvo\u0159\u00e1k, W., Woltran, S.: Parametric properties of ideal semantics. Artif. Intell. 202, 1\u201328 (2013)","journal-title":"Artif. Intell."},{"key":"5_CR7","volume-title":"Handbook of Formal Argumentation, Chapt. 14","author":"W Dvo\u0159\u00e1k","year":"2018","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, Chapt. 14. College Publications, London (2018). Also available as an article in the IfCoLog Journal of Logics and their Applications 4(8), 2557\u20132622"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-41524-1_7","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"W Dvo\u0159\u00e1k","year":"2013","unstructured":"Dvo\u0159\u00e1k, W., Gaggl, S.A., Wallner, J.P., Woltran, S.: Making use of advances in answer-set programming for abstract argumentation systems. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP -2011. LNCS (LNAI), vol. 7773, pp. 114\u2013133. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41524-1_7"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-319-14726-0_17","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"W Dvo\u0159\u00e1k","year":"2015","unstructured":"Dvo\u0159\u00e1k, W., Gaggl, S.A., Linsbichler, T., Wallner, J.P.: Reduction-based approaches to implement Modgil\u2019s extended argumentation frameworks. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 249\u2013264. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14726-0_17"},{"key":"5_CR10","unstructured":"Dvo\u0159\u00e1k, W., Gre\u00dfler, A., Woltran, S.: Evaluating SETAFs via answer-set programming. In: Thimm, M., Cerutti, F., Vallati, M. (eds.) CEUR Workshop Proceedings of the SAFA Co-Located with COMMA 2018, vol. 2171, pp. 10\u201321. CEUR-WS.org (2018)"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1080\/19462166.2010.486479","volume":"1","author":"U Egly","year":"2010","unstructured":"Egly, U., Gaggl, S.A., Woltran, S.: Answer-set programming encodings for argumentation frameworks. Argument Comput. 1(2), 147\u2013177 (2010)","journal-title":"Argument Comput."},{"key":"5_CR12","unstructured":"Faber, W., Vallati, M., Cerutti, F., Giacomin, M.: Enumerating preferred extensions using ASP domain heuristics: the ASPrMin solver. In: Modgil, S., Budzynska, K., Lawrence, J. (eds.) Proceedings of the COMMA, Frontiers in Artificial Intelligence and Applications, vol. 305, pp. 459\u2013460. IOS Press (2018)"},{"issue":"4\u20135","key":"5_CR13","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1017\/S1471068415000149","volume":"15","author":"SA Gaggl","year":"2015","unstructured":"Gaggl, S.A., Manthey, N., Ronca, A., Wallner, J.P., Woltran, S.: Improved answer-set programming encodings for abstract argumentation. Theory Pract. Logic Program. 15(4\u20135), 434\u2013448 (2015)","journal-title":"Theory Pract. Logic Program."},{"key":"5_CR14","unstructured":"Gebser, M., et al.: Potassco guide version 2.2.0 (2019). https:\/\/github.com\/potassco\/guide\/releases\/tag\/v2.2.0"},{"key":"5_CR15","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. CoRR, abs\/1405.3694 (2014)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Gebser, M., et al.: Domain-specific heuristics in answer set programming. In: des Jardins, M., Littman, M.L. (eds.) Proceedings of the AAAI, pp. 350\u2013356. AAAI Press (2013)","DOI":"10.1609\/aaai.v27i1.8585"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm - A 25-Year Perspective","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm - A 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"issue":"3\u20134","key":"5_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR19","unstructured":"Niskanen, A., J\u00e4rvisalo, M.: $$\\mu $$-toksia participating in ICCMA 2019 (2019). https:\/\/www.iccma2019.dmi.unipg.it\/papers\/ICCMA19_paper_11.pdf"},{"key":"5_CR20","doi-asserted-by":"publisher","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":"5_CR21","unstructured":"Ronca, A., Wallner, J.P., Woltran, S.: ASPARTIX-V: utilizing improved ASP encodings (2015). http:\/\/argumentationcompetition.org\/2015\/pdf\/paper_11.pdf"},{"issue":"3","key":"5_CR22","doi-asserted-by":"publisher","first-page":"261","DOI":"10.3233\/FI-2017-1585","volume":"155","author":"C Sakama","year":"2017","unstructured":"Sakama, C., Rienstra, T.: Representing argumentation frameworks in answer set programming. Fundam. Inform. 155(3), 261\u2013292 (2017)","journal-title":"Fundam. Inform."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-39951-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T01:48:48Z","timestamp":1665712128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-39951-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030399504","9783030399511"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-39951-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"3 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoIKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations of Information and Knowledge Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dortmund","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 February 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foiks2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/foiks2020.cs.tu-dortmund.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}