Folgen
Bruno Woltzenlogel Paleo
Bruno Woltzenlogel Paleo
.
Bestätigte E-Mail-Adresse bei logic.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1212014
Automation of higher-order logic
C Benzmüller, D Miller
Handbook of the History of Logic 9, 215-254, 2014
902014
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
852016
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies
J Zahnentferner
Cryptology ePrint Archive, 2018
762018
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
652004
Exploiting symmetry in SMT problems
D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo
International Conference on Automated Deduction, 222-236, 2011
622011
Herbrand sequent extraction
S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008
522008
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
502017
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
332015
Gödel’s God in Isabelle/HOL
C Benzmüller, BW Paleo
Archive of Formal Proofs 2013, 2013
302013
Atomic cut introduction by resolution: Proof structuring and compression
B Woltzenlogel Paleo
International Conference on Logic for Programming Artificial Intelligence …, 2010
262010
Quantifier Inference Rules for SMT proofs
D Deharbe, P Fontaine, BW Paleo
PxTP 2011: First International Workshop on Proof eXchange for Theorem …, 2011
252011
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
242018
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
222007
Formalization, Mechanization and Automation of G\" odel's Proof of God's Existence
C Benzmüller, BW Paleo
arXiv preprint arXiv:1308.4526, 2013
212013
An abstract model of UTxO-based cryptocurrencies with scripts
J Zahnentferner
Cryptology ePrint Archive, 2018
192018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20