Author:Jesse Alama

Publications
Dialogues for proof search Jesse Alama In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Escape to Mizar from ATPs Jesse Alama In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Playing Lorenzen Dialogue Games on the Web Jesse Alama and Sara L. Uckelman In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Proof rules for the dialogical logic N Jesse Alama and Sara L. Uckelman In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools Jesse Alama In:IWIL 2010. The 8th International Workshop on the Implementation of Logics

Keyphrases

automated reasoning, automated theorem proving², axiom, dialogical logic³, dialogue game², dialogue games, discrete mathematics, finite models, heuristic, incidence structures, interactive theorem proving, intuitionistic logic, Mizar, natural deduction, object-oriented programming, polyhedra, proof search, proof theory, proof transformation, resolution, theorem provers, web mathematics.