| 2012 | An Asymptotically Correct Finite Path Semantics for LTL. Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2012 | Automated and Human Proofs in General Mathematics: An Initial Comparison. Jesse Alama, Daniel Kühlwein, Josef Urban |
| 2012 | Automatic Generation of Invariants for Circular Derivations in SUP(LA). Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach |
| 2012 | Automatic Inference of Resource Consumption Bounds. Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
| 2012 | Automatic Verification of TLA + Proof Obligations with SMT Solvers. Stephan Merz, Hernán Vanzetto |
| 2012 | Backward Trace Slicing for Conditional Rewrite Theories. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2012 | Conflict Anticipation in the Search for Graph Automorphisms. Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2012 | Confluence of Non-Left-Linear TRSs via Relative Termination. Dominik Klein, Nao Hirokawa |
| 2012 | Dual-Priced Modal Transition Systems with Time Durations. Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba |
| 2012 | Duality between Merging Operators and Social Contraction Operators. José Luis Chacón, Ramón Pino Pérez |
| 2012 | E-Matching with Free Variables. Philipp Rümmer |
| 2012 | Enfragmo: A System for Modelling and Solving Search Problems with Logic. Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
| 2012 | Finding Finite Herbrand Models. Stefan Borgwardt, Barbara Morawska |
| 2012 | Forgetting for Defeasible Logic. Grigoris Antoniou, Thomas Eiter, Kewen Wang |
| 2012 | Labelled Superposition for PLTL. Martin Suda, Christoph Weidenbach |
| 2012 | Lazy Abstraction with Interpolants for Arrays. Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2012 | Linear Constraints over Infinite Trees. Martin Hofmann, Dulma Rodriguez |
| 2012 | Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings Nikolaj S. Bjørner, Andrei Voronkov |
| 2012 | Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems. Aart Middeldorp |
| 2012 | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer |
| 2012 | Moral Reasoning under Uncertainty. Han The Anh, Ari Saptawijaya, Luís Moniz Pereira |
| 2012 | On the Domain and Dimension Hierarchy of Matrix Interpretations. Friedrich Neurauter, Aart Middeldorp |
| 2012 | Ordinals and Knuth-Bendix Orders. Sarah Winkler, Harald Zankl, Aart Middeldorp |
| 2012 | Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. Boris Motik |
| 2012 | Querying Proofs. David Aspinall, Ewen Denney, Christoph Lüth |
| 2012 | Random: R-Based Analyzer for Numerical Domains. Gianluca Amato, Francesca Scozzari |
| 2012 | Regular Expressions for Data Words. Leonid Libkin, Domagoj Vrgoc |
| 2012 | Smart Testing of Functional Programs in Isabelle. Lukas Bulwahn |
| 2012 | Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). William Snell, Dirk Pattinson, Florian Widmann |
| 2012 | Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. Franz Baader, Alexander Okhotin |
| 2012 | The Permutative λ-Calculus. Beniamino Accattoli, Delia Kesner |
| 2012 | The TPTP Typed First-Order Form with Arithmetic. Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
| 2012 | Towards Algorithmic Cut-Introduction. Stefan Hetzl, Alexander Leitsch, Daniel Weller |
| 2012 | iSat: Structure Visualization for SAT Problems. Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López |
| 2012 | r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). Jens Knoop, Laura Kovács, Jakob Zwirchmayr |