Jesse Alama - RankMe

42 papers A 1B 1Journal 26Unranked 14

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