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
1022014
Automation of Higher-Order Logic.
C Benzmüller, D Miller
Computational Logic 9, 215-254, 2014
772014
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
662016
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
632004
Herbrand sequent extraction
S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo
International Conference on Intelligent Computer Mathematics, 462-477, 2008
502008
Exploiting symmetry in SMT problems
D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo
International Conference on Automated Deduction, 222-236, 2011
492011
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
472017
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
462005
Compression of propositional resolution proofs via partial regularization
P Fontaine, S Merz, B Woltzenlogel Paleo
International Conference on Automated Deduction, 237-251, 2011
342011
Higher-order modal logics: Automation and applications
C Benzmüller, B Woltzenlogel Paleo
Reasoning Web International Summer School, 32-74, 2015
302015
Interacting with modal logics in the coq proof assistant
C Benzmüller, B Woltzenlogel Paleo
International Computer Science Symposium in Russia, 398-411, 2015
292015
Gödel’s God in Isabelle/HOL
C Benzmüller, BW Paleo
Archive of Formal Proofs 2013, 2013
262013
Quantifier Inference Rules for SMT proofs
D Deharbe, P Fontaine, BW Paleo
PxTP 2011: First International Workshop on Proof eXchange for Theorem …, 2011
252011
Atomic cut introduction by resolution: Proof structuring and compression
B Woltzenlogel Paleo
International Conference on Logic for Programming Artificial Intelligence …, 2010
242010
ProofTool: GUI for the GAPT Framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
User Interfaces for Theorem Provers, 2012
202012
Compression of propositional resolution proofs by lowering subproofs
J Boudou, B Woltzenlogel Paleo
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
Herbrand Sequent Extraction
BW Paleo
VDM Publishing, 2008
192008
Formalization, Mechanization and Automation of G\" odel's Proof of God's Existence
C Benzmüller, BW Paleo
arXiv preprint arXiv:1308.4526, 2013
182013
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 (2), 133-156, 2018
172018
Skeptik: A proof compression system
J Boudou, A Fellner, B Woltzenlogel Paleo
International Joint Conference on Automated Reasoning, 374-380, 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20