Jesse Alama

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 1

Top Topics

Automated Reasoning

Top Venues

AISC/MKM/Calculemus

J. Autom. Reason.

Publications

Hitoshi Omori, Jesse Alama
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2. Stud Logica 106 (6) (2018)
Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta
Automating Leibniz's Theory of Concepts. CADE (2015)
Jesse Alama
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again. Stud Logica 102 (3) (2014)
Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. J. Autom. Reason. 52 (2) (2014)
Jesse Alama
Dialogues for proof search. CoRR (2014)
Sara L. Uckelman, Jesse Alama, Aleks Knoks
A Curious Dialogical Logic and its Composition Problem. J. Philos. Log. 43 (6) (2014)
William Richter, Adam Grabowski, Jesse Alama
Tarski Geometry Axioms. Formaliz. Math. 22 (2) (2014)
Jesse Alama
Dialogues for proof search. ARQNL@IJCAR (2014)
Jesse Alama
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools. CoRR (2014)
Jesse Alama
Some problems with two axiomatizations of discussive logic. CoRR (2014)
Jesse Alama
Proof identity for mere mortals. CoRR (2014)
Jesse Alama
Toward a structure theory for Lorenzen dialogue games. CoRR (2013)
Jesse Alama
Eliciting Implicit Assumptions of Mizar Proofs by Property Omission. J. Autom. Reason. 50 (2) (2013)
Jesse Alama
A machine-assisted view of paraconsistency. CoRR (2013)
Jesse Alama
Complete independence of an axiom system for central translations. CoRR (2013)
Jesse Alama
Sentence complexity of theorems in Mizar. CoRR (2013)
Jesse Alama
Escape to Mizar from ATPs. PAAR@IJCAR (2012)
Jesse Alama
Tipi: A TPTP-based theory development environment emphasizing proof analysis CoRR (2012)
Jesse Alama, Lionel Mamane, Josef Urban
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. AISC/MKM/Calculemus (2012)
Czeslaw Bylinski, Jesse Alama
New Developments in Parsing Mizar. AISC/MKM/Calculemus (2012)
Jesse Alama, Daniel Kühlwein, Josef Urban
Automated and Human Proofs in General Mathematics: An Initial Comparison. LPAR (2012)
Czeslaw Bylinski, Jesse Alama
New developments in parsing Mizar CoRR (2012)
Jesse Alama
Escape to Mizar for ATPs CoRR (2012)
Jesse Alama, Lionel Mamane, Josef Urban
Dependencies in Formal Mathematics CoRR (2011)
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Large Formal Wikis: Issues and Solutions. Calculemus/MKM (2011)
Jesse Alama
Metadata for a wiki of formalized mathematics. MathWikis@ITP (2011)
Jesse Alama, Aleks Knoks, Sara L. Uckelman
Dialogue Games for Classical Logic. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Jesse Alama
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library CoRR (2011)
Jesse Alama
Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission CoRR (2011)
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
Licensing the Mizar Mathematical Library. Calculemus/MKM (2011)
Jesse Alama
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library. Calculemus/MKM (2011)
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Large Formal Wikis: Issues and Solutions CoRR (2011)
Jesse Alama, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods CoRR (2011)
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
Licensing the Mizar Mathematical Library CoRR (2011)
Jesse Alama
Euler's Polyhedron Formula in mizar. ICMS (2010)
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype CoRR (2010)
Jesse Alama, Sara L. Uckelman
Playing Lorenzen Dialogue Games on the Web. LPAR short papers(Yogyakarta) (2010)
Jesse Alama, Sara L. Uckelman
Proof rules for the dialogical logic N. LPAR short papers(Yogyakarta) (2010)
Jesse Alama
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. IWIL@LPAR (2010)
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. AISC/MKM/Calculemus (2010)
Jesse Alama
Euler's Polyhedron Formula. Formaliz. Math. 16 (1-4) (2008)
Jesse Alama
The Vector Space of Subsets of a Set Based on Symmetric Difference. Formaliz. Math. 16 (1-4) (2008)