| 1992 | On Computability by Logic Programs. | Andrei Voronkov |
| 1992 | Tutorial on Linear Logic. | A. S. Troelstra |
| 1992 | Advanced Tutorial: Concurrent Logic Programming. | Evan Tick |
| 1992 | Exploiting Or-Parallelism in Optimisation Problems. | Pter Szeredi |
| 1992 | Variable Threadedness Analysis for Concurrent Logic Programs. | R. Sundararajan, A. V. S. Sastry, Evan Tick |
| 1992 | A Transputer Implementation of SEL. | Giancarlo Succi, Giuseppe Marino, R. Cantuccio, M. Facciolo, Tullio Vernazza |
| 1992 | Records for Logic Programming. | Gert Smolka, Ralf Treinen |
| 1992 | MultiLog: Data Or-Parallel Logic Programming. | Donald A. Smith |
| 1992 | An Overview of DASWAM - An Implementation of DDAS. | Kish Shen |
| 1992 | Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). | Kish Shen |
| 1992 | Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources. | David G. Schwartz, Leon Sterling |
| 1992 | A Survey of Complexity and Undecidability Results in Logic Programming. | John S. Schlipf |
| 1992 | A Query Evaluation Method for Abductive Logic Programming. | Ken Satoh, Noboru Iwayama |
| 1992 | Meta-Programming through a Truth Predicate. | Taisuke Sato |
| 1992 | The WAVE Paradigm. | Peter Sapaty |
| 1992 | Integrating Modes and Subtypes into a Prolog Type-Checker. | Yann Rouzaud, Lan Nguyen-Phuong |
| 1992 | Controlling the Search in Bottom-Up Evaluation. | Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan |
| 1992 | Higher-Order E-Unification for Arbitrary Theories. | Zhenyu Qian, Kang Wang |
| 1992 | Empirical Semantics for Defeasible Databases. | Judea Pearl |
| 1992 | Logic Programming and Genetic Sequence Analysis: a Tutorial. | Ross A. Overbeek |
| 1992 | AND-Parallel Prolog on a Transputer-Based System. | Ian Olthof, John G. Cleary |
| 1992 | An Incremental Garbage Collector for WAM-Based Prolog. | William J. Older, John A. Rummell |
| 1992 | Aggregation, Computability, and Complete Query Languages. | Inderpal Singh Mumick, Oded Shmueli |
| 1992 | On the Structural Simplicity of Machines and Languages. | Yael Moscowitz, Ehud Shapiro |
| 1992 | The Logic of Architecture: Programming the Invention of Physical Artifacts. | William J. Mitchell |