{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:52:58Z","timestamp":1742939578062,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030446376"},{"type":"electronic","value":"9783030446383"}],"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-44638-3_7","type":"book-chapter","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T21:02:41Z","timestamp":1585342961000},"page":"104-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computer-Supported Analysis of Arguments in Climate Engineering"],"prefix":"10.1007","author":[{"given":"David","family":"Fuenmayor","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Benzm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,28]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.scico.2018.10.008","volume":"172","author":"C Benzm\u00fcller","year":"2019","unstructured":"Benzm\u00fcller, C.: Universal (meta-)logical reasoning: recent successes. Sci. Comput. Program. 172, 48\u201362 (2019)","journal-title":"Sci. Comput. Program."},{"key":"7_CR2","unstructured":"Benzm\u00fcller, C., Andrews, P.: Church\u2019s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2019 edn. (2019)"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11787-012-0052-y","volume":"7","author":"C Benzm\u00fcller","year":"2013","unstructured":"Benzm\u00fcller, C., Paulson, L.C.: Quantified multimodal logics in simple type theory. Log. Univers. (Special Issue on Multimodal Logics) 7(1), 7\u201320 (2013). \nhttps:\/\/doi.org\/10.1007\/s11787-012-0052-y","journal-title":"Log. Univers. (Special Issue on Multimodal Logics)"},{"key":"7_CR4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262026437.001.0001","volume-title":"Elements of Argumentation","author":"P Besnard","year":"2008","unstructured":"Besnard, P., Hunter, A.: Elements of Argumentation, vol. 47. MIT Press, Cambridge (2008)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1080\/19462166.2013.869765","volume":"5","author":"P Besnard","year":"2014","unstructured":"Besnard, P., Hunter, A.: Constructing argument graphs with deductive arguments: a tutorial. Argum. Comput. 5(1), 5\u201330 (2014)","journal-title":"Argum. Comput."},{"key":"7_CR6","volume-title":"Ethical Aspects of Climate Engineering","author":"G Betz","year":"2012","unstructured":"Betz, G., Cacean, S.: Ethical Aspects of Climate Engineering. KIT Scientific Publishing, Karlsruhe (2012)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-14052-5_11","volume-title":"Interactive Theorem Proving","author":"JC Blanchette","year":"2010","unstructured":"Blanchette, J.C., Nipkow, T.: Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 131\u2013146. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14052-5_11"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10817-013-9278-5","volume":"51","author":"JC Blanchette","year":"2013","unstructured":"Blanchette, J.C., B\u00f6hme, S., Paulson, L.C.: Extending Sledgehammer with SMT solvers. J. Autom. Reasoning 51(1), 109\u2013128 (2013). \nhttps:\/\/doi.org\/10.1007\/s10817-013-9278-5","journal-title":"J. Autom. Reasoning"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-0-387-98197-0_4","volume-title":"Argumentation in Artificial Intelligence","author":"C Cayrol","year":"2009","unstructured":"Cayrol, C., Lagasquie-Schiex, M.C.: Bipolar abstract argumentation systems. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 65\u201384. Springer, Boston (2009). \nhttps:\/\/doi.org\/10.1007\/978-0-387-98197-0_4"},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/0199246297.001.0001","volume-title":"Inquiries into Truth and Interpretation: Philosophical Essays","author":"D Davidson","year":"2001","unstructured":"Davidson, D.: Inquiries into Truth and Interpretation: Philosophical Essays, vol. 2. Oxford University Press, Oxford (2001)"},{"issue":"2","key":"7_CR11","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\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-0-387-98197-0_10","volume-title":"Argumentation in Artificial Intelligence","author":"PM Dung","year":"2009","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 199\u2013218. Springer, Boston (2009). \nhttps:\/\/doi.org\/10.1007\/978-0-387-98197-0_10"},{"key":"7_CR13","series-title":"Studies in Applied Philosophy, Epistemology and Rational Ethics","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-030-32722-4_25","volume-title":"Model-Based Reasoning in Science and Technology","author":"D Fuenmayor","year":"2019","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: A computational-hermeneutic approach for conceptual explicitation. In: Nepomuceno-Fern\u00e1ndez, \u00c1., Magnani, L., Salguero-Lamillar, F.J., Bar\u00e9s-G\u00f3mez, C., Fontaine, M. (eds.) MBR 2018. SAPERE, vol. 49, pp. 441\u2013469. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-32722-4_25"},{"key":"7_CR14","series-title":"Logic in Asia: Studia Logica Library","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-981-13-7791-4_9","volume-title":"Dynamics, Uncertainty and Reasoning","author":"D Fuenmayor","year":"2019","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. In: Liao, B., \u00c5gotnes, T., Wang, Y.N. (eds.) CLAR 2018. LASLL, pp. 187\u2013207. Springer, Singapore (2019). \nhttps:\/\/doi.org\/10.1007\/978-981-13-7791-4_9"},{"key":"7_CR15","unstructured":"Janssen, T.M.V.: Montague semantics. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, spring 2020 edn. (2020)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL. LNCS, vol. 2283. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"7_CR17","first-page":"349","volume-title":"Argumentation-Based Proofs of Endearment. Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday","author":"H Prakken","year":"2018","unstructured":"Prakken, H.: Modelling support relations between arguments in debates. In: Ches\u00f1evar, C., Falappa, M., Ferme, E. (eds.) Argumentation-Based Proofs of Endearment. Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday, pp. 349\u2013365. College Publications, London (2018)"}],"container-title":["Lecture Notes in Computer Science","Logic and Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44638-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T03:07:52Z","timestamp":1585364872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-44638-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030446376","9783030446383"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44638-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"28 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CLAR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic and Argumentation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"6 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"clar2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.xixilogic.org\/events\/clar2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}