| 2007 | ATP Cross-Verification of the Mizar MPTP Challenge Problems. Josef Urban, Geoff Sutcliffe |
| 2007 | Algorithms for Propositional Model Counting. Marko Samer, Stefan Szeider |
| 2007 | An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. Michel Ludwig, Uwe Waldmann |
| 2007 | Approved Models for Normal Logic Programs. Luís Moniz Pereira, Alexandre Miguel Pinto |
| 2007 | Completeness and Decidability in Sequence Logic. Marc Bezem, Tore Langholm, Michal Walicki |
| 2007 | Completeness for Flat Modal Fixpoint Logics. Luigi Santocanale, Yde Venema |
| 2007 | Complexity of Planning in Action Formalisms Based on Description Logics. Maja Milicic |
| 2007 | Data Complexity in the Adila Krisnadhi, Carsten Lutz |
| 2007 | Decidable Fragments of Many-Sorted Logic. Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv |
| 2007 | Deciding Knowledge in Security Protocols for Monoidal Equational Theories. Véronique Cortier, Stéphanie Delaune |
| 2007 | Enriched µ-Calculus Pushdown Module Checking. Alessandro Ferrante, Aniello Murano, Mimmo Parente |
| 2007 | Extending a Resolution Prover for Inequalities on Elementary Functions. Behzad Akbarpour, Lawrence C. Paulson |
| 2007 | Faster Phylogenetic Inference with MXG. David G. Mitchell, Faraz Hach, Raheleh Mohebali |
| 2007 | From Hilbert's Program to a Logic Toolbox. Johann A. Makowsky |
| 2007 | HORPO with Computability Closure: A Reconstruction. Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio |
| 2007 | How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
| 2007 | Integrating Inductive Definitions in SAT. Maarten Mariën, Johan Wittocx, Marc Denecker |
| 2007 | Least and Greatest Fixed Points in Linear Logic. David Baelde, Dale Miller |
| 2007 | Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings Nachum Dershowitz, Andrei Voronkov |
| 2007 | Matching in Hybrid Terminologies. Sebastian Brandt |
| 2007 | Mechanized Verification of CPS Transformations. Zaynah Dargaye, Xavier Leroy |
| 2007 | Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. Roland Axelsson, Martin Lange |
| 2007 | Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
| 2007 | On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. Emanuel Kieronski, Lidia Tendera |
| 2007 | On Two Extensions of Abstract Categorial Grammars. Philippe de Groote, Sarah Maarek, Ryo Yoshinaka |
| 2007 | On the Notion of Vacuous Truth. Marko Samer, Helmut Veith |
| 2007 | One-Pass Tableaux for Computation Tree Logic. Pietro Abate, Rajeev Goré, Florian Widmann |
| 2007 | Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan |
| 2007 | Permutative Additives and Exponentials. Gabriele Pulcini |
| 2007 | Preferential Description Logics. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | Protocol Verification Via Rigid/Flexible Resolution. Stéphanie Delaune, Hai Lin, Christopher Lynch |
| 2007 | Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. Roberto Maieli |
| 2007 | The Complexity of Temporal Logic with Until and Since over Ordinals. Stéphane Demri, Alexander Rabinovich |
| 2007 | The Semantics of Consistency and Trust in Peer Data Exchange Systems. Leopoldo E. Bertossi, Loreto Bravo |
| 2007 | The Separation Theorem for Differential Interaction Nets. Damiano Mazza, Michele Pagani |
| 2007 | Verifying Cryptographic Protocols with Subterms Constraints. Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch |
| 2007 | Whatever Happened to Deductive Question Answering? Richard J. Waldinger |
| 2007 | Why Would You Trust Éric Jaeger, Catherine Dubois |
| 2007 | Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. Richard Bonichon, David Delahaye, Damien Doligez |
| 2007 | \mathbb Mantas Simkus, Thomas Eiter |