| 1992 | A Declarative View of Inheritance in Logic Programming. | Michele Bugliesi |
| 1992 | A Framework of Directionality for Proving Termination of Logic Programs. | Franois Bronsard, T. K. Lakshman, Uday S. Reddy |
| 1992 | Normal Logic Programs as Open Positive Programs. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1992 | Multi-Prolog: a Blackboard-based Parallel Logic Programming Language. | Koenraad De Bosschere |
| 1992 | Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. | Piero A. Bonatti |
| 1992 | A Process Algebra of Concurrent Constraint Programming. | Frank S. de Boer, Catuscia Palamidessi |
| 1992 | Understanding Finiteness Analysis Using Abstract Interpretation. | Peter A. Bigot, Saumya K. Debray, Kim Marriott |
| 1992 | Exploiting Recursion-Parallelism in Prolog: Preliminary Results. | Johan Bevemyr, Thomas Lindgren, Hkan Millroth |
| 1992 | Propositional Sematics for Disjunctive Logic Programs. | Rachel Ben-Eliyahu, Rina Dechter |
| 1992 | A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems. | Fabrizio Baiardi |
| 1992 | Parallel Bounded Quantifiers - Preliminary Results. | Henrik Arro, Jonas Barklund, Johan Bevemyr |
| 1992 | On Logic Program Semantics with Two Kinds of Negation. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1992 | Improving Backward Execution in the Andorra Family of Languages. | Salvador Abreu, Lus Moniz Pereira, Philippe Codognet |
| 1992 | Deductive and Object-Oriented Databases. | Serge Abiteboul |
| 1991 | Polymorphically Typed Logic Programs. | Eyal Yardeni, Thom W. Frhwirth, Ehud Shapiro |
| 1991 | Restriction Site Mapping in CLP(R). | Roland H. C. Yap |
| 1991 | Co-operative Hierarchical Layout Problem Solver on Parallel Inference Machine. | Toshinori Watanabe, Keiko Komatsu |
| 1991 | Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. | Kristof Verschaetse, Danny De Schreye |
| 1991 | Extending S-Models to Logic Programs with Negation. | Daniele Turi |
| 1991 | Nonstandard Answers of Elementary Logic Programs. | Paul Tarau, Michel Boyer |
| 1991 | Parallel Programming and Large-scale Applications in the FGCS Project. | Kazuo Taki |
| 1991 | Solving Optimisation Problems in the Aurora Or-parallel Prolog System. | Pter Szeredi |
| 1991 | Data Parallelism in Logic Programming. | Giancarlo Succi, Giuseppe Marino |
| 1991 | Applying Techniques to Skeletons. | Leon Sterling, Marc Kirschenbaum |
| 1991 | Constraint Operations for CLP(FT). | Donald A. Smith |