| 2022 | A Framework for Approximate Generalization in Quantitative Theories. Temur Kutsia, Cleo Pau |
| 2022 | Actions over Core-Closed Knowledge Bases. Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2022 | An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
| 2022 | Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| 2022 | Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. Nils Lommen, Fabian Meyer, Jürgen Giesl |
| 2022 | Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson |
| 2022 | Binary Codes that Do Not Preserve Primitivity. Stepan Holub, Martin Raska, Stepán Starosta |
| 2022 | CTL Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | Clause Redundancy and Preprocessing in Maximum Satisfiability. Hannes Ihalainen, Jeremias Berg, Matti Järvisalo |
| 2022 | Connection-Minimal Abduction in Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach |
| 2022 | Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description). Gereon Kremer, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2022 | Cyclic Proofs, Hypersequents, and Transitive Closure Logic. Anupam Das, Marianna Girlando |
| 2022 | Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. Marius Bozga, Lucas Bueri, Radu Iosif |
| 2022 | Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices. Ori Lahav, Yoni Zohar |
| 2022 | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott |
| 2022 | Evonne: Interactive Proof Visualization for Description Logics (System Description). Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez |
| 2022 | Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. Vitor Greati, João Marcos |
| 2022 | Flexible Proof Production in an Industrial-Strength SMT Solver. Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
| 2022 | Formula Simplification via Invariance Detection by Algebraically Indexed Types. Takuya Matsuzaki, Tomohiro Fujita |
| 2022 | From the Universality of Mathematical Truth to the Interoperability of Proof Systems. Gilles Dowek |
| 2022 | GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). Tanel Tammet, Dirk Draheim, Priit Järv |
| 2022 | Goéland: A Concurrent Tableau-Based Theorem Prover (System Description). Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane |
| 2022 | Ground Joinability and Connectedness in the Superposition Calculus. André Duarte, Konstantin Korovin |
| 2022 | Guiding an Automated Theorem Prover with Neural Rewriting. Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban |
| 2022 | Hypergraph-Based Inference Rules for Computing Hui Yang, Yue Ma, Nicole Bidoit |
| 2022 | Implicit Definitions with Differential Equations for KeYmaera X - (System Description). James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer |
| 2022 | Lash 1.0 (System Description). Chad E. Brown, Cezary Kaliszyk |
| 2022 | Leśniewski's Ontology - Proof-Theoretic Characterization. Andrzej Indrzejczak |
| 2022 | Local Reductions for the Modal Cube. Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2022 | Non-associative, Non-commutative Multi-modal Linear Logic. Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov |
| 2022 | On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices. S. Akshay, Supratik Chakraborty, Debtanu Pal |
| 2022 | Paraconsistent Gödel Modal Logic. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko |
| 2022 | Preprocessing of Propagation Redundant Clauses. Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
| 2022 | Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). Florian Frohn, Jürgen Giesl |
| 2022 | Reasoning About Vectors Using an SMT Theory of Sequences. Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
| 2022 | Rensets and Renaming-Based Recursion for Syntax with Bindings. Andrei Popescu |
| 2022 | SAT-Based Proof Search in Intermediate Propositional Logics. Camillo Fiorentini, Mauro Ferrari |
| 2022 | SCL(EQ): SCL for First-Order Logic with Equality. Hendrik Leidinger, Christoph Weidenbach |
| 2022 | Semantic Relevance. Fajar Haifani, Christoph Weidenbach |
| 2022 | Sequent Calculi for Choice Logics. Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran |
| 2022 | Synthetic Tableaux: Minimal Tableau Search Heuristics. Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz |
| 2022 | Term Orderings for Non-reachability of (Conditional) Rewriting. Akihisa Yamada |
| 2022 | Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio |
| 2022 | Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description). Martin Suda |