Jesse Alama

According to our database, Jesse Alama authored at least 34 papers between 2008 and 2018.

Collaborative distances:

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

2018

Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2.

Hitoshi Omori, Jesse Alama

Stud Logica, 2018

2015

Automating Leibniz's Theory of Concepts.

Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta

Proceedings of the Automated Deduction - CADE-25, 2015

2014

The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.

Jesse Alama

Stud Logica, 2014

A Curious Dialogical Logic and its Composition Problem.

Sara L. Uckelman, Jesse Alama, Aleks Knoks

J. Philos. Log., 2014

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.

Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban

J. Autom. Reason., 2014

Tarski Geometry Axioms.

William Richter, Adam Grabowski, Jesse Alama

Formaliz. Math., 2014

Some problems with two axiomatizations of discussive logic.

Jesse Alama

CoRR, 2014

Proof identity for mere mortals.

Jesse Alama

CoRR, 2014

Dialogues for proof search.

Jesse Alama

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013

Eliciting Implicit Assumptions of Mizar Proofs by Property Omission.

Jesse Alama

J. Autom. Reason., 2013

A machine-assisted view of paraconsistency.

Jesse Alama

CoRR, 2013

Toward a structure theory for Lorenzen dialogue games.

Jesse Alama

CoRR, 2013

Sentence complexity of theorems in Mizar.

Jesse Alama

CoRR, 2013

Complete independence of an axiom system for central translations.

Jesse Alama

CoRR, 2013

2012

Escape to Mizar for ATPs

Jesse Alama

CoRR, 2012

Tipi: A TPTP-based theory development environment emphasizing proof analysis

Jesse Alama

CoRR, 2012

Automated and Human Proofs in General Mathematics: An Initial Comparison.

Jesse Alama, Daniel Kühlwein, Josef Urban

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

Escape to Mizar from ATPs.

Jesse Alama

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

New Developments in Parsing Mizar.

Czeslaw Bylinski, Jesse Alama

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar.

Jesse Alama, Lionel Mamane, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Dependencies in Formal Mathematics

Jesse Alama, Lionel Mamane, Josef Urban

CoRR, 2011

Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission

Jesse Alama

CoRR, 2011

Dialogue Games for Classical Logic.

Jesse Alama, Aleks Knoks, Sara L. Uckelman

Proceedings of the TABLEAUX 2011, 2011

Licensing the Mizar Mathematical Library.

Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Large Formal Wikis: Issues and Solutions.

Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library.

Jesse Alama

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Metadata for a wiki of formalized mathematics.

Jesse Alama

Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011

2010

Playing Lorenzen Dialogue Games on the Web.

Jesse Alama, Sara L. Uckelman

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Proof rules for the dialogical logic N.

Jesse Alama, Sara L. Uckelman

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools.

Jesse Alama

Proceedings of the 8th International Workshop on the Implementation of Logics, 2010

Euler's Polyhedron Formula in mizar.

Jesse Alama

Proceedings of the Mathematical Software, 2010

A Wiki for Mizar: Motivation, Considerations, and Initial Prototype.

Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2008

Euler's Polyhedron Formula.

Jesse Alama

Formaliz. Math., 2008

The Vector Space of Subsets of a Set Based on Symmetric Difference.

Jesse Alama

Formaliz. Math., 2008