| 2005 | Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Franz Baader, Andrei Voronkov |
| 2004 | A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | A Formalization of Off-Line Guessing for Security Protocol Analysis. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò |
| 2004 | A Generic Framework for Interprocedural Analyses of Numerical Properties. Markus Müller-Olm, Helmut Seidl |
| 2004 | A Trichotomy in the Complexity of Propositional Circumscription. Gustav Nordh |
| 2004 | A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. Norbert Schirmer |
| 2004 | Abstract DPLL and Abstract DPLL Modulo Theories. Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
| 2004 | Abstract Model Generation for Preprocessing Clause Sets. Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa |
| 2004 | Abstraction-Carrying Code. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
| 2004 | Applications of General Exact Satisfiability in Propositional Logic Modelling. Vilhelm Dahllöf |
| 2004 | Automated Termination Analysis for Incompletely Defined Programs. Christoph Walther, Stephan Schweitzer |
| 2004 | Automatic Certification of Heap Consumption. Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska |
| 2004 | BCiC: A System for Code Authentication and Verification. Nathan Whitehead, Martín Abadi |
| 2004 | CERES in Many-Valued Logics. Matthias Baaz, Alexander Leitsch |
| 2004 | Can a Higher-Order and a First-Order Theorem Prover Cooperate?. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
| 2004 | Combining Lists with Non-stably Infinite Theories. Pascal Fontaine, Silvio Ranise, Calogero G. Zarba |
| 2004 | Cut-Elimination: Experiments with CERES. Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
| 2004 | Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. Dietmar Berwanger, Erich Grädel |
| 2004 | Evaluating QBFs via Symbolic Skolemization. Marco Benedetti |
| 2004 | Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2004 | Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying. Helmut Seidl, Kumar Neeraj Verma |
| 2004 | How the Location of * Influences Complexity in Kleene Algebra with Tests. Christopher Hardin |
| 2004 | How to Fix It: Using Fixpoints in Different Contexts. Igor Walukiewicz |
| 2004 | Implementing Efficient Resource Management for Linear Logic Programming. Pablo López, Jeff Polakow |
| 2004 | Knowledge-Based Synthesis of Distributed Systems Using Event Structures. Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
| 2004 | Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. M. Jamshid Bagherzadeh, S. Arun-Kumar |
| 2004 | Nonmonotonic Description Logic Programs: Implementation and Experiments. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
| 2004 | On a Semantic Subsumption Test. Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek |
| 2004 | Ordered Resolution with Selection for H(@). Carlos Areces, Daniel Gorín |
| 2004 | Reasoning About Systems with Transition Fairness. Benjamin Aminof, Thomas Ball, Orna Kupferman |
| 2004 | Second-Order Matching via Explicit Substitutions. Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón |
| 2004 | Suitable Graphs for Answer Set Programming. Thomas Linke, Vladimir Sarsakov |
| 2004 | The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp |
| 2004 | The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. Roberto Di Cosmo, Thomas Dufour |
| 2004 | The Inverse Method for the Logic of Bunched Implications. Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park |
| 2004 | Uniform Rules and Dialogue Games for Fuzzy Logics. Agata Ciabattoni, Christian G. Fermüller, George Metcalfe |
| 2004 | Weighted Answer Sets and Applications in Intelligence Analysis. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |