13. JICSLP 1996: Bonn, Germany

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 BibTeX

Constraint Logic Programming

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

Non-Classical Logic Programming

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

Implementation

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

Deductive Database Updates

• Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. 142-156 BibTeX
• Hendrik Decker: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. 157-169 BibTeX
• 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 BibTeX

Types and Modes

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

Higher-Order Logic Programming

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

Computation of Well-Founded Semantics

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

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 BibTeX
• Moreno Falaschi, Patrick Hicks, William H. Winsborough: Demand Transformation Analysis for Concurrent Constraint Programs. 333-347 BibTeX
• Gilberto Filé, Francesco Ranzato: Complementation of Abstract Domains made Easy. 348-362 BibTeX

Constraint Solving

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

Stable Model Semantics

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

Semantics of Negation

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

Parallelism

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

Poster Abstracts

• Stefan Lüttringhaus-Kappel, Dirk Schulz: Applications of Efficient Lazy Set Expression (Poster Abstract). 531 BibTeX
• 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 BibTeX
• Thomas H. Kolbe: Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). 533 BibTeX
• Mireille Ducassé, Jacques Noyé: Tracing Prolog without a Tracer (Poster Abstract). 534 BibTeX
• Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). 535 BibTeX
• Rolf Schwitter, Norbert E. Fuchs: Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). 536 BibTeX
• Andreas Fordan, Ulrich Geske, Alexander Nareyek: Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). 537 BibTeX
• Juliana Freire, Terrance Swift, David Scott Warren: Logic Programming and Databases Integrated at Last? (Poster Abstract). 538 BibTeX
• 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 BibTeX
• Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira: A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). 540 BibTeX
• Liem Ngo: Probabilistic Disjunctive Deductive Databases (Poster Abstract). 541 BibTeX
• Enrico Pontelli, Gopal Gupta: Dependent And-Parallelism Revisited (Poster Abstract). 542 BibTeX
• Michael Jampel, Jean-Marie Jacquet, David Gilbert: A General Framework for Integrating HCLP and PCSP (Poster Abstract). 543 BibTeX
• H. Lewis Chau: Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). 544 BibTeX
• Naoyuki Tamura, Yukio Kaneda: Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). 545 BibTeX
• 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 BibTeX
• Sven-Erik Bornscheuer: Generating Rational Models (Poster Abstract). 547 BibTeX
• Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld: Colour Tagging for Prolog Visualization (Poster Abstract). 548 BibTeX
• Ulrich Neumerkel: GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). 549 BibTeX