@techreport{R71,
  Author =	 {David Fuenmayor and Christoph Benzm{\"u}ller},
  Keywords =	 {own, Computational Hermeneutics, Higher Order Logic,
                  Universal Reasoning, Rational Argumentation,
                  Human-Machine Interaction},
  Title =	 {Computational Hermeneutics: Using Computers for the
                  Logical Analysis of Natural-Language Arguments},
  Note =	 {2nd Chinese Conference on Logic and Argumentation,
                  16-17 June, Hangzhou, China, 2018, Informal
                  Proceedings},
  Institution =  {University of Luxembourg and Freie Universität Berlin},
  url = {http://christoph-benzmueller.de/papers/R71.pdf},
  year =	 2018,
}

{"_id":"4RW8k8yT7rE4cFiL3","bibbaseid":"fuenmayor-benzmller-computationalhermeneuticsusingcomputersforthelogicalanalysisofnaturallanguagearguments-2018","author_short":["Fuenmayor, D.","Benzmüller, C."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Fuenmayor"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"keywords":"own, Computational Hermeneutics, Higher Order Logic, Universal Reasoning, Rational Argumentation, Human-Machine Interaction","title":"Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments","note":"2nd Chinese Conference on Logic and Argumentation, 16-17 June, Hangzhou, China, 2018, Informal Proceedings","institution":"University of Luxembourg and Freie Universität Berlin","url":"http://christoph-benzmueller.de/papers/R71.pdf","year":"2018","bibtex":"@techreport{R71,\n Author =\t {David Fuenmayor and Christoph Benzm{\\\"u}ller},\n Keywords =\t {own, Computational Hermeneutics, Higher Order Logic,\n Universal Reasoning, Rational Argumentation,\n Human-Machine Interaction},\n Title =\t {Computational Hermeneutics: Using Computers for the\n Logical Analysis of Natural-Language Arguments},\n Note =\t {2nd Chinese Conference on Logic and Argumentation,\n 16-17 June, Hangzhou, China, 2018, Informal\n Proceedings},\n Institution = {University of Luxembourg and Freie Universität Berlin},\n url = {http://christoph-benzmueller.de/papers/R71.pdf},\n year =\t 2018,\n}\n\n","author_short":["Fuenmayor, D.","Benzmüller, C."],"key":"R71","id":"R71","bibbaseid":"fuenmayor-benzmller-computationalhermeneuticsusingcomputersforthelogicalanalysisofnaturallanguagearguments-2018","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/R71.pdf"},"keyword":["own","Computational Hermeneutics","Higher Order Logic","Universal Reasoning","Rational Argumentation","Human-Machine Interaction"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","computational hermeneutics","higher order logic","universal reasoning","rational argumentation","human-machine interaction"],"search_terms":["computational","hermeneutics","using","computers","logical","analysis","natural","language","arguments","fuenmayor","benzmüller"],"title":"Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments","year":2018,"downloads":1}