{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:30Z","timestamp":1725748170825},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_9","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T20:18:12Z","timestamp":1378844292000},"page":"138-154","source":"Crossref","is-referenced-by-count":14,"title":["Advanced SAT Techniques for Abstract Argumentation"],"prefix":"10.1007","author":[{"given":"Johannes Peter","family":"Wallner","sequence":"first","affiliation":[]},{"given":"Georg","family":"Weissenbacher","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3-4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/j.artint.2008.11.006","volume":"173","author":"L. Amgoud","year":"2009","unstructured":"Amgoud, L., Prade, H.: Using arguments for making and explaining decisions. Artif. Intell.\u00a0173(3-4), 413\u2013436 (2009)","journal-title":"Artif. Intell."},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.jal.2013.03.009","volume":"11","author":"O. Arieli","year":"2013","unstructured":"Arieli, O., Caminada, M.W.A.: A QBF-based formalization of abstract argumentation semantics. J. Applied Logic\u00a011(2), 229\u2013252 (2013)","journal-title":"J. Applied Logic"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10601-010-9105-0","volume":"16","author":"R. As\u00edn","year":"2011","unstructured":"As\u00edn, R., Nieuwenhuis, R., Oliveras, A., Rodr\u00edguez-Carbonell, E.: Cardinality networks: a theoretical and empirical study. Constraints\u00a016(2), 195\u2013221 (2011)","journal-title":"Constraints"},{"issue":"10-15","key":"9_CR4","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"T.J.M. Bench-Capon","year":"2007","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in Artificial Intelligence. Artif. Intell.\u00a0171(10-15), 619\u2013641 (2007)","journal-title":"Artif. Intell."},{"key":"9_CR5","unstructured":"Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: NMR 2004, pp. 59\u201364 (2004)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Santini, F.: Conarg: A constraint-based computational framework for argumentation systems. In: ICTAI 2011, pp. 605\u2013612 (2011)","DOI":"10.1109\/ICTAI.2011.96"},{"key":"9_CR7","unstructured":"Caminada, M.W.A.: Comparing two unique extension semantics for formal argumentation: Ideal and eager. In: BNAIC 2007, pp. 81\u201387 (2007)"},{"issue":"5","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1093\/logcom\/exr033","volume":"22","author":"M.W.A. Caminada","year":"2012","unstructured":"Caminada, M.W.A., Carnielli, W.A., Dunne, P.E.: Semi-stable Semantics. J. Log. Comput.\u00a022(5), 1207\u20131254 (2012)","journal-title":"J. Log. Comput."},{"issue":"5","key":"9_CR9","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MIS.2009.104","volume":"24","author":"D. Cartwright","year":"2009","unstructured":"Cartwright, D., Atkinson, K.: Using computational argumentation to support e-participation. IEEE Intelligent Systems\u00a024(5), 42\u201352 (2009)","journal-title":"IEEE Intelligent Systems"},{"key":"9_CR10","unstructured":"Cerutti, F., Dunne, P.E., Giacomin, M., Vallati, M.: A SAT-based Approach for Computing Extensions on Abstract Argumentation. In: TAFA 2013 (2013)"},{"key":"9_CR11","unstructured":"Charwat, G., Dvo\u0159\u00e1k, W., Gaggl, S.A., Wallner, J.P., Woltran, S.: Implementing Abstract Argumentation \u2013 A Survey. Technical Report DBAI-TR-2013-82, Vienna University of Technology (2013)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-17511-4_10","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Codish","year":"2010","unstructured":"Codish, M., Zazon-Ivry, M.: Pairwise cardinality networks. In: Clarke, E.M., Voronkov, A. (eds.) LPAR-16 2010. LNCS, vol.\u00a06355, pp. 154\u2013172. Springer, Heidelberg (2010)"},{"issue":"2","key":"9_CR13","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":"10-15","key":"9_CR14","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"P.M. Dung","year":"2007","unstructured":"Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artif. Intell.\u00a0171(10-15), 642\u2013674 (2007)","journal-title":"Artif. Intell."},{"issue":"18","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1559","DOI":"10.1016\/j.artint.2009.09.001","volume":"173","author":"P.E. Dunne","year":"2009","unstructured":"Dunne, P.E.: The computational complexity of ideal semantics. Artif. Intell.\u00a0173(18), 1559\u20131591 (2009)","journal-title":"Artif. Intell."},{"key":"9_CR16","unstructured":"Dvo\u0159\u00e1k, W., Dunne, P.E., Woltran, S.: Parametric properties of ideal semantics. In: IJCAI 2011, pp. 851\u2013856 (2011)"},{"key":"9_CR17","unstructured":"Dvo\u0159\u00e1k, W., Gaggl, S.A., Szeider, S., Woltran, S.: Benchmark libraries for argumentation. In: Agreement Technologies, LGTS The Added Value of Argumentation, vol.\u00a08, pp. 389\u2013393. Springer (2013)"},{"key":"9_CR18","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: INAP 2011, pp. 117\u2013130 (2011)"},{"key":"9_CR19","unstructured":"Dvo\u0159\u00e1k, W., J\u00e4rvisalo, M., Wallner, J.P., Woltran, S.: Complexity-sensitive decision procedures for abstract argumentation. In: KR 2012, pp. 54\u201364 (2012)"},{"issue":"11","key":"9_CR20","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.ipl.2010.04.005","volume":"110","author":"W. Dvo\u0159\u00e1k","year":"2010","unstructured":"Dvo\u0159\u00e1k, W., Woltran, S.: Complexity of semi-stable and stage semantics in argumentation frameworks. Inf. Process. Lett.\u00a0110(11), 425\u2013430 (2010)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"9_CR21","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":"9_CR22","unstructured":"Egly, U., Woltran, S.: Reasoning in argumentation frameworks using quantified boolean formulas. In: COMMA 2006. FAIA, vol.\u00a0144, pp. 133\u2013144 (2006)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-20832-4_4","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"W. Faber","year":"2011","unstructured":"Faber, W., Woltran, S.: Manifold answer-set programs and their applications. In: Balduccini, M., Son, T.C. (eds.) LPNMR 2011. LNCS, vol.\u00a06565, pp. 44\u201363. Springer, Heidelberg (2011)"},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S0890060411000011","volume":"26","author":"A. Felfernig","year":"2012","unstructured":"Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. Artificial Intelligence for Engineering Design, Analysis and Manufacturing\u00a026(1), 53\u201362 (2012)","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"issue":"2-3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1080\/19462166.2012.704398","volume":"3","author":"D.M. Gabbay","year":"2012","unstructured":"Gabbay, D.M.: An equational approach to argumentation networks. Argument & Computation\u00a03(2-3), 87\u2013142 (2012)","journal-title":"Argument & Computation"},{"issue":"2","key":"9_CR26","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":"3","key":"9_CR27","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log.\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"9_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-007-9084-z","volume":"40","author":"M.H. Liffiton","year":"2008","unstructured":"Liffiton, M.H., Sakallah, K.A.: Algorithms for computing minimal unsatisfiable subsets of constraints. J. Autom. Reasoning\u00a040(1), 1\u201333 (2008)","journal-title":"J. Autom. Reasoning"},{"key":"9_CR29","unstructured":"Malik, S., Weissenbacher, G.: Boolean satisfiability solvers: techniques and extensions. In: Software Safety and Security - Tools for Analysis and Verification. NATO Science for Peace and Security Series. IOS Press (2012)"},{"key":"9_CR30","unstructured":"Malik, S., Zhao, Y., Madigan, C.F., Zhang, L., Moskewicz, M.W.: Chaff: Engineering an efficient SAT solver. In: DAC 2001, pp. 530\u2013535 (2001)"},{"key":"9_CR31","unstructured":"Marques-Silva, J., Heras, F., Janota, M., Previti, A., Belov, A.: On computing minimal correction subsets. In: IJCAI 2013 (2013)"},{"key":"9_CR32","unstructured":"Marques-Silva, J., Janota, M., Lynce, I.: On computing backbones of propositional theories. In: ECAI 2010. FAIA, vol.\u00a0215, pp. 15\u201320. IOS Press (2010)"},{"key":"9_CR33","unstructured":"Marques-Silva, J., Sakallah, K.A.: GRASP \u2013 a new search algorithm for satisfiability. In: ICCAD 1996, pp. 220\u2013227 (1996)"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","volume-title":"Argumentation in Multi-Agent Systems","year":"2012","unstructured":"McBurney, P., Parsons, S., Rahwan, I. (eds.): ArgMAS 2011. LNCS, vol.\u00a07543. Springer, Heidelberg (2012)"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"N\u00f6hrer, A., Biere, A., Egyed, A.: Managing SAT inconsistencies with HUMUS. In: Workshop on Variability Modelling of Software-Intensive Systems, pp. 83\u201391. ACM (2012)","DOI":"10.1145\/2110147.2110157"},{"issue":"4","key":"9_CR36","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10601-010-9095-y","volume":"15","author":"E.D. Rosa","year":"2010","unstructured":"Rosa, E.D., Giunchiglia, E., Maratea, M.: Solving satisfiability problems with preferences. Constraints\u00a015(4), 485\u2013515 (2010)","journal-title":"Constraints"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Zhu, C.S., Weissenbacher, G., Sethi, D., Malik, S.: SAT-based techniques for determining backbones for post-silicon fault localisation. In: HLDVT, pp. 84\u201391 (2011)","DOI":"10.1109\/HLDVT.2011.6113981"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T18:51:13Z","timestamp":1596480673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}