| 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 | Computing k-Rank Answers with Ontological CP-Nets. | Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska |
| 2014 | Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic. | Hans de Nivelle |
| 2014 | Quati: An Automated Tool for Proving Permutation Lemmas. | Vivek Nigam, Giselle Reis, Leonardo Lima |
| 2014 | Automated Theorem Proving using the TPTP Process Instruction Language. | Muhammad Nassar, Geoff Sutcliffe |
| 2014 | Clausal Resolution for Modal Logics of Confluence. | Cludia Nalon, Joo Marcos, Clare Dixon |
| 2014 | Proof Support for Common Logic. | Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grninger |
| 2014 | Resolution and Clause Learning for Multi-Valued CNF Formulas. | David Mitchell |
| 2014 | Untitled record | David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks |
| 2014 | Answering Ontological Ranking Queries Based on Subjective Reports. | Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari |
| 2014 | A Focused Sequent Calculus for Higher-Order Logic. | Fredrik Lindblad |
| 2014 | Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications. | Bjrn Lellmann |
| 2014 | Stable Models of Fuzzy Propositional Formulas. | Joohyung Lee, Yi Wang |
| 2014 | SAT-Based Decision Procedure for Analytic Pure Sequent Calculi. | Ori Lahav, Yoni Zohar |
| 2014 | Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. | Patrick Koopmann, Renate A. Schmidt |
| 2014 | Machine Learner for Automated Reasoning 0.4 and 0.5. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2014 | dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems. | Jean-Baptiste Jeannin, Andr Platzer |
| 2014 | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. | Ping Hou, Yifei Chen |
| 2014 | Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. | Matthias Horbach, Viorica Sofronie-Stokkermans |
| 2014 | A Unified Proof System for QBF Preprocessing. | Marijn Heule, Martina Seidl, Armin Biere |
| 2014 | Introducing Quantified Cuts in Logic with Equality. | Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller |
| 2014 | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). | Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann |
| 2014 | A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. | Rajeev Gor, Jimmy Thomson, Jesse Wu |
| 2014 | Implementing Tableau Calculi Using BDDs: BDDTab System Description. | Rajeev Gor, Kerry Olesen, Jimmy Thomson |