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
Towards an Operational Proof-theoretic Semantics Alexander Victor Gheorghiu In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Building Blocks for Reasoning on the BEAM Johannes Schuster and Christoph Benzmüller In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
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