| 2006 | A Characterization of Alternating Log Time by First Order Functional Programs. Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux |
| 2006 | A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. Boris Motik, Ulrike Sattler |
| 2006 | A Local System for Intuitionistic Logic. Alwen Tiu |
| 2006 | A Relaxed Approach to Integrity and Inconsistency in Databases. Hendrik Decker, Davide Martinenghi |
| 2006 | A Semantic Completeness Proof for TaMeD. Richard Bonichon, Olivier Hermant |
| 2006 | An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. Carsten Schürmann, Mark-Oliver Stehr |
| 2006 | An Incremental Approach to Abstraction-Carrying Code. Elvira Albert, Puri Arenas, Germán Puebla |
| 2006 | Automata for Positive Core XPath Queries on Compressed Documents. Barbara Fila, Siva Anantharaman |
| 2006 | Automatic Combinability of Rewriting-Based Satisfiability Procedures. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2006 | Automating Verification of Loops by Parallelization. Tobias Gedell, Reiner Hähnle |
| 2006 | Boolean Rings for Intersection-Based Satisfiability. Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
| 2006 | Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. Laura Bozzelli, Régis Gascon |
| 2006 | CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions. Gilles Barthe, Benjamin Grégoire, Fernando Pastawski |
| 2006 | Combining Supervaluation and Degree Based Reasoning Under Vagueness. Christian G. Fermüller, Robert Kosik |
| 2006 | Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems. Frédéric Blanqui, Colin Riba |
| 2006 | Constructing Camin-Sokal Phylogenies Via Answer Set Programming. Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta |
| 2006 | Context-Sensitive Multivariant Assertion Checking in Modular Programs. Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
| 2006 | Deciding Key Cycles for Security Protocols. Véronique Cortier, Eugen Zalinescu |
| 2006 | Deciding Satisfiability of Positive Second Order Joinability Formulae. Sébastien Limet, Pierre Pillot |
| 2006 | Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani |
| 2006 | Derivational Complexity of Knuth-Bendix Orders Revisited. Georg Moser |
| 2006 | Higher-Order Termination: From Kruskal to Computability. Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio |
| 2006 | Inductive Decidability Using Implicit Induction. Stephan Falke, Deepak Kapur |
| 2006 | Lemma Learning in the Model Evolution Calculus. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli |
| 2006 | Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings Miki Hermann, Andrei Voronkov |
| 2006 | Matching Modulo Superdevelopments Application to Second-Order Matching. Germain Faure |
| 2006 | Modular Cut-Elimination: Finding Proofs or Counterexamples. Agata Ciabattoni, Kazushige Terui |
| 2006 | On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. Christel Baier, Nathalie Bertrand, Philippe Schnoebelen |
| 2006 | On Locally Checkable Properties. Orna Kupferman, Yoad Lustig, Moshe Y. Vardi |
| 2006 | On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus. Kentaro Kikuchi |
| 2006 | Reducing Nondeterminism in the Calculus of Structures. Ozan Kahramanogullari |
| 2006 | Representation of Partial Knowledge and Query Answering in Locally Complete Databases. Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2006 | Representing Defaults and Negative Information Without Negation-as-Failure. Pablo R. Fillottrani, Guillermo Ricardo Simari |
| 2006 | SAT Solving for Argument Filterings. Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl |
| 2006 | Saturation Up to Redundancy for Tableau and Sequent Calculi. Martin Giese |
| 2006 | Sequential, Parallel, and Quantified Updates of First-Order Structures. Philipp Rümmer |
| 2006 | Splitting on Demand in SAT Modulo Theories. Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
| 2006 | Theory Instantiation. Harald Ganzinger, Konstantin Korovin |
| 2006 | To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani |
| 2006 | Verification Condition Generation Via Theorem Proving. John Matthews, J Strother Moore, Sandip Ray, Daron Vroon |