Keywords: Human-Machine Interaction
2017
[2] Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In arXiv, http://arxiv.org/abs/1703.09620, 2017. [bibtex] [pdf]
[1] Universal Reasoning, Rational Argumentation and Human-Machine Interaction (Christoph Benzmüller), In arXiv, http://arxiv.org/abs/1703.09620, 2017. [bibtex] [pdf]
Powered by bibtexbrowser