| 1993 | A CLP Language Handling Disjunctions of Linear Constraints. Bruno De Backer, Henri Beringer |
| 1993 | A Formalization of Metaprogramming for real. Giorgio Levi, Davide Ramundo |
| 1993 | A Logic Programming Approach to Requirements Modelling and Automated Test Generation. Leon J. Mekly, Marjorie Passini Yuhas |
| 1993 | A Logic Programming View of CLP. Michael J. Maher |
| 1993 | A Minimal Extension of the WAM for clp(FD). Daniel Diaz, Philippe Codognet |
| 1993 | A Monotonicity Theorem for Extended Logic Programs. Hudson Turner |
| 1993 | A New Fixpoint Semantics for Prolog. Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
| 1993 | A Portable and Reasonably Efficient Implementation of KL1. Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro |
| 1993 | A Prolog Toolkit for control System Models. Phil W. Grant, C. P. Jobling |
| 1993 | A Semantics for Eshghi and Kowalski's Procedure. Laura Giordano, Alberto Martelli, Maria Luisa Sapino |
| 1993 | APPLAUSE: Applications Using the ElipSys Parallel CLP System. Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu |
| 1993 | An Argumentation Semantics for Logic Programming with Explicit Negation. Phan Minh Dung |
| 1993 | An Incompleteness Result for Deductive Synthesis of Logic Programs. Kung-Kiu Lau, Mario Ornaghi |
| 1993 | Analysis Based Constraint Query Optimization. David B. Kemp, Peter J. Stuckey |
| 1993 | Analysis of Nonlinear Constraints in CLP(R). Michael Hanus |
| 1993 | Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. Mats Carlsson, Mats Grindal |
| 1993 | Boolean Pseudo-equations in Constraint Logic Programming. Frédéric Benhamou, Jean-Luc Massat |
| 1993 | Constraint Propagation for Linear Recursive Rules. James Harland, Kotagiri Ramamohanarao |
| 1993 | Continuations in Lambda-Prolog. Pascal Brisset, Olivier Ridoux |
| 1993 | Contribution of Logic Programming to Support Telecommunications Protocol Tests. Didier Ladret, Michel Rueher |
| 1993 | Control Generation for Logic Programs. Stefan Lüttringhaus-Kappel |
| 1993 | Extracting Determinacy in Logic Programs. Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1993 | Findall without findall/3. André Mariën |
| 1993 | Freeness Analysis for Logic Programs - And Correctness? Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe |
| 1993 | Freeness Analysis in the Presence of Numerical Constraints. Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish |
| 1993 | Full Prolog in a Nutshell. Egon Börger, Dean Rosenzweig |
| 1993 | Function-Patterns and Fan-Backtracking for Logic Programming. Nikolai K. Kossovsky, Igor P. Solovjev |
| 1993 | Hybrid Systems and Constraint Logic Programming. Anil Nerode, Wolf Kohn |
| 1993 | Implementing Dynamic Dependent And-Parallelism. Kish Shen |
| 1993 | Industrial Disposing Problem Solved in CHIP. Raymond Bisdorff, Sophie Laurent |
| 1993 | Integration of Traditional Scheduling Techniques and AI on Prolog Basis. Oleg Yu. Gusikhin |
| 1993 | Istropolitan-a WAM Based Fuzzy Prolog. Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby |
| 1993 | Logic Grammars and Lambda-Prolog. Serge Le Huitouze, Pascale Louvet, Olivier Ridoux |
| 1993 | Logic Programming System Prolog-plus. Michael Reviakin |
| 1993 | Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993 David Scott Warren |
| 1993 | Memory Management of Constraint in Flang. Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann |
| 1993 | Middle-Out Reasoning for Logic Program Synthesis. Ina Kraan, David A. Basin, Alan Bundy |
| 1993 | Multi-Prolog: Definition, Operational Semantics and Implementation. Koenraad De Bosschere, Jean-Marie Jacquet |
| 1993 | MultiLog: Data Or-Parallel Logic Programming. Donald A. Smith |
| 1993 | Negation in Disjunctive Logic Programs. Chiaki Sakama, Katsumi Inoue |
| 1993 | On Copy Avoidance in Single Assignment Languages. Saumya K. Debray |
| 1993 | Optative Reasoning with Scenario Semantics. Luís Moniz Pereira, José Júlio Alferes |
| 1993 | Optimum Flight Planning System for Aerodrome Zone. S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin |
| 1993 | Performance Evaluation of Monaco Compiler and Runtime Kernel. Evan Tick, C. Banerjee |
| 1993 | Performance of the Compiler-Based Andorra-I System. Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren |
| 1993 | Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. Ivan Futó |
| 1993 | Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. L. Thorne McCarty |
| 1993 | Proving Termination of GHC Programs. M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
| 1993 | Reform Prolog: The Language and Its Implementation. Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
| 1993 | Representing Actions in Logic Programming and Its Applications in Database Updates. Phan Minh Dung |
| 1993 | Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. Marc-Michel Corsini, Antoine Rauzy |
| 1993 | Scheduling Speculative Work in Or-Parallel Prolog Systems. Tony Beaumont, David H. D. Warren |
| 1993 | Semantics and Consistency of Empirical Databases. Raymond T. Ng |
| 1993 | Solving Linear Diophantine Constraints Incrementally. Evelyne Contejean |
| 1993 | Some Paradigms for Visualizing Parallel Execution of Logic Programs. Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo |
| 1993 | Status of the Aditi Deductive Database System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |
| 1993 | Temporal Logic Programming with Bounded Universal Modality Goals. Christoph Brzoska |
| 1993 | Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Javier Pinto, Raymond Reiter |
| 1993 | The SQL Interface of MProlog. Kalman Balogh |
| 1993 | The Underlying Search for Magic Templates and Tabulation. Roland N. Bol, Lars Degerstedt |
| 1993 | Towards Generalized Visualization Support for Logic Programming. Anthony J. Kusalik, Gregory M. Oster |
| 1993 | Transaction Logic Programming. Anthony J. Bonner, Michael Kifer |
| 1993 | Transforming Abductive Logic Programs to Disjunctive Programs. Katsumi Inoue, Chiaki Sakama |
| 1993 | User-Defined Constraint Handling. Thom W. Frühwirth |
| 1993 | Variable Elimination for Generalized Linear Constraints. Jean-Louis Imbert |
| 1993 | ZEXPERT - A Prolog-Based Shell for Knowledge Base Development. Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann |