| 1992 | A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. | Bern Martens, Danny De Schreye |
| 1992 | Complexity of Computing with Extended Propositional Logic Programs. | V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski |
| 1992 | Rule Systems and Well-Orderings. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1992 | The Stable Models of a Predicate Logic Program. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1992 | A Contraint Logic Programming Scheme for Taxonomic Reasoning. | Margarida Mamede, Lus Monteiro |
| 1992 | Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. | Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Pter Szeredi |
| 1992 | Implementing a Lazy Functional Logic Language with Disequality Constraints. | Herbert Kuchen, Francisco Javier Lpez-Fraguas, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |
| 1992 | Parallel Inference System of the FGCS Project - Status Report. | Ryozo Kiyohara, Takashi Chikayama |
| 1992 | A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. | Hlne Kirchner, Christophe Ringeissen |
| 1992 | Schedule Analysis of Concurrent Logic programs. | Andy King, Paul Soper |
| 1992 | An Empirical Study on the Potential of Search Parallelism on MIMD Architecture. | Javed I. Khan, David Y. Y. Yun |
| 1992 | Query Restricted Bottom-Up Evaluation of Normal Logic Programs. | David B. Kemp, Peter J. Stuckey, Divesh Srivastava |
| 1992 | 3DPAM = WAM + DATAFLOW. | Pter Kacsuk |
| 1992 | Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. | Jean-Marie Jacquet, Lus Monteiro |
| 1992 | Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. | Joshua S. Hodas |
| 1992 | KL1 Optimization Techniques for RISC Architecture. | Kiyoshi Hirano |
| 1992 | Practical Aspects of Set Based Analysis. | Nevin Heintze |
| 1992 | On Normal Forms and Equivalence for Logic Programs. | James Harland |
| 1992 | On the Completeness of Residuation. | Michael Hanus |
| 1992 | Interactive Synthesis of Definite-Clause Grammars. | Juergen Haas, Bharat Jayaraman |
| 1992 | Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. | Gopal Gupta, Manuel V. Hermenegildo, Vtor Santos Costa |
| 1992 | jc: An Efficient and Portable Sequential Implementation of Janus. | David Gudeman, Koenraad De Bosschere, Saumya K. Debray |
| 1992 | Equational Logic Programming Actions, and Change. | Gerd Groe, Steffen Hlldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher |
| 1992 | Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. | Gerhard Grger, Lutz Plmer |
| 1992 | Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. | Luis Manuel Gmez Henrquez, Manuel Carro, Manuel V. Hermenegildo |