{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:18:42Z","timestamp":1725743922956},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404467"},{"type":"electronic","value":"9783642404474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40447-4_14","type":"book-chapter","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T21:00:39Z","timestamp":1375736439000},"page":"215-230","source":"Crossref","is-referenced-by-count":1,"title":["Haskell Gets Argumentative"],"prefix":"10.1007","author":[{"given":"Bas","family":"van Gijzel","sequence":"first","affiliation":[]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"C.I. Ches\u00f1evar","year":"2000","unstructured":"Ches\u00f1evar, C.I., Maguitman, A.G., Loui, R.P.: Logical models of argument. ACM Comput. Surv.\u00a032(4), 337\u2013383 (2000)","journal-title":"ACM Comput. Surv."},{"issue":"5","key":"14_CR2","first-page":"219","volume":"4","author":"H. Prakken","year":"2002","unstructured":"Prakken, H., Vreeswijk, G.A.W.: Logics for defeasible argumentation. Handbook of Philosophical Logic\u00a04(5), 219\u2013318 (2002)","journal-title":"Handbook of Philosophical Logic"},{"issue":"4","key":"14_CR3","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1142\/S0218213004001922","volume":"13","author":"C. Reed","year":"2004","unstructured":"Reed, C., Rowe, G.: Araucaria: software for argument analysis, diagramming and representation. International Journal of AI Tools\u00a013(4), 961\u2013980 (2004)","journal-title":"International Journal of AI Tools"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1017\/S0269888904000098","volume":"18","author":"I. Rahwan","year":"2003","unstructured":"Rahwan, I., Ramchurn, S.D., Jennings, N.R., Mcburney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowl. Eng. Rev.\u00a018(4), 343\u2013375 (2003)","journal-title":"Knowl. Eng. Rev."},{"issue":"2","key":"14_CR5","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":"14_CR6","unstructured":"Brewka, G., Gordon, T.F.: Carneades and abstract dialectical frameworks: a reconstruction. In: Giacomin, M., Simari, G.R. (eds.) Computational Models of Argument. Proceedings of COMMA 2010, Amsterdam etc., pp. 3\u201312. IOS Press (2010a)"},{"key":"14_CR7","unstructured":"Brewka, G., Dunne, P.E., Woltran, S.: Relating the semantics of abstract dialectical frameworks and standard AFs. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 780\u2013785 (2011)"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1080\/19462166.2012.661766","volume":"3","author":"B. Gijzel van","year":"2012","unstructured":"van Gijzel, B., Prakken, H.: Relating Carneades with abstract argumentation via the ASPIC\u2009+\u2009 framework for structured argumentation. Argument & Computation\u00a03(1), 21\u201347 (2012)","journal-title":"Argument & Computation"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Governatori, G.: On the relationship between carneades and defeasible logic. In: van Engers, T. (ed.) Proceedings of the 13th International Conference on Artificial Intelligence and Law (ICAIL 2011). ACM Press (2011)","DOI":"10.1145\/2018358.2018362"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H. Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation\u00a01, 93\u2013124 (2010)","journal-title":"Argument & Computation"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-0-387-98197-0_12","volume-title":"Argumentation in Artificial Intelligence","author":"T.F. Gordon","year":"2009","unstructured":"Gordon, T.F., Walton, D.: Proof burdens and standards. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 239\u2013258. Springer, US (2009)"},{"issue":"10-15","key":"14_CR12","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"T.F. Gordon","year":"2007","unstructured":"Gordon, T.F., Prakken, H., Walton, D.: The Carneades model of argument and burden of proof. Artificial Intelligence\u00a0171(10-15), 875\u2013896 (2007)","journal-title":"Artificial Intelligence"},{"key":"14_CR13","unstructured":"Gordon, T.F.: Personal communication (2012)"},{"issue":"5","key":"14_CR14","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1017\/S0956796801004075","volume":"11","author":"M. Erwig","year":"2001","unstructured":"Erwig, M.: Inductive graphs and functional graph algorithms. Journal Functional Programming\u00a011(5), 467\u2013492 (2001)","journal-title":"Journal Functional Programming"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00118492","volume":"4","author":"K. Freeman","year":"1996","unstructured":"Freeman, K., Farley, A.M.: A model of argumentation and its application to legal reasoning. Artificial Intelligence and Law\u00a04, 163\u2013197 (1996), 10.1007\/BF00118492","journal-title":"Artificial Intelligence and Law"},{"key":"14_CR16","first-page":"156","volume-title":"Proceedings of the 5th International Conference on Artificial Intelligence and Law (ICAIL-05)","author":"A.M. Farley","year":"1995","unstructured":"Farley, A.M., Freeman, K.: Burden of proof in legal argumentation. In: Proceedings of the 5th International Conference on Artificial Intelligence and Law (ICAIL-05), pp. 156\u2013164. ACM, New York (1995)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1017\/S0269888908001318","volume":"23","author":"D. Bryant","year":"2008","unstructured":"Bryant, D., Krause, P.: A review of current defeasible reasoning implementations. Knowl. Eng. Rev.\u00a023, 227\u2013260 (2008)","journal-title":"Knowl. Eng. Rev."},{"key":"14_CR18","unstructured":"Gordon, T.F.: An overview of the Carneades argumentation support system. In: Tindale, C., Reed, C. (eds.) Dialectics, Dialogue and Argumentation. An Examination of Douglas Walton\u2019s Theories of Reasoning, pp. 145\u2013156. College Publications (2010)"},{"issue":"4","key":"14_CR19","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1017\/S0269888906001044","volume":"21","author":"C. Ches\u00f1evar","year":"2006","unstructured":"Ches\u00f1evar, C., McGinnis, J., Modgil, S., Rahwan, I., Reed, C., Simari, G., South, M., Vreeswijk, G., Willmott, S.: Towards an argument interchange format. The Knowledge Engineering Review\u00a021(4), 293\u2013316 (2006)","journal-title":"The Knowledge Engineering Review"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-0-387-98197-0_19","volume-title":"Argumentation in Artificial Intelligence","author":"I. Rahwan","year":"2009","unstructured":"Rahwan, I., Reed, C.: The argument interchange format. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 383\u2013402. Springer, US (2009)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Bex, F., Modgil, S., Prakken, H., Reed, C.: On logical specifications of the Argument Interchange Format. Journal of Logic and Computation (2012)","DOI":"10.1093\/logcom\/exs033"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Walkingshaw, E., Erwig, M.: A DSEL for Studying and Explaining Causation. In: IFIP Working Conference on Domain Specific Languages (DSL 2011), pp. 143\u2013167 (2011)","DOI":"10.4204\/EPTCS.66.7"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Erwig, M., Walkingshaw, E.: Causal Reasoning with Neuron Diagrams. In: IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 101\u2013108 (2010)","DOI":"10.1109\/VLHCC.2010.23"},{"key":"14_CR24","unstructured":"Lewis, D.: Postscripts to \u2018Causation\u2019. In: Philosophical Papers, vol.\u00a0II, pp. 196\u2013210. Oxford University Press (1986)"},{"key":"14_CR25","unstructured":"Pearl, J.: Bayesian networks: A model of self-activated memory for evidential reasoning. In: Proceedings of the 7th Conference of the Cognitive Science Society, University of California, Irvine, pp. 329\u2013334 (1985)"},{"key":"14_CR26","unstructured":"Grabmair, M., Gordon, T.F., Walton, D.: Probabilistic semantics for the carneades argument model using bayesian networks. In: Proceedings of the 2010 Conference on Computational Models of Argument: Proceedings of COMMA 2010, Amsterdam, The Netherlands, pp. 255\u2013266. IOS Press (2010)"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10506-012-9121-z","volume":"20","author":"J. Keppens","year":"2012","unstructured":"Keppens, J.: Argument diagram extraction from evidential bayesian networks. Artificial Intelligence and Law\u00a020, 109\u2013143 (2012)","journal-title":"Artificial Intelligence and Law"},{"key":"14_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-32261-0_8","volume-title":"Argumentation in Multi-Agent Systems","author":"G.A.W. Vreeswijk","year":"2005","unstructured":"Vreeswijk, G.A.W.: Argumentation in bayesian belief networks. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol.\u00a03366, pp. 111\u2013129. Springer, Heidelberg (2005)"},{"key":"14_CR29","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M. Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence\u00a0171, 286\u2013310 (2007)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40447-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T09:30:16Z","timestamp":1557999016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40447-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404467","9783642404474"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40447-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}