default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJesse Alama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[j8]Hitoshi Omori, Jesse Alama:
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2. Stud Logica 106(6): 1163-1180 (2018)- 2015
- [c15]Jesse Alama, Paul E. Oppenheimer
, Edward N. Zalta:
Automating Leibniz's Theory of Concepts. CADE 2015: 73-97 - 2014
- [j7]William Richter, Adam Grabowski, Jesse Alama:
Tarski Geometry Axioms. Formaliz. Math. 22(2): 167-176 (2014) - [j6]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): 191-213 (2014) - [j5]Sara L. Uckelman, Jesse Alama, Aleks Knoks:
A Curious Dialogical Logic and its Composition Problem. J. Philos. Log. 43(6): 1065-1100 (2014) - [j4]Jesse Alama:
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again. Stud Logica 102(3): 609-615 (2014) - [c14]Jesse Alama:
Dialogues for proof search. ARQNL@IJCAR 2014: 65-70 - [i19]Jesse Alama:
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools. CoRR abs/1401.0882 (2014) - [i18]Jesse Alama:
Proof identity for mere mortals. CoRR abs/1403.0641 (2014) - [i17]Jesse Alama:
Some problems with two axiomatizations of discussive logic. CoRR abs/1403.7777 (2014) - [i16]Jesse Alama:
Dialogues for proof search. CoRR abs/1405.1864 (2014) - 2013
- [j3]Jesse Alama:
Eliciting Implicit Assumptions of Mizar Proofs by Property Omission. J. Autom. Reason. 50(2): 123-133 (2013) - [i15]Jesse Alama:
Complete independence of an axiom system for central translations. CoRR abs/1311.1912 (2013) - [i14]Jesse Alama:
Sentence complexity of theorems in Mizar. CoRR abs/1311.1915 (2013) - [i13]Jesse Alama:
Toward a structure theory for Lorenzen dialogue games. CoRR abs/1311.1917 (2013) - [i12]Jesse Alama:
A machine-assisted view of paraconsistency. CoRR abs/1312.4381 (2013) - 2012
- [c13]Jesse Alama, Lionel Mamane, Josef Urban:
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. AISC/MKM/Calculemus 2012: 1-16 - [c12]Czeslaw Bylinski, Jesse Alama:
New Developments in Parsing Mizar. AISC/MKM/Calculemus 2012: 427-431 - [c11]Jesse Alama:
Escape to Mizar from ATPs. PAAR@IJCAR 2012: 3-11 - [c10]Jesse Alama, Daniel Kühlwein, Josef Urban:
Automated and Human Proofs in General Mathematics: An Initial Comparison. LPAR 2012: 37-45 - [i11]Jesse Alama:
Tipi: A TPTP-based theory development environment emphasizing proof analysis. CoRR abs/1204.0901 (2012) - [i10]Jesse Alama:
Escape to Mizar for ATPs. CoRR abs/1204.6615 (2012) - [i9]Czeslaw Bylinski, Jesse Alama:
New developments in parsing Mizar. CoRR abs/1205.0170 (2012) - 2011
- [c9]Jesse Alama:
Metadata for a wiki of formalized mathematics. MathWikis@ITP 2011: 2-5 - [c8]Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. Calculemus/MKM 2011: 133-148 - [c7]Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 - [c6]Jesse Alama:
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library. Calculemus/MKM 2011: 276-277 - [i8]Jesse Alama, Aleks Knoks, Sara L. Uckelman:
Dialogue Games for Classical Logic. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 82-86 - [i7]Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. CoRR abs/1107.3209 (2011) - [i6]Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane:
Licensing the Mizar Mathematical Library. CoRR abs/1107.3212 (2011) - [i5]Jesse Alama:
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library. CoRR abs/1107.4721 (2011) - [i4]Jesse Alama, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes:
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. CoRR abs/1108.3446 (2011) - [i3]Jesse Alama:
Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission. CoRR abs/1109.0633 (2011) - [i2]Jesse Alama, Lionel Mamane, Josef Urban:
Dependencies in Formal Mathematics. CoRR abs/1109.3687 (2011) - 2010
- [c5]Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers:
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. AISC/MKM/Calculemus 2010: 455-469 - [c4]Jesse Alama:
Euler's Polyhedron Formula in mizar. ICMS 2010: 144-147 - [c3]Jesse Alama, Sara L. Uckelman:
Proof rules for the dialogical logic N. LPAR short papers(Yogyakarta) 2010: 1-6 - [c2]Jesse Alama, Sara L. Uckelman:
Playing Lorenzen Dialogue Games on the Web. LPAR short papers(Yogyakarta) 2010: 7-12 - [c1]Jesse Alama:
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. IWIL@LPAR 2010: 12-16 - [i1]Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers:
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. CoRR abs/1005.4552 (2010)
2000 – 2009
- 2008
- [j2]Jesse Alama:
The Vector Space of Subsets of a Set Based on Symmetric Difference. Formaliz. Math. 16(1-4): 1-5 (2008) - [j1]Jesse Alama:
Euler's Polyhedron Formula. Formaliz. Math. 16(1-4): 7-17 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
