HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:tableaux

Publications
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane
EasyChair Preprint 8676
Set Theoretic on Marriage Problem Predicate Task
Frank Appiah
EasyChair Preprint 5277
Marriage Problem Consultation On Predicate Task With X-Prolog 1.0
Frank Appiah
EasyChair Preprint 5274
A One-Pass Tree-Shaped Tableau for LTL+Past
Nicola Gigante, Angelo Montanari and Mark Reynolds
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Metis-based Paramodulation Tactic for HOL Light
Michael Färber and Cezary Kaliszyk
In:GCAI 2015. Global Conference on Artificial Intelligence
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
Chad E. Brown and Christine Rizkallah
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Extended Resolution as Certificates for Propositional Logic
Chantal Keller
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Guido Fiorino
In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.