11. ICLP 1994: Santa Margherita Ligure, Italy

Pascal Van Hentenryck (Ed.): Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, 1994, Santa Margherita Ligure, Italy. MIT Press 1994, ISBN 0-262-72022-1

Invited Talks

John Launchbury, Simon L. Peyton Jones: Lazy Funtional State Threads: An Abstract. 3-5

Advanced Tutorials

Sverker Janson: Implementation of Andorra-based Languages. 9-10
Kung-Kiu Lau, Geraint A. Wiggins: A Tutorial on Synthesis of Logic Programs from Specifications. 11-14
Evelina Lamma, Paola Mello: Modularity in Logic Programming. 15-17
Antonis C. Kakas, Paolo Mancarella: Abduction and Abductive Logic Programming. 18-19

Semantics I

Vladimir Lifschitz, Hudson Turner: Splitting a Logic Program. 23-37
Norman McCain, Hudson Turner: Language Independence and Language Tolerance in Logic Programs. 38-57
Jürgen Stuber: Computing Stable Models by Program Transformation. 58-73
Krzysztof R. Apt, Maurizio Gabbrielli: Declarative Interpretations Reconsidered. 74-89

Parallelism

Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. 93-109
Remco Moolenaar, Bart Demoen: Hybrid Tree Search in the Andorra Model. 110-123
Shyam Mudambi, Joachim Schimpf: Parallel CLP on Heterogeneous Networks. 124-141
Lourdes Araujo, José J. Ruz: PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. 142-156

Implementation

Neng-Fa Zhou: On the Scheme of Passing Arguments in Stack Frames for Prolog. 159-174
Peter A. Bigot, David Gudeman, Saumya K. Debray: Output Value Placement in Moded Logic Programs. 175-189
Ralph Clarke Haygood: Native Code Compilation in SICStus Prolog. 190-204

Actions

Michael Thielscher: Representing Actions in Equational Logic Programming. 207-224
Kristof Van Belleghem, Marc Denecker, Danny De Schreye: Representing Continuous Change in the Abductive Event Calculus. 225-239
Alessio Guglielmi: Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. 240-254

Semantics II

Sonia M. Leach, James J. Lu: Computing Annotated Logic Programs. 257-271
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Conditonal Logic Programming. 272-289
Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. 290-302
Jürgen Dix, Martin Müller: An Axiomatic Approach to Semantics of Disjunctive Programs. 303-320

Constraints I

Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes: Finding Conflict Sets and Backtrack Points in CLP(R). 323-338
Björn Carlson, Mats Carlsson, Daniel Diaz: Entailment of Finite Domain Constraints. 339-353
Antoine Rauzy: Notes on the Design of an Open Boolean Solver. 354-368
Yves Caseau, François Laburthe: Improved CLP Scheduling with Task Intervals. 369-383

Higher-Order and Meta Programming

Yuejun Jiang: Ambivalent Logic as the Semantic Basis of Metalogic Programming. 387-401
Uday S. Reddy: Higher-order Aspects of Logic Programming. 402-418
Luís Caires, Luís Monteiro: Higher-Order Polymorphic Unification for Logic Programming. 419-433

Databases

Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci: A Database Interface for Complex Objects. 437-455
Hendrik Decker, Matilde Celma: A Slick Procedure for Integrity Checking in Deductive Databases. 456-469
Eric Villemonte de la Clergerie, Bernard Lang: LPDA: Another look at Tabulation in Logic Programming. 470-486

Abduction and Negation

Chiaki Sakama, Katsumi Inoue: On the Equivalence between Disjunctive and Abductive Logic Programs. 489-503
Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung: The Acceptability Semantics for Logic Programs. 504-519
Annalisa Bossi, Massimo Fabris, Maria Chiara Meo: A Bottom-up Semantics for Constructive Negation. 520-534
Juan José Moreno-Navarro: Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. 535-549

Analysis

Andy King, Paul Soper: Depth-k Sharing and Freeness. 553-568
Veroniek Dumortier, Gerda Janssens: Towards a Practical Full Mode Inference System for CLP(H, N). 569-583
Dino Pedreschi: A Proof Method for Runtime Properties of Prolog Programs. 584-598
John P. Gallagher, D. Andre de Waal: Fast and Precise Regular Approximations of Logic Programs. 599-613

Constraint II

Hélène Kirchner, Christophe Ringeissen: Constraint Solving by Narrowing in Combined Algebraic Domains. 617-631
François Barthélemy: A Grammatical Approach to DCG Parsing. 632-646
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Compiling Intensional Sets in CLP. 647-661

Transformation and Synthesis

Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: The Halting Problem for Deductive Synthesis of Logic Programs. 665-683
Kouichi Kumon, Keiji Hirata: A New Transformation based on Process-Message Duality for Concurrent Logic Languages. 684-698
Dmitri Boulanger, Danny De Schreye: Compiling Control Revisited: A New Approach based upon Abstract Interpretation. 699-713
Maurizio Proietti, Alberto Pettorossi: Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. 714-729

Poster Abstracts

Carmen Gervet: Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. 733
Marion Mircheva: Logic Programs with Refutation Rules. 734
Henning Christiansen: Efficient and Complete Demo Predicates for Definite Clause Languages. 735-736
Stephan Diel: Towards a Verified OR-Parallel WAM. 737-738
Paulo Jorge de Sousa Azevedo, Marek J. Sergot: Recomputation-Free Lemmatization by Program Transformation. 739-740
David A. Basin: IsaWhelk Interpreted in Isabelle. 741
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection through Constraint Satisfaction. 742
Jean-Marie Jacquet, Luís Monteiro: PP-clauses: A Means for Handling Resources. 743
Esther D. Silcrat: Logic, Algebra and Static Analysis in DM Systems, the IE Way. 744
Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos: Proving Hardware Designs. 745
Andreas Kågedal: A Dataflow Analysis Method for Ground Prolog. 746
Roman R. Zapatrin: Logic Programming as Quantum Measurement. 747