| 1992 | Negation as Failure in Intuitionistic Logic Programming. | Laura Giordano, Nicola Olivetti |
| 1992 | Representing Actions in Extended Logic Programming. | Michael Gelfond, Vladimir Lifschitz |
| 1992 | Observational Equivalences for Logic Programs. | Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | Many-Valued Semantics for Logic Programming. | Melvin Fitting |
| 1992 | A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. | Audrey Ferry |
| 1992 | Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. | Grard Ferrand, Pierre Deransart |
| 1992 | Complexity Results for Logic-Based Abduction. | Thomas Eiter, Georg Gottlob |
| 1992 | hecking the Soundness of Resolution Schemes. | Bruno Dumant |
| 1992 | Deductive Databases with Incomplete Information. | Fangqing Dong, Laks V. S. Lakshmanan |
| 1992 | Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. | Jrgen Dix, Martin Mller |
| 1992 | Classifying Semantics of Disjunctive Logic Programs. | Jrgen Dix |
| 1992 | Halting Problem of One Binary Horn Clause id Undecidable. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | SLDNFA: An Abductive Procedure for Normal Abductive Programs. | Marc Denecker, Danny De Schreye |
| 1992 | Weighted Decision Trees. | Saumya K. Debray, Sampath Kannan, Mukul Paithane |
| 1992 | Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation. | Vincent David |
| 1992 | A Predicate Transformer for Unification. | Livio Colussi, Elena Marchiori |
| 1992 | The DelPhi Multiprocessor Inference Machine. | W. F. Clocksin |
| 1992 | A Goal-Oriented Approach to Computing Well Founded Semantics. | Weidong Chen, David Scott Warren |
| 1992 | Multistage Indexing Algorithms for Speeding Prolog Execution. | Ta Chen, I. V. Ramakrishnan, R. Ramesh |
| 1992 | Reexecution in Abstract Interpretation of Prolog. | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1992 | The Derivation of Compositional Programs. | K. Mani Chandy, Carl Kesselman |
| 1992 | Herbrand Methods in Sequent Calculi: Unification in LL. | Serenella Cerrito |
| 1992 | Dynamic Process Scheduling in a Parallel Logic Machine. | Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia |
| 1992 | Distributed Prolog on a Hypercube Multicomputer. | Sabri Byksoy, Mehmet Baray, Isik Aybay |
| 1992 | Parallel Execution of CLP-R Programs. | Jennifer Burg, Charles E. Hughes, Sheau-Dong Lang |