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, B Woltzenlogel Paleo
ECAI 2014, 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
782016
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies
J Zahnentferner
Cryptology ePrint Archive, 2018
672018
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
582011
Herbrand sequent extraction
S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008
512008
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
492005
Interacting with modal logics in the coq proof assistant
C Benzmüller, B Woltzenlogel Paleo
International Computer Science Symposium in Russia, 398-411, 2015
402015
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
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
212018
An approximate gazetteer for GATE based on levenshtein distance
BW Paleo
Twelfth ESSLLI Student Session, 197, 2007
212007
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