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

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

Last update Mon Feb 13 04:30:59 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page