Year: 2015
2015
[14](Invited keynote) On a (Quite) Universal Theorem Proving Approach and its Application to Metaphysics (Christoph Benzmüller), Tableaux 2015, Wroclaw, Poland, 2015. (slides)
[13](Invited lecture course) Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), The 11th Reasoning Web Summer School, 2015. (slides)
[12](Invited) Experiments in Computational Metaphysics (Christoph Benzmüller), SRI International, Menlo Park, USA, 2015. (December)
[11](Invited lecture course) Higher-Order Modal Logics (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Logic Summer School, ANU Canberra, Australia, 2015. (slides)
[10](Invited keynote) Experiments in Computational Metaphysics (Christoph Benzmüller), 9th All India Students' Conference on Science and Spiritual Quest (AISSQ), IIT Kharagpur, India, 2015. (slides)
[9](Invited) Experiments in Computational Metaphysics (Christoph Benzmüller), Computational Logic Seminar (MUGS), Stanford University, USA, 2015. (October)
[8](Invited) Higher-Order Proofs and Models -- Examples from Meta-Logical Reasoning and Metaphysics (Christoph Benzmüller), Dagstuhl Seminar 15381 --- Deduction: Models and Proofs, 2015. (October)
[7](Invited) ''Gottesbeweis'' reloaded --- Analyzing Variants of the Ontological Argument with the Computer (Christoph Benzmüller), Lange Nacht der Wissenschaften, Berlin, Germany, 2015. (slides)
[6]Einführung in die Komplexitätsklassen P und NP (Christoph Benzmüller), Universität Leipzig, 2015.
[5](Invited) Towards Computational Metaphysics (Christoph Benzmüller), Universität Leipzig, 2015.
[4](Invited keynote) Gödel's Ontological Argument Revisited -- Findings from a Computer-supported Analysis (Christoph Benzmüller), 1st World Congress on Logic and Religion, João Pessoa, Brazil, 2015. (slides)
[3](Invited) Towards Computational Metaphysics --- Bridging between Mathematical Logic, Artificial Intelligence and Philosophy (Christoph Benzmüller), Berlin Mathematical School, lecture series on 'Bridges between mathematics and its applications', Technical University Berlin, Germany, 2015.
[2]Der ABox-Vervollständigungsalgorithmus für ALC (Christoph Benzmüller), Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany, 2015.
[1](Invited) Towards Computational Metaphysics --- Techniques and Tools for Knowledge Representation and Reasoning in Expressive Ontologies (Christoph Benzmüller), Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany, 2015.
Powered by bibtexbrowser