Follow
Bruno Woltzenlogel Paleo
Bruno Woltzenlogel Paleo
.
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers.
C Benzmüller, BW Paleo
ECAI 263, 93-98, 2014
1152014
Automation of higher-order logic
C Benzmüller, D Miller
Handbook of the History of Logic 9, 215-254, 2014
892014
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
772016
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies
J Zahnentferner
Cryptology ePrint Archive, 2018
622018
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
622004
Exploiting symmetry in SMT problems
D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo
International Conference on Automated Deduction, 222-236, 2011
572011
Herbrand sequent extraction
S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008
502008
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
492017
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
482005
Interacting with modal logics in the coq proof assistant
C Benzmüller, B Woltzenlogel Paleo
International Computer Science Symposium in Russia, 398-411, 2015
392015
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
352011
Higher-order modal logics: Automation and applications
C Benzmüller, B Woltzenlogel Paleo
Reasoning Web International Summer School, 32-74, 2015
322015
Gödel’s God in Isabelle/HOL
C Benzmüller, BW Paleo
Archive of Formal Proofs 2013, 2013
292013
Atomic cut introduction by resolution: Proof structuring and compression
B Woltzenlogel Paleo
International Conference on Logic for Programming Artificial Intelligence …, 2010
272010
Quantifier Inference Rules for SMT proofs
D Deharbe, P Fontaine, BW Paleo
PxTP 2011: First International Workshop on Proof eXchange for Theorem …, 2011
252011
ProofTool: GUI for the GAPT Framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
User Interfaces for Theorem Provers, 2012
222012
An approximate gazetteer for GATE based on levenshtein distance
BW Paleo
Twelfth ESSLLI Student Session, 197, 2007
212007
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
202018
Formalization, Mechanization and Automation of G\" odel's Proof of God's Existence
C Benzmüller, BW Paleo
arXiv preprint arXiv:1308.4526, 2013
202013
Compression of propositional resolution proofs by lowering subproofs
J Boudou, B Woltzenlogel Paleo
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
The system can't perform the operation now. Try again later.
Articles 1–20