Year: 2013
[11]A Top-down Approach to Combining Logics (Christoph Benzmüller), 5th International Conference on Agents and Artificial Intelligence, Barcelona, Spain, 2013. (slides)
[10]HOL based Universal Reasoning (Christoph Benzmüller), 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, 2013. (slides)
[9]Cut-free calculi for challenge logics in a lazy way (Christoph Benzmüller), International Workshop on Algebraic Logic in Computer Science (ALCS 2013), Stellenbosch, South Africa, 2013. (slides)
[8](Invited keynote) Gödel's God on the Computer (Christoph Benzmüller), The 10th International Workshop on the Implementation of Logics (IWIL 2013), Stellenbosch, South Africa, 2013. (slides)
[7]HOL based First-order Modal Logic Provers (Christoph Benzmüller), The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2013), Stellenbosch, South Africa, 2013. (slides)
[6]Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Informatik Kolloquium, Freie Universität Berlin, Germany, 2013. (slides)
[5]Automating Quantified Conditional Logics is (relatively) Easy (Christoph Benzmüller), Deduktionstreffen 2013, Koblenz, Germany, 2013. (slides)
[4]Automated Consistency Checking of Expressive Ontologies --- Beware of the Wrong Interpretation of Success! (Christoph Benzmüller), The 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013), Corunna, Spain, 2013. (slides)
[3]Automating Quantified Conditional Logics in HOL (Christoph Benzmüller), 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 2013. (poster)
[2]The Watson System -- An Overview (Christoph Benzmüller), Freie Universität Berlin, Germany, 2013.
[1]LEO-II version 1.5 (Christoph Benzmüller), Third International Workshop on Proof Exchange for Theorem Proving (PxTP 2013), Lake Placid, NY, USA, 2013. (slides)
Powered by bibtexbrowser