| 1997 | A Higher Order Rewriting Logic for Functional Logic Programming. Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
| 1997 | A Modular Framework for the Combination of Unification and Built-In Constraints. Farid Ajili, Claude Kirchner |
| 1997 | A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. Andreas Kågedal, Saumya K. Debray |
| 1997 | A Strong Correspondence between Description Logics and Open Logic Programming. Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1997 | Assumption Grammars for Processing Natural Language. Verónica Dahl, Paul Tarau, Renwei Li |
| 1997 | Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro |
| 1997 | Automatic Termination Analysis of Logic Programs. Naomi Lindenstrauss, Yehoshua Sagiv |
| 1997 | Calculi for Disjunctive Logic Programming. Peter Baumgartner, Ulrich Furbach |
| 1997 | Capturing Database Dynamics by Deferred Updates. Carl-Alexander Wichert, Burkhard Freitag |
| 1997 | Concurrent Logic Programming and pi Calculus. Sameer Mahajan, S. Ramesh |
| 1997 | Connecting Propagators with a Concurrent Constraint Language. Tobias Müller, Jörg Würtz |
| 1997 | Constraint Search Tree. Peter J. Stuckey |
| 1997 | Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. Stefaan Decorte, Danny De Schreye |
| 1997 | Differential Bottom-Up Computation of the Well-Founded Semantics. Ulrich Zukowski, Burkhard Freitag, Stefan Brass |
| 1997 | Disjunctive Logic Programming as Constrained Inferences. Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
| 1997 | Domain Construction for Mode Analysis of Typed Logic Programs. Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1997 | Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. Ismail H. Toroslu, Fahri Kocabas |
| 1997 | Efficient Goal Directed Bottom-up Evaluation of Logic Programs. Michael Codish |
| 1997 | Embedded Implications as a Generalization of Negation as Failure. Vyacheslav Petukhin |
| 1997 | Global Variables in Logic Programming. Peter Schachte |
| 1997 | Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. Zhiyi Huang, Chengzheng Sun, Abdul Sattar |
| 1997 | Hybrid Probabilistic Programs. Alex Dekhtyar, V. S. Subrahmanian |
| 1997 | Implementation Mechanisms for Dependent And-Parallelism. Enrico Pontelli, Gopal Gupta |
| 1997 | Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
| 1997 | Live-Structure Analysis for Logic Programming Languages with Declarations. Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal |
| 1997 | Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 Lee Naish |
| 1997 | Modularity in Functional-Logic Programming. Juan M. Molina-Bravo, Ernesto Pimentel |
| 1997 | Non-Failure Analysis for Logic Programs. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo |
| 1997 | Optimization of Logic Programs with Dynamic Scheduling. Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
| 1997 | Oz Explorer: A Visual Constraint Programming Tool. Christian Schulte |
| 1997 | Parallel Evaluation Strategies for Functional Logic Languages. Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1997 | Reasoning on Constraints in Constraint Logic Programming. Evelina Lamma, Michela Milano, Paola Mello |
| 1997 | Sharing Analysis Using Set Logic Programs. Francisco Bueno, Michael Codish, Vitaly Lagoon |
| 1997 | Solving Small TSPs with Constraints. Yves Caseau, François Laburthe |
| 1997 | Supporting Partial and Complete Sets and Tuples in Deductive Databases. Mengchi Liu |
| 1997 | Taking I/O Seriously: Resolution Reconsidered for Disk. Juliana Freire, Terrance Swift, David Scott Warren |
| 1997 | The Complexity of Model Checking in Modal Event Calculi. Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | Total Homeostaticity and Integrity Constraints Restorability Recognition. Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1997 | Translating Logic Programs into Conditional Rewriting Systems. Femke van Raamsdonk |
| 1997 | Tree Drawing Using Constraint Logic Programming. Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku |
| 1997 | Visualization of And/Or-Parallel Execution of Logic Programs. Rick Vaupel, Enrico Pontelli, Gopal Gupta |
| 1997 | XSB as the Natural Habitat for General Purpose Program Analysis. Michael Codish, Bart Demoen, Konstantinos Sagonas |