Bruno Woltzenlogel Paleo

According to our database, Bruno Woltzenlogel Paleo authored at least 39 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Stablecoins: Past, Present, and Future.

Ali Nejadmalayeri, Leon Molchanovsky, Bruno Woltzenlogel Paleo, Rodney W. Prescott

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

2021

Lifting propositional proof compression algorithms to first-order logic.

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo

J. Log. Comput., 2021

2020

Partial Regularization of First-Order Resolution Proofs.

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2019

Greedy pebbling for proof space compression.

Andreas Fellner, Bruno Woltzenlogel Paleo

Int. J. Softw. Tools Technol. Transf., 2019

Complexity of translations from resolution to sequent calculus.

Giselle Reis, Bruno Woltzenlogel Paleo

Math. Struct. Comput. Sci., 2019

2018

Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.

John K. Slaney, Bruno Woltzenlogel Paleo

J. Autom. Reason., 2018

Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.

John K. Slaney, Bruno Woltzenlogel Paleo

J. Autom. Reason., 2018

Sensala: a Dynamic Semantics System for Natural Language Processing.

Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo

Proceedings of the COLING 2018, 2018

2017

Variants of Gödel's Ontological Proof in a Natural Deduction Calculus.

Annika Kanckos, Bruno Woltzenlogel Paleo

Stud Logica, 2017

Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy.

Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo

Logica Universalis, 2017

Reducing redundancy in cut-elimination by resolution.

Bruno Woltzenlogel Paleo

J. Log. Comput., 2017

NP-completeness of small conflict set generation for congruence closure.

Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo

Formal Methods Syst. Des., 2017

Epsilon Terms in Intuitionistic Sequent Calculus.

Bruno Woltzenlogel Paleo, Giselle Reis

FLAP, 2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.

Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE 26, 2017

2016

An Expressive Probabilistic Temporal Logic.

Bruno Woltzenlogel Paleo

CoRR, 2016

The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics.

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Higher-Order Modal Logics: Automation and Applications.

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.

Bruno Woltzenlogel Paleo

Proceedings of the Perspectives of System Informatics, 2015

Interacting with Modal Logics in the Coq Proof Assistant.

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Proceedings of the Computer Science - Theory and Applications, 2015

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses.

Jan Gorzny, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE-25, 2015

2014

On Logic Embeddings and Gödel's God.

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers.

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Skeptik: A Proof Compression System.

Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Formalization, Mechanization and Automation of Gödel's Proof of God's Existence.

Christoph Benzmüller, Bruno Woltzenlogel Paleo

CoRR, 2013

Gödel's God in Isabelle/HOL.

Christoph Benzmueller, Bruno Woltzenlogel Paleo

Arch. Formal Proofs, 2013

Compression of Propositional Resolution Proofs by Lowering Subproofs.

Joseph Boudou, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Contextual Natural Deduction.

Bruno Woltzenlogel Paleo

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

PROOFTOOL: a GUI for the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Physics and proof theory.

Bruno Woltzenlogel Paleo

Appl. Math. Comput., 2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

Towards CERes in intuitionistic logic.

Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Quantifier Inference Rules for SMT proofs.

David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo

Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Compression of Propositional Resolution Proofs via Partial Regularization.

Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

Exploiting Symmetry in SMT Problems.

David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Atomic Cut Introduction by Resolution: Proof Structuring and Compression.

Bruno Woltzenlogel Paleo

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

System Description: The Proof Transformation System CERES.

Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

A Clausal Approach to Proof Analysis in Second-Order Logic.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Transforming and Analyzing Proofs in the CERES-System.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the LPAR 2008 Workshops, 2008

Herbrand Sequent Extraction.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008