Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news4.ner.bbnplanet.net!news3.near.net!noc.near.net!news.mathworks.com!news.kei.com!sol.ctr.columbia.edu!howland.reston.ans.net!dish.news.pipex.net!pipex!tank.news.pipex.net!pipex!warwick!bsmail!miki!jwl
From: jwl@miki.cs.bris.ac.uk (John Lloyd)
Subject: Accepted papers for ILPS'95
Message-ID: <DBuww1.Gzt@uns.bris.ac.uk>
Sender: jwl@miki (John Lloyd)
Nntp-Posting-Host: miki.cs.bris.ac.uk
Organization: University of Bristol, Dept of Computer Science
Date: Mon, 17 Jul 1995 10:52:49 GMT
Lines: 122

Here is the list of accepted papers for ILPS'95. I emailed the reviewers' 
comments to each author who submitted a paper. Any author who hasn't received 
these by now should contact me.  John Lloyd

===============================================================================


   -----------------------------------
   List of accepted Papers for ILPS'95
   -----------------------------------

   Compositionality in SLD-derivations and their abstractions
   Marco Comini  Giorgio Levi  Maria Chiara Meo  

   Declarative Diagnosis Revisited
   Marco Comini  Giorgio Levi  

   A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
   Christian Prehofer  

   Declarative and Fixpoint Characterizations of Disjunctive Stable Models
   Nicola Leone  Pasquale Rullo  Francesco Scarcello  

   Partial Deduction of the Ground Representation and its Application to 
   Integrity Checking
   Michael Leuschel  Bern Martens  

   The Logical Semantics of the Prolog Cut
   James Andrews  

   A Formal Approach to Deductive Synthesis of Constraint Logic Programs
   Kung-Kiu Lau  Mario Ornaghi  

   A Simple Approach to Supporting Untagged Objects in Dynamically Typed 
   Languagues
   Peter A. Bigot  Saumya K. Debray  

   Logic Programming without Negation as Failure
   Yannis Dimopoulos  Antonis Kakas  

   Beyond the Glass Box: Constraints as Objects
   Jean-Francois Puget  Michel Leconte  

   A Blueprint for an Abstract Machine for Abstract Interpretation of 
   (Constraint) Logic Programs
   Gerda Janssens  Maurice Bruynooghe  Veroniek Dumortier  

   A clause-driven proof search for hereditary Harrop formulas
   Alain Hui-Bon-Hoa  

   Efficient Analysis of Logic Programs with Dynamic Scheduling
   Mar\'{i}a Garc\'{i}a de la Banda  Kim Marriott  Peter Stuckey  

   Abstraction of Conditional Term Rewriting Systems
   D. Bert  R. Echahed  

   Optimizing Clause Resolution: Beyond Unification Factoring
   Steven Dawson  C. R. Ramakrishnan  I. V. Ramakrishnan  Terrence Swift  

   A Compositional Proof Method of Partial Correctness for Normal Logic Programs
   G\'{e}rard Ferrand   Arnaud Lallouet  

   Type Correct programs A semantic approach
   Bernard Malfon  G\'{e}rard Ferrand  

   Implementing the Linear Logic Programming Language Lygon
   Michael Winikoff  James Harland  

   Correctness of Logic Program Transformations Based on Existential Termination
   Kung-Kiu Lau  Mario Ornaghi  Alberto Pettorossi  Maurizio Proietti  

   Control flow analysis of Prolog
   Thomas Lindgren  

   Proving Termination of Logic Programs with Delay Declarations
   Elena Marchiori   Frank Teusink  

   Modelling Real-Time in Concurrent Constraint Programming
   F. S. de Boer  M. Gabbrielli  

   The Mercury code generator
   Thomas Conway  Fergus Henderson  Zoltan Somogyi  

   Semantical Properties of Encodings in Logic Programming
   Jonas Barklund  Pierangelo Dell'Acqua  Stefania Costantini  Gaetano A Lanzarone  

   The implementation of AKL(FD)
   Bj\"{o}rn Carlson  Mats Carlsson  Sverker Janson  

   Temporal Logic Programming in Dense Time
   Christoph Brzoska  

   Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog
   David Toman  

   Practical Model-Based Static Analysis for Definite Logic Programs
   John Gallagher  Dmitri Boulanger  H\"{u}seyin Sa\u{g}lam  

   Generalization in Positive Supercompilation
   M. H. S\orensen  R. Gl\"{u}ck  

   Objects in Forum
   Giorgio Delzanno  Maurizio Martelli  

   Monadic Constructs for Logic Programming
   Yves Bekkers  Paul Tarau  

   A Typed Extension to Datalog with Sets and Tuples (Extended Abstract)
   Mengchi Liu  

   An Introspective Framework for Paraconsistent Logic Programs
   Jia-Huai You  Suryanil Ghosh  Li-Yan Yuan  Randy Goebel  

   Functional Dependencies and Moore-Set Completions of Abstract Interpretations
   and Semantics
   Roberto Giacobazzi  Francesco Ranzato  

   A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
   Hasan M. Jamil  Laks V. S. Lakshmanan  



