| 2010 | Variable Compression in ProbLog. | Theofrastos Mantadelis, Gerda Janssens |
| 2010 | Human and Unhuman Commonsense Reasoning. | Michael J. Maher |
| 2010 | Dynamics of Argumentation Systems: A Basic Theory. | Beishui Liao, Li Jin, Robert C. Koons |
| 2010 | Dafny: An Automatic Program Verifier for Functional Correctness. | K. Rustan M. Leino |
| 2010 | Semiring-Induced Propositional Logic: Definition and Basic Algorithms. | Javier Larrosa, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2010 | Synthesis of Trigger Properties. | Orna Kupferman, Moshe Y. Vardi |
| 2010 | Coping with Selfish On-Going Behaviors. | Orna Kupferman, Tami Tamir |
| 2010 | Interpolating Quantifier-Free Presburger Arithmetic. | Daniel Kroening, Jrme Leroux, Philipp Rmmer |
| 2010 | Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. | Konstantin Korovin, Christoph Sticksel |
| 2010 | On the Complexity of Model Expansion. | Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska |
| 2010 | The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. | Pavel Klinov, Bijan Parsia, David Picado-Muio |
| 2010 | Implementing an Efficient SAT Solver for a Probabilistic Description Logic. | Pavel Klinov, Bijan Parsia |
| 2010 | Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. | Mark Kaminski, Gert Smolka |
| 2010 | Polite Theories Revisited. | Dejan Jovanovic, Clark W. Barrett |
| 2010 | Infinite Families of Finite String Rewriting Systems and Their Confluence. | Jean-Pierre Jouannaud, Benjamin Monate |
| 2010 | Partitioning SAT Instances for Distributed Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2010 | Disunification for Ultimately Periodic Interpretations. | Matthias Horbach |
| 2010 | Improving Resource-Unaware SAT Solvers. | Steffen Hlldobler, Norbert Manthey, Ari Saptawijaya |
| 2010 | An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. | Yoichi Hirai |
| 2010 | Covered Clause Elimination. | Marijn Heule, Matti Jrvisalo, Armin Biere |
| 2010 | Clause Elimination Procedures for CNF Formulas. | Marijn Heule, Matti Jrvisalo, Armin Biere |
| 2010 | Aligators for Arrays (Tool Paper). | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs, Andrey Rybalchenko |
| 2010 | Awareness in Games, Awareness in Logic. | Joseph Y. Halpern |
| 2010 | On Strong Normalization of the Calculus of Constructions with Type-Based Termination. | Benjamin Grgoire, Jorge Luis Sacchini |
| 2010 | A Nonmonotonic Extension of KLM Preferential Logic P. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |