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
Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. 198-212
Jia-Huai You, Xianchang Wang, Li-Yan Yuan: Disjunctive Logic Programming as Constrained Inferences. 361-375

Analysis I

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

Analysis II

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

Parallelism

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

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
Femke van Raamsdonk: Translating Logic Programs into Conditional Rewriting Systems. 168-182
Juan M. Molina-Bravo, Ernesto Pimentel: Modularity in Functional-Logic Programming. 183-197

Databases

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

Visualisation/Natural Language Processing

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

Constraints

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

Foundations

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

Posters

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

Last update Tue Feb 14 04:01:42 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page