| 2014 | A Focused Sequent Calculus for Higher-Order Logic. Fredrik Lindblad |
| 2014 | A Gentle Non-disjoint Combination of Satisfiability Procedures. Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
| 2014 | A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. Rajeev Goré, Jimmy Thomson, Jesse Wu |
| 2014 | A Rewriting Strategy to Generate Prime Implicates in Equational Logic. Mnacho Echenim, Nicolas Peltier, Sophie Tourret |
| 2014 | A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. Rüdiger Ehlers, Martin Lange |
| 2014 | A Unified Proof System for QBF Preprocessing. Marijn Heule, Martina Seidl, Armin Biere |
| 2014 | And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. Rajeev Goré |
| 2014 | Approximations for Model Construction. Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer |
| 2014 | Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings Stéphane Demri, Deepak Kapur, Christoph Weidenbach |
| 2014 | Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications. Björn Lellmann |
| 2014 | Clausal Resolution for Modal Logics of Confluence. Cláudia Nalon, João Marcos, Clare Dixon |
| 2014 | Computing All Implied Equalities via SMT-Based Partition Refinement. Josh Berdine, Nikolaj S. Bjørner |
| 2014 | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann |
| 2014 | Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. Patrick Koopmann, Renate A. Schmidt |
| 2014 | Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. Andreas Steigmiller, Birte Glimm, Thorsten Liebig |
| 2014 | Electronic Voting: How Logic Can Help. Véronique Cortier |
| 2014 | Finite Quantification in Hierarchic Theorem Proving. Peter Baumgartner, Joshua Bax, Uwe Waldmann |
| 2014 | From Reachability to Temporal Specifications in Cost-Sharing Games. Guy Avni, Orna Kupferman, Tami Tamir |
| 2014 | Implementing Tableau Calculi Using BDDs: BDDTab System Description. Rajeev Goré, Kerry Olesen, Jimmy Thomson |
| 2014 | Introducing Quantified Cuts in Logic with Equality. Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller |
| 2014 | Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. Adam Pease, Stephan Schulz |
| 2014 | Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. Matthias Horbach, Viorica Sofronie-Stokkermans |
| 2014 | MleanCoP: A Connection Prover for First-Order Modal Logic. Jens Otten |
| 2014 | NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. Nicola Olivetti, Gian Luca Pozzato |
| 2014 | OTTER Proofs in Tarskian Geometry. Michael Beeson, Larry Wos |
| 2014 | Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. Serenella Cerrito, Amélie David, Valentin Goranko |
| 2014 | Proving Termination and Memory Safety for Programs with Pointer Arithmetic. Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp |
| 2014 | Proving Termination of Programs Automatically with AProVE. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann |
| 2014 | QBF Encoding of Temporal Properties and QBF-Based Verification. Wenhui Zhang |
| 2014 | Quati: An Automated Tool for Proving Permutation Lemmas. Vivek Nigam, Giselle Reis, Leonardo Lima |
| 2014 | SAT-Based Decision Procedure for Analytic Pure Sequent Calculi. Ori Lahav, Yoni Zohar |
| 2014 | Skeptik: A Proof Compression System. Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo |
| 2014 | StarExec: A Cross-Community Infrastructure for Logic Solving. Aaron Stump, Geoff Sutcliffe, Cesare Tinelli |
| 2014 | Terminating Minimal Model Generation Procedures for Propositional Modal Logics. Fabio Papacchini, Renate A. Schmidt |
| 2014 | The Bayesian Description Logic ${\mathcal{BEL}}$. Ismail Ilkan Ceylan, Rafael Peñaloza |
| 2014 | The Complexity of Theorem Proving in Circumscription and Minimal Entailment. Olaf Beyersdorff, Leroy Chew |
| 2014 | The Fractal Dimension of SAT Formulas. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy |
| 2014 | Unified Classical Logic Completeness - A Coinductive Pearl. Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel |
| 2014 | Visibly Linear Temporal Logic. Laura Bozzelli, César Sánchez |
| 2014 | dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems. Jean-Baptiste Jeannin, André Platzer |