| 1992 | A Cooperative Answering System. Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik |
| 1992 | A Generic Logic Environment. Mark Dawson |
| 1992 | A Procedure for Automatic Proof Nets Construction. Didier Galmiche, Guy Perrier |
| 1992 | A Programming Logic for a Verified Structured Assembly Language. Paul Curzon |
| 1992 | A Two Steps Semantics for Logic Programs with Negation. Maurizio Gabbrielli, Giorgio Levi, Daniele Turi |
| 1992 | An Application to Teaching in Logic Course of ATP Based Natural Deduction. Li Dafa |
| 1992 | An Inductive Theorem Prover Based on Narrowing. Ulrich Fraus, Heinrich Hußmann |
| 1992 | An Order Theory Resolution Calculus. Peter Baumgartner |
| 1992 | Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. William McCune, Larry Wos |
| 1992 | Building Proofs by Analogy via the Curry-Horward Isomorphism. Thierry Boy de la Tour, Christoph Kreitz |
| 1992 | CHIP and Propia. Mark Wallace, Thierry Le Provost |
| 1992 | Computing Induction Axioms. Christoph Walther |
| 1992 | Consistency of Equational Enrichments. Valentin M. Antimirov, Anatoli Degtyarev |
| 1992 | Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. Ewing L. Lusk |
| 1992 | Disjunctive Deductive Databases. José Alberto Fernández, Jack Minker |
| 1992 | EUODHILOS: A General Reasoning System for a Variety of Logics. Hajime Sawamura, Toshiro Minami, Kyoko Ohashi |
| 1992 | Elementary Lower Bounds for th Length of Refutations. Hai-Ping Ko, Mark E. Nadel |
| 1992 | ElipSys - A Parallel Programming System based on Logic. Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron |
| 1992 | Extending Deductive Database Languages by Embedded Implications. Burkhard Freitag |
| 1992 | FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. Julio García Marrtín, Juan José Moreno-Navarro |
| 1992 | Free Logic and Infinite Constraint Networks. James Bowen, Dennis R. Bahler |
| 1992 | From the Past to the Future: Executing Temporal Logic Programs. Michael Fisher, Richard Owens |
| 1992 | General Model Theoretic Semantics for Higher-Order Horn Logic Programming. Mino Bai, Howard A. Blair |
| 1992 | Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. Chitta Baral |
| 1992 | ISAR: An Interactive System for Algebraic Implementation Proofs. Bernhard Bauer, Rolf Hennicker |
| 1992 | Infinite, Canonical String Rewriting Systems Generated by Completion. Andrea Sattler-Klein |
| 1992 | Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction. Michel Parigot |
| 1992 | Linear Objects: a Logic Framework for Open System Programming. Jean-Marc Andreoli, Remo Pareschi |
| 1992 | Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings Andrei Voronkov |
| 1992 | Logican's Workbench. Igor Romanenko |
| 1992 | MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. Javier Leach, Susana Nieva |
| 1992 | Mathpert: Computer Support for Learning Algebra, Trig, and Calculus. Michael Beeson |
| 1992 | MegaLog - A Platform for Developing Knowledge Base Management Systems. Jorge B. Bocca, Michael Dahmen, Michael Freeston |
| 1992 | Netlog - A Concept Oriented Logic Programming Language. Alexander V. Voinov |
| 1992 | Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria. Leo Bachmair, Harald Ganzinger |
| 1992 | OR-Parallel Theorem Proving with Random Competition. Wolfgang Ertel |
| 1992 | On Deductive Planning and the Frame Problem. Steffen Hölldobler |
| 1992 | On Resolution in Fragments of Classical Linear Logic. James Harland, David J. Pym |
| 1992 | On the Use of the Constructive Omega-Rule within Automated Deduction. Siani Baker, Andrew Ireland, Alan Smaill |
| 1992 | Opium - A High-level Debugging Environment. Mireille Ducassé |
| 1992 | Parallel Computation of Multiple Sets-of_Support. Christian B. Suttner |
| 1992 | ProPre A Programming Language with Proofs. Pascal Manoury, Michel Parigot, Marianne Simonot |
| 1992 | Pruning Infinite Failure Branches in Programs with Occur-Check. Ulrich Neumerkel |
| 1992 | Reform Compilation for Nonlinear Recursion. Håkan Millroth |
| 1992 | Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. Bernhard Gramlich |
| 1992 | Resolution for Many-Valued Logics. Matthias Baaz, Christian G. Fermüller |
| 1992 | SEPIA - a Bases for Prolog Extensions. Micha Meier |
| 1992 | SPIKE, an Automatic Theorem Prover. Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch |
| 1992 | Shortening Proofs by Quantifier Introduction. Uwe Egly |
| 1992 | Soundness and Completeness of Partial Deductions for Well-Founded Semantics. Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki |
| 1992 | Spes: A System for Logic Program Transformation. Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré |
| 1992 | The EKS-V1 System. Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey |
| 1992 | The External Database in SICStus Prolog. Hans Nilsson |
| 1992 | The KCM System: Speeding-up Logic Programming through Hardware Support. Jacques Noyé |
| 1992 | The Unification of Infinite Sets of Terms and Its Applications. Gernot Salzer |
| 1992 | The Use of Planning Critics in Mechanizing Inductive Proofs. Andrew Ireland |
| 1992 | Towards Probabilistic Knowledge Bases. Beat Wüthrich |
| 1992 | Towards Using the Andorra Kernel Language for Industrial Real-Time Applications. Bogumil Hausman |
| 1992 | Two-Level Grammar: A Funtional/Logic Query Language for Database and Knowledge-Base Systems. Barrett R. Bryant, Aiqin Pan |
| 1992 | Unification in Order-Sorted Type Theory. Michael Kohlhase |
| 1992 | Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. Christophe Ringeissen |