{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:36:07Z","timestamp":1725888967813},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319600444"},{"type":"electronic","value":"9783319600451"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60045-1_35","type":"book-chapter","created":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T10:59:11Z","timestamp":1496401151000},"page":"328-338","source":"Crossref","is-referenced-by-count":0,"title":["dARe \u2013 Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base"],"prefix":"10.1007","author":[{"given":"Adam","family":"Wyner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Strass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,3]]},"reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-40381-1_7","volume-title":"Scalable Uncertainty Management","author":"L Amgoud","year":"2013","unstructured":"Amgoud, L., Besnard, P.: A formal characterization of the outcomes of rule-based argumentation systems. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS (LNAI), vol. 8078, pp. 78\u201391. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40381-1_7"},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-319-23540-0_18","volume-title":"Scalable Uncertainty Management","author":"L Amgoud","year":"2015","unstructured":"Amgoud, L., Nouioua, F.: Undercutting in argumentation systems. In: Beierle, C., Dekhtyar, A. (eds.) SUM 2015. LNCS (LNAI), vol. 9310, pp. 267\u2013281. Springer, Cham (2015). doi: 10.1007\/978-3-319-23540-0_18"},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.2985","volume":"38","author":"I Androutsopoulos","year":"2010","unstructured":"Androutsopoulos, I., Malakasiotis, P.: A survey of paraphrasing and textual entailment methods. J. Artif. Intell. Res. 38, 135\u2013187 (2010)","journal-title":"J. Artif. Intell. Res."},{"key":"35_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1715-9","volume-title":"Reference to Abstract Objects in Discourse","author":"N Asher","year":"1993","unstructured":"Asher, N.: Reference to Abstract Objects in Discourse. Kluwer Academic Publishers, Amsterdam (1993)"},{"issue":"20","key":"35_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Log. Program. 19(20), 73\u2013148 (1994)","journal-title":"J. Log. Program."},{"key":"35_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"issue":"5\u20136","key":"35_CR7","doi-asserted-by":"crossref","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. Artif. Intell. 171(5\u20136), 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"key":"35_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2015.12.004","volume":"233","author":"R Craven","year":"2016","unstructured":"Craven, R., Toni, F.: Argument graphs and assumption-based argumentation. Artif. Intell. 233, 1\u201359 (2016)","journal-title":"Artif. Intell."},{"issue":"2","key":"35_CR9","doi-asserted-by":"crossref","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\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"35_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0004-3702(01)00134-5","volume":"133","author":"PM Dung","year":"2001","unstructured":"Dung, P.M., Son, T.C.: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1\u20132), 35\u201385 (2001)","journal-title":"Artif. Intell."},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-41498-0_2","volume-title":"Controlled Natural Language","author":"NE Fuchs","year":"2016","unstructured":"Fuchs, N.E.: Reasoning in attempto controlled english: non-monotonicity. In: Davis, B., Pace, G.J.J., Wyner, A. (eds.) CNL 2016. LNCS (LNAI), vol. 9767, pp. 13\u201324. Springer, Cham (2016). doi: 10.1007\/978-3-319-41498-0_2"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"NE Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto controlled english for knowledge representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104\u2013124. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85658-0_3"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Guy, S., Schwitter, R.: The PENG $$^{{ASP}}$$ system: architecture, language and authoring tool. Lang. Resour. Eval. 1\u201326 (2016)","DOI":"10.1007\/s10579-016-9338-7"},{"key":"35_CR14","volume-title":"From Discourse to Logic: Introduction to Model-Theoretic Semantics of Natural Language: Formal Logic and Discourse Representation Theory","author":"H Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-Theoretic Semantics of Natural Language: Formal Logic and Discourse Representation Theory. Springer, Dordrecht (1993)"},{"key":"35_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199234684.001.0001","volume-title":"Modals and Conditionals","author":"A Kratzer","year":"2012","unstructured":"Kratzer, A.: Modals and Conditionals. Oxford University Press, Oxford (2012)"},{"key":"35_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-72982-2_24","volume-title":"Web Reasoning and Rule Systems","author":"T Kuhn","year":"2007","unstructured":"Kuhn, T.: AceRules: executing rules in controlled natural language. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 299\u2013308. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72982-2_24"},{"issue":"1","key":"35_CR17","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121\u2013170 (2014)","journal-title":"Comput. Linguist."},{"issue":"2","key":"35_CR18","doi-asserted-by":"crossref","first-page":"10:1","DOI":"10.1145\/2850417","volume":"16","author":"M Lippi","year":"2016","unstructured":"Lippi, M., Torroni, P.: Argumentation mining: state of the art and emerging trends. ACM Trans. Internet Technol. 16(2), 10:1\u201310:25 (2016)","journal-title":"ACM Trans. Internet Technol."},{"key":"35_CR19","unstructured":"Mott, D.: The ITA controlled english report (Prolog version). Technical report, Emerging Technology Services, Hursley, IBM UK (2016)"},{"key":"35_CR20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1093\/lpr\/mgm014","volume":"6","author":"JL Pollock","year":"2007","unstructured":"Pollock, J.L.: Reasoning and probability. Law Prob. Risk 6, 43\u201358 (2007)","journal-title":"Law Prob. Risk"},{"issue":"2","key":"35_CR21","doi-asserted-by":"crossref","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. Argum. Comput. 1(2), 93\u2013124 (2010)","journal-title":"Argum. Comput."},{"key":"35_CR22","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver, D., Huang, A., Maddison, C.J., Guez, A., Sifre, L., van den Driessche, G., Schrittwieser, J., Antonoglou, I., Panneershelvam, V., Lanctot, M., Dieleman, S., Grewe, D., Nham, J., Kalchbrenner, N., Sutskever, I., Lillicrap, T., Leach, M., Kavukcuoglu, K., Graepel, T., Hassabis, D.: Mastering the game of Go with deep neural networks and tree search. Nature 529, 484\u2013489 (2016)","journal-title":"Nature"},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Strass, H.: Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. J. Log. Comput. (2015)","DOI":"10.1093\/logcom\/exv004"},{"key":"35_CR24","unstructured":"Strass, H., Wyner, A.: On automated defeasible reasoning with controlled natural language and argumentation. In: AAAI-17 Workshop on knowledge-based Techniques for Problem Solving and Reasoning (KnowProS 2017), February 2017"},{"key":"35_CR25","doi-asserted-by":"crossref","unstructured":"Toniolo, A., Preece, A.D., Webberley, W., Norman, T.J., Sullivan, P., Dropps, T.: Conversational intelligence analysis. In: Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, 4\u20137 January 2016, pp. 42:1\u201342:6 (2016)","DOI":"10.1145\/2833312.2849568"},{"issue":"1","key":"35_CR26","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1080\/19462166.2014.1002535","volume":"6","author":"A Wyner","year":"2015","unstructured":"Wyner, A., Bench-Capon, T., Dunne, P., Cerutti, F.: Senses of \u2018argument\u2019 in instantiated argumentation frameworks. Argum. Comput. 6(1), 50\u201372 (2015)","journal-title":"Argum. Comput."},{"key":"35_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-15172-9_5","volume-title":"Electronic Government and the Information Systems Perspective","author":"A Wyner","year":"2010","unstructured":"Wyner, A., Engers, T., Bahreini, K.: From policy-making statements to first-order logic. In: Andersen, K.N., Francesconi, E., Gr\u00f6nlund, \u00c5., Engers, T.M. (eds.) EGOVIS 2010. LNCS, vol. 6267, pp. 47\u201361. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15172-9_5"},{"issue":"1","key":"35_CR28","doi-asserted-by":"crossref","first-page":"69","DOI":"10.3233\/AAC-160002","volume":"7","author":"AZ Wyner","year":"2016","unstructured":"Wyner, A.Z., van Engers, T.M., Hunter, A.: Working on the argument pipeline: through flow issues between natural language argument, instantiated arguments, and argumentation frameworks. Argum. Comput. 7(1), 69\u201389 (2016)","journal-title":"Argum. Comput."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence: From Theory to Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60045-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T05:34:40Z","timestamp":1602221680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60045-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319600444","9783319600451"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60045-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}