| 2018 | MdMax: A Maximal Ordered Completion Tool. | Sarah Winkler, Georg Moser |
| 2018 | Evidence Extraction from Parameterised Boolean Equation Systems. | Wieger Wesselink, Tim A. C. Willemse |
| 2018 | A Verified Simple Prover for First-Order Logic. | Jrgen Villadsen, Anders Schlichtkrull, Asta Halkjr From |
| 2018 | Efficient Model Construction for Horn Logic with VLog - System Description. | Jacopo Urbani, Markus Krtzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral |
| 2018 | TFX: The TPTP Extended Typed First-Order Form. | Geoff Sutcliffe, Evgenii Kotelnikov |
| 2018 | System Demonstration: The Higher-Order Prover Leo-III. | Alexander Steen, Christoph Benzmller |
| 2018 | The Higher-Order Prover Leo-III. | Alexander Steen, Christoph Benzmller |
| 2018 | Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. | Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann |
| 2018 | Evidential Group Decision Making Model with Belief-Based Preferences. | Aouatef Rouahi, Kais Ben Salah, Khaled Ghdira |
| 2018 | Datatypes with Shared Selectors. | Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett |
| 2018 | Some Thoughts About FOL-Translations in Vampire. | Giles Reger |
| 2018 | Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. | Michael Rawson, Giles Reger |
| 2018 | FORT 2.0. | Franziska Rapp, Aart Middeldorp |
| 2018 | Measuring Disagreement among Knowledge Bases. | Nico Potyka |
| 2018 | Uniform Substitution for Differential Game Logic. | Andr Platzer |
| 2018 | ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. | Bartosz Piotrowski, Josef Urban |
| 2018 | Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. | tienne Payet, Fausto Spoto |
| 2018 | Leveraging Probabilistic Existential Rules for Adversarial Deduplication. | Jos Paredes, Maria Vanina Martinez, Gerardo I. Simari, Marcelo A. Falappa |
| 2018 | Proof Search Optimizations for Non-Clausal Connection Calculi. | Jens Otten |
| 2018 | Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. | Eugenio Orlandelli, Giovanna Corsi |
| 2018 | A Resolution-Based Calculus for Preferential Logics. | Cludia Nalon, Dirk Pattinson |
| 2018 | Theories as Types. | Dennis Mller, Florian Rabe, Michael Kohlhase |
| 2018 | Implementations of Natural Logics. | Lawrence S. Moss |
| 2018 | A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms. | Guillaume Melquiond, Raphal Rieu-Helft |
| 2018 | A New Logic for Jointly Representing Hard and Soft Constraints. | Jan Maly, Stefan Woltran |