| 1997 | Optimization of Logic Programs with Dynamic Scheduling. | Germn Puebla, Maria J. Garca de la Banda, Kim Marriott, Peter J. Stuckey |
| 1997 | Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. | Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro |
| 1997 | Implementation Mechanisms for Dependent And-Parallelism. | Enrico Pontelli, Gopal Gupta |
| 1997 | Embedded Implications as a Generalization of Negation as Failure. | Vyacheslav Petukhin |
| 1997 | Connecting Propagators with a Concurrent Constraint Language. | Tobias Mller, Jrg Wrtz |
| 1997 | Modularity in Functional-Logic Programming. | Juan M. Molina-Bravo, Ernesto Pimentel |
| 1997 | Concurrent Logic Programming and pi Calculus. | Sameer Mahajan, S. Ramesh |
| 1997 | Supporting Partial and Complete Sets and Tuples in Deductive Databases. | Mengchi Liu |
| 1997 | Automatic Termination Analysis of Logic Programs. | Naomi Lindenstrauss, Yehoshua Sagiv |
| 1997 | Reasoning on Constraints in Constraint Logic Programming. | Evelina Lamma, Michela Milano, Paola Mello |
| 1997 | A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. | Andreas Kgedal, Saumya K. Debray |
| 1997 | Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. | Zhiyi Huang, Chengzheng Sun, Abdul Sattar |
| 1997 | A Higher Order Rewriting Logic for Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1997 | Taking I/O Seriously: Resolution Reconsidered for Disk. | Juliana Freire, Terrance Swift, David Scott Warren |
| 1997 | Hybrid Probabilistic Programs. | Alex Dekhtyar, V. S. Subrahmanian |
| 1997 | Total Homeostaticity and Integrity Constraints Restorability Recognition. | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1997 | Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. | Stefaan Decorte, Danny De Schreye |
| 1997 | Non-Failure Analysis for Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 1997 | Assumption Grammars for Processing Natural Language. | Vernica Dahl, Paul Tarau, Renwei Li |
| 1997 | XSB as the Natural Habitat for General Purpose Program Analysis. | Michael Codish, Bart Demoen, Konstantinos Sagonas |
| 1997 | Efficient Goal Directed Bottom-up Evaluation of Logic Programs. | Michael Codish |
| 1997 | The Complexity of Model Checking in Modal Event Calculi. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | Solving Small TSPs with Constraints. | Yves Caseau, Franois Laburthe |
| 1997 | Sharing Analysis Using Set Logic Programs. | Francisco Bueno, Michael Codish, Vitaly Lagoon |
| 1997 | Live-Structure Analysis for Logic Programming Languages with Declarations. | Maurice Bruynooghe, Gerda Janssens, Andreas Kgedal |