| 2002 | A Framework for Splitting BDI Agents. Xiaocong Fan, John Yen |
| 2002 | A Local System for Linear Logic. Lutz Straßburger |
| 2002 | A Non-commutative Extension of MELL. Alessio Guglielmi, Lutz Straßburger |
| 2002 | A Note on Universal Measures for Weak Implicit Computational Complexity. Arnold Beckmann |
| 2002 | A Semantics for Proof Plans with Applications to Interactive Proof Planning. Julian Richardson |
| 2002 | Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. Sergio Tessaris, Ian Horrocks |
| 2002 | An Extension of BDI Mehdi Dastani, Leendert W. N. van der Torre |
| 2002 | An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. José Espírito Santo |
| 2002 | Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. Don Syme, Andrew D. Gordon |
| 2002 | Binding Logic: Proofs and Models. Gilles Dowek, Thérèse Hardin, Claude Kirchner |
| 2002 | Directed Automated Theorem Proving. Stefan Edelkamp, Peter Leven |
| 2002 | Extending Compositional Message Sequence Graphs. Benedikt Bollig, Martin Leucker, Philipp Lucas |
| 2002 | First-Order Logic as a Constraint Programming Language. Krzysztof R. Apt, C. F. M. Vermeulen |
| 2002 | Fuzzy Prolog: A Simple General Implementation Using CLP(R). Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández |
| 2002 | Games, Probability and the Quantitative µ-Calculus qMµ. Annabelle McIver, Carroll Morgan |
| 2002 | Gödel Logics and Cantor-Bendixon Analysis. Norbert Preining |
| 2002 | Improving On-Demand Strategy Annotations. María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
| 2002 | Investigating Type-Certifying Compilation with Isabelle. Martin Strecker |
| 2002 | Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings Matthias Baaz, Andrei Voronkov |
| 2002 | Maintenance of Formal Software Developments by Stratified Verification. Serge Autexier, Dieter Hutter |
| 2002 | On Expressive Description Logics with Composition of Roles in Number Restrictions. Fabio Grandi |
| 2002 | On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2002 | Parallelism and Tree Regular Constraints. Joachim Niehren, Mateu Villaret |
| 2002 | Procedural Semantics for Fuzzy Disjunctive Programs. Dusan Guller |
| 2002 | Proof Development with Omega-MEGA: sqrt(2) Is Irrational. Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet |
| 2002 | Proof Planning for Feature Interactions: A Preliminary Report. Claudio Castellini, Alan Smaill |
| 2002 | Pushdown Specifications. Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2002 | Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |
| 2002 | Searching for Invariants Using Temporal Resolution. James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
| 2002 | Theorem Proving with Sequence Variables and Flexible Arity Symbols. Temur Kutsia |
| 2002 | Using BDDs with Combinations of Theories. Pascal Fontaine, E. Pascal Gribomont |