Keyword:tableaux

Papers
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description) Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane EasyChair Preprint no. 8676
Set Theoretic on Marriage Problem Predicate Task Frank Appiah EasyChair Preprint no. 5277
Marriage Problem Consultation On Predicate Task With X-Prolog 1.0 Frank Appiah EasyChair Preprint no. 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
Extended Resolution as Certificates for Propositional Logic Chantal Keller In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction Chad Brown and Christine Rizkallah 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