{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:11:36Z","timestamp":1742911896567,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_17","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"249-264","source":"Crossref","is-referenced-by-count":4,"title":["Reduction-Based Approaches to Implement Modgil\u2019s Extended Argumentation Frameworks"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Dvo\u0159\u00e1k","sequence":"first","affiliation":[]},{"given":"Sarah Alice","family":"Gaggl","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Linsbichler","sequence":"additional","affiliation":[]},{"given":"Johannes Peter","family":"Wallner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1014490210693","volume":"34","author":"L. Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell.\u00a034(1-3), 197\u2013215 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"17_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P. Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M.W.A., Giacomin, M.: An introduction to argumentation semantics. Knowledge Eng. Review\u00a026(4), 365\u2013410 (2011)","journal-title":"Knowledge Eng. Review"},{"issue":"3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"T.J.M. Bench-Capon","year":"2003","unstructured":"Bench-Capon, T.J.M.: Persuasion in practical argument using value-based argumentation frameworks. J. Log. Comput.\u00a013(3), 429\u2013448 (2003)","journal-title":"J. Log. Comput."},{"key":"17_CR4","unstructured":"Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: Proc. NMR, pp. 59\u201364 (2004)"},{"key":"17_CR5","unstructured":"Brewka, G., Woltran, S.: Abstract Dialectical Frameworks. In: Proc. KR 2010, pp. 102\u2013111. AAAI Press (2010)"},{"issue":"12","key":"17_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"17_CR7","unstructured":"Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P., Woltran, S.: Abstract Dialectical Frameworks Revisited. In: Proc. IJCAI, pp. 803\u2013809. AAAI Press \/ IJCAI (2013)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/978-3-642-54373-9_12","volume-title":"Theory and Applications of FormalArgumentation","author":"F. Cerutti","year":"2014","unstructured":"Cerutti, F., Dunne, P.E., Giacomin, M., Vallati, M.: Computing preferred extensions in abstract argumentation: A SAT-based approach. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2013. LNCS, vol.\u00a08306, pp. 176\u2013193. Springer, Heidelberg (2014)"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. 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.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"1\/2","key":"17_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(02)00261-8","volume":"141","author":"P.E. Dunne","year":"2002","unstructured":"Dunne, P.E., Bench-Capon, T.J.M.: Coherence in finite argument systems. Artif. Intell.\u00a0141(1\/2), 187\u2013203 (2002)","journal-title":"Artif. Intell."},{"key":"17_CR11","unstructured":"Dunne, P.E., Dvo\u0159\u00e1k, W., Linsbichler, T., Woltran, S.: Characteristics of multiple viewpoints in abstract argumentation. In: Proc. KR, pp. 72\u201381. AAAI Press (2014)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Dunne, P.E., Modgil, S., Bench-Capon, T.J.M.: Computation in extended argumentation frameworks. In: Proc. ECAI, pp. 119\u2013124. IOS Press (2010)","DOI":"10.1145\/1568234.1568248"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.artint.2013.10.001","volume":"206","author":"W. Dvo\u0159\u00e1k","year":"2014","unstructured":"Dvo\u0159\u00e1k, W., J\u00e4rvisalo, M., Wallner, J.P., Woltran, S.: Complexity-sensitive decision procedures for abstract argumentation. Artif. Intell.\u00a0206, 53\u201378 (2014)","journal-title":"Artif. Intell."},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-33362-0_7","volume-title":"Scalable Uncertainty Management","author":"W. Dvo\u0159\u00e1k","year":"2012","unstructured":"Dvo\u0159\u00e1k, W., Szeider, S., Woltran, S.: Abstract argumentation via monadic second order logic. In: H\u00fcllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol.\u00a07520, pp. 85\u201398. Springer, Heidelberg (2012)"},{"issue":"2","key":"17_CR15","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 and Computation\u00a01(2), 147\u2013177 (2010)","journal-title":"Argument and Computation"},{"key":"17_CR16","unstructured":"Egly, U., Woltran, S.: Reasoning in argumentation frameworks using Quantified Boolean Formulas. In: Proc. COMMA, pp. 133\u2013144. IOS Press (2006)"},{"issue":"2","key":"17_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam Answer Set Solving Collection. AI Communications\u00a024(2), 105\u2013124 (2011)","journal-title":"AI Communications"},{"issue":"9-10","key":"17_CR18","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","volume":"173","author":"S. Modgil","year":"2009","unstructured":"Modgil, S.: Reasoning about preferences in argumentation frameworks. Artif. Intell.\u00a0173(9-10), 901\u2013934 (2009)","journal-title":"Artif. Intell."},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/j.artint.2012.10.008","volume":"195","author":"S. Modgil","year":"2013","unstructured":"Modgil, S., Prakken, H.: A general account of argumentation with preferences. Artif. Intell.\u00a0195, 361\u2013397 (2013)","journal-title":"Artif. Intell."},{"issue":"3-4","key":"17_CR20","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.\u00a025(3-4), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"17_CR21","unstructured":"Nofal, S., Dunne, P.E., Atkinson, K.: Towards experimental algorithms for abstract argumentation. In: Proc. COMMA, pp. 217\u2013228. IOS Press (2012)"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T13:27:43Z","timestamp":1690810063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}