| 2014 | And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. | Rajeev Gor |
| 2014 | Proving Termination of Programs Automatically with AProVE. | Jrgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plcker, Peter Schneider-Kamp, Thomas Strder, Stephanie Swiderski, Ren Thiemann |
| 2014 | Beagle as a HOL4 external ATP method. | Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish |
| 2014 | A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. | Rdiger Ehlers, Martin Lange |
| 2014 | Similarity-based Relaxed Instance Queries in EL++. | Andreas Ecke |
| 2014 | A Rewriting Strategy to Generate Prime Implicates in Equational Logic. | Mnacho Echenim, Nicolas Peltier, Sophie Tourret |
| 2014 | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. | Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz |
| 2014 | A New DL-Lite N Bool Probabilistic Extension Using Belief. | Ala Djeddai, Hassina Seridi, Tarek Khadir |
| 2014 | Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. | Simon Cruanes |
| 2014 | Electronic Voting: How Logic Can Help. | Vronique Cortier |
| 2014 | A Gentle Non-disjoint Combination of Satisfiability Procedures. | Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
| 2014 | The Bayesian Description Logic ${\mathcal{BEL}}$. | Ismail Ilkan Ceylan, Rafael Pealoza |
| 2014 | Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. | Serenella Cerrito, Amlie David, Valentin Goranko |
| 2014 | Towards a Logic of Dilation. | Arina Britz, Ivan Varzinczak |
| 2014 | Visibly Linear Temporal Logic. | Laura Bozzelli, Csar Snchez |
| 2014 | Skeptik: A Proof Compression System. | Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo |
| 2014 | Many-valued Horn Logic is Hard. | Stefan Borgwardt, Marco Cerami, Rafael Pealoza |
| 2014 | SGGS Theorem Proving: an Exposition. | Maria Paola Bonacina, David A. Plaisted |
| 2014 | My Life with an Automatic Theorem Prover. | Jasmin Christian Blanchette |
| 2014 | Unified Classical Logic Completeness - A Coinductive Pearl. | Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel |
| 2014 | SAT solving experiments in Vampire. | Armin Biere, Ioan Dragan, Laura Kovcs, Andrei Voronkov |
| 2014 | The Complexity of Theorem Proving in Circumscription and Minimal Entailment. | Olaf Beyersdorff, Leroy Chew |
| 2014 | Computing All Implied Equalities via SMT-Based Partition Refinement. | Josh Berdine, Nikolaj S. Bjrner |
| 2014 | HOL Provers for First-order Modal Logics - Experiments. | Christoph Benzmller |
| 2014 | Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics. | Christoph Beierle, Markus Hhnerbach, Marcus Marto |