HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
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.
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.
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 proving2, axiom, dialogical logic3, dialogue game2, 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.

Copyright © 2012-2025 easychair.org. All rights reserved.