Year: 2013
2013
[17] LEO-II Version 1.5 (Christoph Benzmüller, Nik Sultana), In PxTP 2013 (Jasmin Christian Blanchette, Josef Urban, eds.), EasyChair, EPiC Series in Computing, volume 14, pp. 2-10, 2013. [bibtex] [pdf]
[16] Cut-free Calculi for Challenge Logics in a Lazy Way (Christoph Benzmüller), In Proceedings of the International Workshop on Algebraic Logic in Computer Science (Petr Cintula Carles Noguera Clint van Alten, ed.), 2013. (event-website) [bibtex] [pdf]
[15] Gödel's God on the Computer (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Proceedings of the 10th International Workshop on the Implementation of Logics (S. Schulz, G. Sutcliffe, B. Konev, eds.), 2013. (event-website) ((Invited paper)) [bibtex] [pdf]
[14] Automated Consistency Checking of Expressive Ontologies --- Beware of the Wrong Interpretation of Success! (Christoph Benzmüller, Marco Ziener), In The 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013) (Michael Fink, Martin Homola, Alessandra Mileo, Ivan Jose Varzinczak, eds.), 2013. [bibtex] [pdf]
[13] Implementing Different Proof Calculi for First-order Modal Logics (Christoph Benzmüller, Jens Otten, Thomas Raths), In PAAR-2012 (Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, eds.), EasyChair, EPiC Series in Computing, volume 21, pp. 12-18, 2013. [bibtex] [pdf]
[12] Understanding LEO-II's Proofs (Nik Sultana, Christoph Benzmüller), In IWIL 2012 (Konstantin Korovin, Stephan Schulz, Eugenia Ternovska, eds.), EasyChair, EPiC Series in Computing, volume 22, pp. 33-52, 2013. [bibtex] [pdf]
[11] Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2013. (complete-formalisation) ((not reviewed, superseded by ECAI-2014 paper)) [bibtex] [pdf]
[10] Update report: LEO-II version 1.5 (Christoph Benzmüller, Nik Sultana), In CoRR, volume abs/1303.3761, 2013. [bibtex] [pdf]
[9]CADE 2015 in Berlin: A Proposal (Christoph Benzmüller), 2013. [bibtex]
[8]Automated Verification and Reconstruction of Gödel's Proof of God's Existence (Bruno Woltzenlogel Paleo, Christoph Benzmüller), In OCG Journal, 2013. ((Invited article)) [bibtex]
[7] Gödel's God in Isabelle/HOL (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Archive of Formal Proofs, 2013. (This publication is formally verified with Isabelle/HOL) [bibtex] [pdf]
[6] Sigma: An Integrated Development Environment for Formal Ontology (Adam Pease, Christoph Benzmüller), In AI Communications (Special Issue on Intelligent Engineering Techniques for Knowledge Bases), volume 26, number 1, pp. 79-97, 2013. [bibtex] [pdf] [doi]
[5] Quantified Multimodal Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In Logica Universalis (Special Issue on Multimodal Logics), volume 7, number 1, pp. 7-20, 2013. [bibtex] [pdf] [doi]
[4] HOL based First-order Modal Logic Provers (Christoph Benzmüller, Thomas Raths), In Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, eds.), Springer, LNCS, volume 8312, pp. 127-136, 2013. [bibtex] [pdf] [doi]
[3] Automating Quantified Conditional Logics in HOL (Christoph Benzmüller), In 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) (Francesca Rossi, ed.), AAAI Press, pp. 746-753, 2013. (poster) [bibtex] [pdf]
[2] HOL based Universal Reasoning (Christoph Benzmüller), In Handbook of the 4th World Congress and School on Universal Logic (J.Y. Beziau, A. Buchsbaum, A. Costa-Leite, A. Altair, eds.), pp. 232-233, 2013. (slides) ((Superseded by ICAART-2013 paper)) [bibtex] [pdf]
[1] A Top-down Approach to Combining Logics (Christoph Benzmüller), In Proc. of the 5th International Conference on Agents and Artificial Intelligence (ICAART) (Joaquim Filipe, Ana Fred, eds.), SCITEPRESS -- Science and Technology Publications, Lda, volume 1, pp. 346-351, 2013. (slides) [bibtex] [pdf] [doi]
Powered by bibtexbrowser