| Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers C Benzmüller, B Woltzenlogel Paleo ECAI 2014, 93-98, 2014 | 119 | 2014 |
| Automation of higher-order logic C Benzmüller, D Miller Handbook of the History of Logic 9, 215-254, 2014 | 88 | 2014 |
| The inconsistency in Gödel's ontological argument: A success story for ai in metaphysics C Benzmüller, BW Paleo Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016 | 82 | 2016 |
| Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies J Zahnentferner Cryptology ePrint Archive, 2018 | 74 | 2018 |
| The Brazilian spherical detector: progress and plans OD Aguiar, LA Andrade, JJ Barroso, L Camargo Filho, LA Carneiro, ... Classical and Quantum Gravity 21 (5), S457, 2004 | 65 | 2004 |
| Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo International Conference on Automated Deduction, 222-236, 2011 | 62 | 2011 |
| Herbrand sequent extraction S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008 | 51 | 2008 |
| Computer-assisted analysis of the Anderson–Hájek ontological controversy C Benzmüller, L Weber, B Woltzenlogel Paleo Logica Universalis 11 (1), 139-151, 2017 | 50 | 2017 |
| The Brazilian gravitational wave detector Mario Schenberg: progress and plans OD Aguiar, LA Andrade, JJ Barroso, F Bortoli, LA Carneiro, PJ Castro, ... Classical and Quantum Gravity 22 (10), S209, 2005 | 49 | 2005 |
| Interacting with modal logics in the coq proof assistant C Benzmüller, B Woltzenlogel Paleo International Computer Science Symposium in Russia, 398-411, 2015 | 40 | 2015 |
| Compression of propositional resolution proofs via partial regularization P Fontaine, S Merz, B Woltzenlogel Paleo Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 35 | 2011 |
| Higher-order modal logics: Automation and applications C Benzmüller, B Woltzenlogel Paleo Reasoning Web International Summer School, 32-74, 2015 | 32 | 2015 |
| Gödel’s God in Isabelle/HOL C Benzmüller, BW Paleo Archive of Formal Proofs 2013, 2013 | 29 | 2013 |
| Atomic cut introduction by resolution: Proof structuring and compression B Woltzenlogel Paleo International Conference on Logic for Programming Artificial Intelligence …, 2010 | 26 | 2010 |
| Quantifier Inference Rules for SMT proofs D Deharbe, P Fontaine, BW Paleo PxTP 2011: First International Workshop on Proof eXchange for Theorem …, 2011 | 25 | 2011 |
| Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning J Slaney, B Woltzenlogel Paleo Journal of Automated Reasoning 60, 133-156, 2018 | 22 | 2018 |
| ProofTool: GUI for the GAPT Framework C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ... User Interfaces for Theorem Provers, 2012 | 22 | 2012 |
| An approximate gazetteer for GATE based on levenshtein distance BW Paleo Twelfth ESSLLI Student Session, 197, 2007 | 22 | 2007 |
| Formalization, Mechanization and Automation of G\" odel's Proof of God's Existence C Benzmüller, BW Paleo arXiv preprint arXiv:1308.4526, 2013 | 21 | 2013 |
| Compression of propositional resolution proofs by lowering subproofs J Boudou, B Woltzenlogel Paleo International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 19 | 2013 |
Christoph BenzmüllerProfessor for AI Systems Engineering, University of Bambergfu-berlin.de의 이메일 확인됨