| 2003 | A Formal Proof of Dickson's Lemma in ACL2. Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina |
| 2003 | A Logical Study on Qualitative Default Reasoning with Probabilities. Christoph Beierle, Gabriele Kern-Isberner |
| 2003 | A Machine-Verified Code Generator. Christoph Walther, Stephan Schweitzer |
| 2003 | A Syntax-Based Approach to Reasoning about Actions and Events. Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
| 2003 | A Translation Characterizing the Constructive Content of Classical Theories. Matthias Baaz, Christian G. Fermüller |
| 2003 | Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. Silvio Ghilardi, Luigi Santocanale |
| 2003 | An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre |
| 2003 | Automatic Structures of Bounded Degree. Markus Lohrey |
| 2003 | Completeness of E-Unification with Eager Variable Elimination. Barbara Morawska |
| 2003 | Computable Numberings. Serikzhan A. Badaev |
| 2003 | Computing Preferred Answer Sets in Answer Set Programming. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2003 | Congruence Closure with Integer Offsets. Robert Nieuwenhuis, Albert Oliveras |
| 2003 | Connection-Based Proof Construction in Non-commutative Logic. Didier Galmiche, J.-M. Notin |
| 2003 | Disproving False Conjectures. Serge Autexier, Carsten Schürmann |
| 2003 | Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. Martin Fränzle, Christian Herde |
| 2003 | Extended Canonicity of Certain Topological Properties of Set Spaces. Bernhard Heinemann |
| 2003 | Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters |
| 2003 | From Tableaux to Automata for Description Logics. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
| 2003 | Gandy's Theorem for Abstract Structures without the Equality Test. Margarita V. Korovina |
| 2003 | Handling Equality in Monodic Temporal Resolution. Boris Konev, Anatoli Degtyarev, Michael Fisher |
| 2003 | Imperative Object-Based Calculi in Co-inductive Type Theories. Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | Improving Dependency Pairs. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke |
| 2003 | Is Cantor's Theorem Automatic? Dietrich Kuske |
| 2003 | Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings Moshe Y. Vardi, Andrei Voronkov |
| 2003 | Minimizing Automata on Infinite Words. Thomas Wilke |
| 2003 | NP-Completeness Results for Deductive Problems on Stratified Terms. Thierry Boy de la Tour, Mnacho Echenim |
| 2003 | On Closure under Complementation of Equational Tree Automata for Theories Extending AC. Kumar Neeraj Verma |
| 2003 | On Structuring Proof Search for First Order Linear Logic. Paola Bruscoli, Alessio Guglielmi |
| 2003 | Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. Dietmar Berwanger, Erich Grädel, Stephan Kreutzer |
| 2003 | Ordered Diagnosis. Davy Van Nieuwenborgh, Dirk Vermeir |
| 2003 | Strict Geometry of Interaction Graph Models. Furio Honsell, Marina Lenisa, Rekha Redamalla |