Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (Abstract) (bibtex)
by David Fuenmayor, Christoph Benzmüller (PhD Advisor)
Reference:
Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller (PhD Advisor)), 2018. (Doctoral Consortium, RuleML+RR 2018, preprint: http://christoph-benzmueller.de/papers/R68.pdf)
Bibtex Entry:
@unpublished{R68,
  Author =	 {David Fuenmayor and Christoph Benzm{\"u}ller (PhD
                  Advisor)},
  Keywords =	 {own, Computational Hermeneutics, Higher Order Logic,
                  Universal Reasoning, Rational Argumentation,
                  Human-Machine Interaction},
  Title =	 {Computational Hermeneutics: Using Automated
                  Reasoning for the Logical Analysis of
                  Natural-Language Arguments (Abstract)},
  Note =	 {Doctoral Consortium, RuleML+RR 2018, preprint:
                  \url{http://christoph-benzmueller.de/papers/R68.pdf}},
  year =	 2018,
}
Powered by bibtexbrowser