Παρακολούθηση
Bruno Woltzenlogel Paleo
Bruno Woltzenlogel Paleo
.
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα logic.at - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1192014
Automation of higher-order logic
C Benzmüller, D Miller
Handbook of the History of Logic 9, 215-254, 2014
882014
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
822016
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies
J Zahnentferner
Cryptology ePrint Archive, 2018
742018
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
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
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
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
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
222018
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
Compression of propositional resolution proofs by lowering subproofs
J Boudou, B Woltzenlogel Paleo
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20