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 BibTeX

Advanced Tutorials

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

Semantics I

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

Parallelism

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

Implementation

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

Actions

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

Semantics II

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

Constraints I

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

Higher-Order and Meta Programming

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

Databases

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

Abduction and Negation

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

Analysis

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

Constraint II

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

Transformation and Synthesis

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

Poster Abstracts

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