Bruno Woltzenlogel Paleo

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 19

Top Topics

Universally Quantified

Natural Deduction

Top Venues

J. Autom. Reason.

J. Log. Comput.

Publications

Ali Nejadmalayeri, Leon Molchanovsky, Bruno Woltzenlogel Paleo, Rodney W. Prescott
Stablecoins: Past, Present, and Future. FC Workshops (2023)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Lifting propositional proof compression algorithms to first-order logic. J. Log. Comput. 31 (8) (2021)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Partial Regularization of First-Order Resolution Proofs. GCAI (2020)
Andreas Fellner, Bruno Woltzenlogel Paleo
Greedy pebbling for proof space compression. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Giselle Reis, Bruno Woltzenlogel Paleo
Complexity of translations from resolution to sequent calculus. Math. Struct. Comput. Sci. 29 (8) (2019)
John Slaney, Bruno Woltzenlogel Paleo
Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. 60 (2) (2018)
Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo
Sensala: a Dynamic Semantics System for Natural Language Processing. COLING (Demos) (2018)
John Slaney, Bruno Woltzenlogel Paleo
Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. 60 (4) (2018)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Partial Regularization of First-Order Resolution Proofs. CoRR (2018)
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
NP-completeness of small conflict set generation for congruence closure. Formal Methods Syst. Des. 51 (3) (2017)
Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo
Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Logica Universalis 11 (1) (2017)
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CADE (2017)
Annika Kanckos, Bruno Woltzenlogel Paleo
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus. Stud Logica 105 (3) (2017)
Bruno Woltzenlogel Paleo, Giselle Reis
Epsilon Terms in Intuitionistic Sequent Calculus. FLAP 4 (2) (2017)
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CoRR (2017)
Bruno Woltzenlogel Paleo
Reducing redundancy in cut-elimination by resolution. J. Log. Comput. 27 (2) (2017)
Bruno Woltzenlogel Paleo
An Expressive Probabilistic Temporal Logic. CoRR (2016)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. IJCAI (2016)
John Slaney, Bruno Woltzenlogel Paleo
Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. CoRR (2016)
Bruno Woltzenlogel Paleo
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. Ershov Memorial Conference (2015)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Interacting with Modal Logics in the Coq Proof Assistant. CSR (2015)
Jan Gorzny, Bruno Woltzenlogel Paleo
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. CADE (2015)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Higher-Order Modal Logics: Automation and Applications. Reasoning Web (2015)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. ECAI (2014)
Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
Skeptik: A Proof Compression System. IJCAR (2014)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
On Logic Embeddings and Gödel's God. WADT (2014)
Joseph Boudou, Bruno Woltzenlogel Paleo
Compression of Propositional Resolution Proofs by Lowering Subproofs. TABLEAUX (2013)
Christoph Benzmueller, Bruno Woltzenlogel Paleo
Gödel's God in Isabelle/HOL. Arch. Formal Proofs 2013 (2013)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. CoRR (2013)
Bruno Woltzenlogel Paleo
Contextual Natural Deduction. LFCS (2013)
Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo
Towards CERes in intuitionistic logic. CSL (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
System Feature Description: Importing Refutations into the GAPT Framework. PxTP (2012)
Bruno Woltzenlogel Paleo
Physics and proof theory. Appl. Math. Comput. 219 (1) (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
PROOFTOOL: a GUI for the GAPT Framework. UITP (2012)
David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
Exploiting Symmetry in SMT Problems. CADE (2011)
David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo
Quantifier Inference Rules for SMT proofs. PxTP (2011)
Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
Compression of Propositional Resolution Proofs via Partial Regularization. CADE (2011)
Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
System Description: The Proof Transformation System CERES. IJCAR (2010)
Bruno Woltzenlogel Paleo
Atomic Cut Introduction by Resolution: Proof Structuring and Compression. LPAR (Dakar) (2010)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
A Clausal Approach to Proof Analysis in Second-Order Logic. LFCS (2009)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops (2008)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
Herbrand Sequent Extraction. AISC/MKM/Calculemus (2008)