Joint International Conference and Symposium on Logic Programming

Michael J. Maher (Ed.): Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, September 2-6, 1996, Bonn, Germany. MIT Press, 1996, ISBN 0-262-63173-3

Invited Talk

• 
  Jean-Francois Puget: Constraint Programming (Abstract). 3

Constraint Logic Programming

• 
  Frédéric Mesnard: Inferring Left-terminating Classes of Queries for Constraint Logic Programs. 7-21
• 
  Philippe Refalo, Pascal Van Hentenryck: CLP(Rlin) Revised. 22-36
• 
  Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap: Effectiveness of Optimizing Compilation for CLP(R). 37-51

Non-Classical Logic Programming

• 
  Matteo Baldoni, Laura Giordano, Alberto Martelli: A Framework for a Modal Logic Programming. 52-66
• 
  Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: A Linear Logic Calculus Objects. 67-81
• 
  Chiaki Sakama, Katsumi Inoue: Representing Priorities in Logic Programs. 82-96

Implementation

• 
  Neng-Fa Zhou: A Novel Implementation Method of Delay. 97-111
• 
  Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan: A Thread in Time Saves Tabling Time. 112-126
• 
  Ulrich Neumerkel: Interprocedural Register Allocation for the WAM based on Source to Source Transformations. 127-141

Deductive Database Updates

• 
  Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. 142-156
• 
  Hendrik Decker: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. 157-169
• 
  Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye: A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. 170-184

Types and Modes

• 
  Lee Naish: A Declarative View of Modes. 185-199
• 
  Jichang Tan, I-Peng Lin: Type Synthesis for Logic Programs. 200-214
• 
  Kenta Cho, Kazunori Ueda: Diagnosing Non-Well-Moded Concurrent Logic Programs. 215-229

Higher-Order Logic Programming

• 
  Andreas Hamfelt, Jørgen Fischer Nilsson: Declarative Logic Programming with Primitive Recursive Relations on Lists. 230-243
• 
  Olivier Ridoux: Engineering Transformations of Attributed Grammars in LambdaProlog. 244-258
• 
  Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning: Unification via Explicit Substitutions: The Case of Higher-Order Patterns. 259-273

Computation of Well-Founded Semantics

• 
  Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. 274-288
• 
  Ilkka Niemelä, Patrik Simons: Efficient Implementation of the Well-founded and Stable Model Semantics. 289-303
• 
  Ulrich Zukowski, Burkhard Freitag: Adding Flexibility to Query Evaluation for Modularly Stratified Databases. 304-318

Analysis and Optimization

• 
  Michael Leuschel, Danny De Schreye, D. Andre de Waal: A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. 319-332
• 
  Moreno Falaschi, Patrick Hicks, William H. Winsborough: Demand Transformation Analysis for Concurrent Constraint Programs. 333-347
• 
  Gilberto Filé, Francesco Ranzato: Complementation of Abstract Domains made Easy. 348-362

Constraint Solving

• 
  Yves Caseau, François Laburthe: Cumulative Scheduling with Task Intervals. 363-377
• 
  Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert: Boosting the Interval Narrowing Algorithm. 378-392
• 
  M. R. K. Krishna Rao: Completeness Results for Basic Narrowing in Non-Copying Implementations. 393-407

Stable Model Semantics

• 
  Pawel Cholewinski, Miroslaw Truszczynski: Extremal Problems in Logic Programming and Stable Model Computation. 408-422
• 
  Shekhar Pradhan: Logic Programs with Contested Information. 423-437
• 
  Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco: Asserting Lemmas in the Stable Model Semantics. 438-452

Semantics of Negation

• 
  François Bry: A Compositional Semantics for Logic Programs and Deductive Databases. 453-467
• 
  Sandro Etalle, Frank Teusink: A Compositional Semantics for Normal Open Programs. 468-482
• 
  Michael Thielscher: A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. 483-497

Parallelism

• 
  Anthony J. Kusalik, Steven David Prestwich: Visualizing Parallel Logic Program Execution for Performance Tuning. 498-512
• 
  Kish Shen: Initial Results of the Parallel Implementation of DASWAM. 513-527

Poster Abstracts

• 
  Stefan Lüttringhaus-Kappel, Dirk Schulz: Applications of Efficient Lazy Set Expression (Poster Abstract). 531
• 
  Wolfram Burgard, Armin B. Cremers, Dieter Fox, Angelica Maria Kappel, Stefan Lüttringhaus-Kappel: Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract). 532
• 
  Thomas H. Kolbe: Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). 533
• 
  Mireille Ducassé, Jacques Noyé: Tracing Prolog without a Tracer (Poster Abstract). 534
• 
  Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). 535
• 
  Rolf Schwitter, Norbert E. Fuchs: Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). 536
• 
  Andreas Fordan, Ulrich Geske, Alexander Nareyek: Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). 537
• 
  Juliana Freire, Terrance Swift, David Scott Warren: Logic Programming and Databases Integrated at Last? (Poster Abstract). 538
• 
  Alberto Pettorossi, Maurizio Proietti, Sophie Renault: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). 539
• 
  Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira: A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). 540
• 
  Liem Ngo: Probabilistic Disjunctive Deductive Databases (Poster Abstract). 541
• 
  Enrico Pontelli, Gopal Gupta: Dependent And-Parallelism Revisited (Poster Abstract). 542
• 
  Michael Jampel, Jean-Marie Jacquet, David Gilbert: A General Framework for Integrating HCLP and PCSP (Poster Abstract). 543
• 
  H. Lewis Chau: Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). 544
• 
  Naoyuki Tamura, Yukio Kaneda: Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). 545
• 
  Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). 546
• 
  Sven-Erik Bornscheuer: Generating Rational Models (Poster Abstract). 547
• 
  Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld: Colour Tagging for Prolog Visualization (Poster Abstract). 548
• 
  Ulrich Neumerkel: GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). 549