14. ICLP 1997: Leuven, Belgium

Lee Naish: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, July 8-11, 1997, Leuven, Belgium. MIT Press, 1997, ISBN 0-262-64035-X

Opening Session

Yves Caseau, François Laburthe: Solving Small TSPs with Constraints. 316-330 BibTeX
Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. 198-212 BibTeX
Jia-Huai You, Xianchang Wang, Li-Yan Yuan: Disjunctive Logic Programming as Constrained Inferences. 361-375 BibTeX

Analysis I

Peter Schachte: Global Variables in Logic Programming. 3-17 BibTeX
Andreas Kågedal, Saumya K. Debray: A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. 18-32 BibTeX
Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal: Live-Structure Analysis for Logic Programming Languages with Declarations. 33-47 BibTeX

Analysis II

Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo: Non-Failure Analysis for Logic Programs. 48-62 BibTeX
Naomi Lindenstrauss, Yehoshua Sagiv: Automatic Termination Analysis of Logic Programs. 63-77 BibTeX
Stefaan Decorte, Danny De Schreye: Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. 78-92 BibTeX
Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. 93-107 BibTeX

Parallelism

Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. 108-122 BibTeX
Enrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. 123-137 BibTeX
Sergio Antoy, Rachid Echahed, Michael Hanus: Parallel Evaluation Strategies for Functional Logic Languages. 138-152 BibTeX

Rewriting and Functional Programming

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: A Higher Order Rewriting Logic for Functional Logic Programming. 153-167 BibTeX
Femke van Raamsdonk: Translating Logic Programs into Conditional Rewriting Systems. 168-182 BibTeX
Juan M. Molina-Bravo, Ernesto Pimentel: Modularity in Functional-Logic Programming. 183-197 BibTeX

Databases

Ismail H. Toroslu, Fahri Kocabas: Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. 213-225 BibTeX
Carl-Alexander Wichert, Burkhard Freitag: Capturing Database Dynamics by Deferred Updates. 226-240 BibTeX
Michael I. Dekhtyar, Alexander Ja. Dikovsky: Total Homeostaticity and Integrity Constraints Restorability Recognition. 241-255 BibTeX

Visualisation/Natural Language Processing

Verónica Dahl, Paul Tarau, Renwei Li: Assumption Grammars for Processing Natural Language. 256-270 BibTeX
Rick Vaupel, Enrico Pontelli, Gopal Gupta: Visualization of And/Or-Parallel Execution of Logic Programs. 271-285 BibTeX
Christian Schulte: Oz Explorer: A Visual Constraint Programming Tool. 286-300 BibTeX

Constraints

Peter J. Stuckey: Constraint Search Tree. 301-315 BibTeX
Farid Ajili, Claude Kirchner: A Modular Framework for the Combination of Unification and Built-In Constraints. 331-345 BibTeX

Foundations

Kristof Van Belleghem, Marc Denecker, Danny De Schreye: A Strong Correspondence between Description Logics and Open Logic Programming. 346-360 BibTeX
Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. 376-390 BibTeX
Alex Dekhtyar, V. S. Subrahmanian: Hybrid Probabilistic Programs. 391-405 BibTeX

Posters

Peter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. 409 BibTeX
Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. 410 BibTeX
Sameer Mahajan, S. Ramesh: Concurrent Logic Programming and pi Calculus. 411 BibTeX
Tobias Müller, Jörg Würtz: Connecting Propagators with a Concurrent Constraint Language. 412 BibTeX
Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in Constraint Logic Programming. 413 BibTeX
Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku: Tree Drawing Using Constraint Logic Programming. 414 BibTeX
Mengchi Liu: Supporting Partial and Complete Sets and Tuples in Deductive Databases. 415 BibTeX
Michael Codish, Bart Demoen, Konstantinos F. Sagonas: XSB as the Natural Habitat for General Purpose Program Analysis. 416 BibTeX
Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. 417 BibTeX
Jan-Georg Smaus, Patricia M. Hill, Andy King: Domain Construction for Mode Analysis of Typed Logic Programs. 418 BibTeX
Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. 419 BibTeX
Vyacheslav Petukhin: Embedded Implications as a Generalization of Negation as Failure. 420 BibTeX
Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Differential Bottom-Up Computation of the Well-Founded Semantics. 421 BibTeX
Michael Codish: Efficient Goal Directed Bottom-up Evaluation of Logic Programs. 422 BibTeX