| 1 | -- | 22 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski. Belief Revision in Non-Monotonic Reasoning and Logic Programming |
| 23 | -- | 36 | Krzysztof R. Apt, Rachel Ben-Eliyahu. Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax |
| 37 | -- | 54 | Howard A. Blair. Designing Dependencies |
| 55 | -- | 85 | Andrzej Blikle. Why Denotational? Remarks on Applied Denotational Semantics |
| 87 | -- | 100 | Jürgen Dix, Georg Gottlob, V. Wiktor Marek. Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations |
| 101 | -- | 122 | Melvin Fitting. A Modal Herbrand Theorem |
| 123 | -- | 128 | Georg Gottlob, Miroslaw Truszczynski. Approximating the Stable Model Semantics is Hard |
| 129 | -- | 140 | Jieh Hsiang, Anita Wasilewska. Automating Algebraic Proofs in Algebraic Logic |
| 141 | -- | 152 | Grazyna Mirkowska, Andrzej Salwicki. The Algebraic Specifications do not Have the Tennenbaum Property |
| 153 | -- | 164 | Jan A. Plaza. Logic Programming from the Perspective of Algebraic Semantics |
| 165 | -- | 182 | Vaughan R. Pratt, Jerzy Tiuryn. Satisfiability of Inequalities in a Poset |
| 183 | -- | 195 | Boris A. Trakhtenbrot. On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity |
| 197 | -- | 209 | Pawel Urzyczyn. Positive Recursive Type Assignment |