{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:21:32Z","timestamp":1760170892110},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319088549"},{"type":"electronic","value":"9783319088556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08855-6_35","type":"book-chapter","created":{"date-parts":[[2014,10,27]],"date-time":"2014-10-27T14:08:23Z","timestamp":1414418903000},"page":"345-354","source":"Crossref","is-referenced-by-count":10,"title":["Encoding Argument Graphs in Logic"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvie","family":"Doutre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"35_CR1","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. Artificial Intelligence\u00a077(2), 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"35_CR2","unstructured":"Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: Delgrande, J.P., Schaub, T. (eds.) Proc. NMR 2004, pp. 59\u201364 (2004)"},{"issue":"2","key":"35_CR3","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":"35_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-23963-2_10","volume-title":"Scalable Uncertainty Management","author":"L. Amgoud","year":"2011","unstructured":"Amgoud, L., Devred, C.: Argumentation frameworks as constraint satisfaction problems. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol.\u00a06929, pp. 110\u2013122. Springer, Heidelberg (2011)"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.jda.2011.11.004","volume":"10","author":"M. Walicki","year":"2012","unstructured":"Walicki, M., Dyrkolbotn, S.: Finding kernels or solving SAT. Discrete Algorithms\u00a010, 146\u2013164 (2012)","journal-title":"Discrete Algorithms"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-39992-3_11","volume-title":"Logic, Language, Information, and Computation","author":"S.K. Dyrkolbotn","year":"2013","unstructured":"Dyrkolbotn, S.K.: The same, similar, or just completely different? Equivalence for argumentation in light of logic. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol.\u00a08071, pp. 96\u2013110. Springer, Heidelberg (2013)"},{"key":"35_CR7","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. Artificial Intelligence\u00a0207, 23\u201351 (2014)","journal-title":"Artificial Intelligence"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 25\u201344. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_2"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Dunne, P.E., Wooldridge, M.: Complexity of abstract argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 85\u2013104. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_5"},{"issue":"10","key":"35_CR10","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.artint.2007.04.004","volume":"171","author":"P. Baroni","year":"2007","unstructured":"Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artificial Intelligence\u00a0171(10), 675\u2013700 (2007)","journal-title":"Artificial Intelligence"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Besnard, P., Garcia, A., Hunter, A., Modgil, S., Prakken, H., Simari, G., Toni, F.: Special issue: Tutorials on structured argumentation. Argument and Computation\u00a05(1) (2014)","DOI":"10.1080\/19462166.2013.869764"},{"issue":"2","key":"35_CR12","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 QBF-based formalization of abstract argumentation semantics. Journal of Applied Logic\u00a011(2), 229\u2013252 (2013)","journal-title":"Journal of Applied Logic"},{"key":"35_CR13","unstructured":"Doutre, S., Herzig, A., Perrussel, L.: A dynamic logic framework for abstract argumentation. In: Baral, C., De Giacomo, G. (eds.) Proc. KR 2014. AAAI Press (2014)"},{"issue":"1","key":"35_CR14","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","volume":"168","author":"P. Baroni","year":"2005","unstructured":"Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: A general schema for argumentation semantics. Artificial Intelligence\u00a0168(1), 162\u2013210 (2005)","journal-title":"Artificial Intelligence"},{"key":"35_CR15","unstructured":"Charwat, G., Dvo\u0159\u00e1k, W., Gaggl, S.A., Wallner, J.P., Woltran, S.: Implementing abstract argumentation \u2014 A survey. Technical Report DBAI-TR-2013-82, Technische Universit\u00e4t Wien, Fakult\u00e4t f\u00fcr Informatik, Vienna, Austria (2013)"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08855-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T14:06:13Z","timestamp":1565964373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08855-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088549","9783319088556"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08855-6_35","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}