14. ILPS 1997: Port Jefferson, NY, USA

Jan Maluszynski (Ed.): Logic Programming, Proceedngs of the 1997 International Symposium, Port Jefferson, Long Island, N.Y., October 13-16, 1997. MIT Press, 1997, ISBN 0-262-63180-6

Invited Talks

Edmund M. Clarke: Temporal Logic Model Checking (Abstract). 3
Thomas W. Reps: Program Analysis via Graph Reachability. 5-19
Heikki Mannila: Inductive Databases and Condensed Representations for Data Mining. 21-30

Advanced Tutorials

Paul Tarau: Logic Programming Tools for Advanced Internet Programming (Abstract). 33-34
Andreas Podelski: Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). 35-36
Gert Smolka: Constraint Programming in Oz (Abstract). 37-38
Rob Gerth: Model Checking (Abstract). 39
Verónica Dahl: Logic Programming for Processing Natural Language (Abstract). 41-42
Michael Hanus: Multi-Paradigm Declarative Programming (Abstract). 43-45
Michael Kifer: Transaction Logic: An Introduction (Abstract). 47-48
Manuel V. Hermenegildo: Programming with Global Analysis (Abstract). 49-50

Refereed Papers

Semantics

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. 53-67
Yan Zhang, Norman Y. Foo: Answer Sets for Prioritized Logic Programs. 69-83
Joeri Engelfriet, Heinrich Herre: Generated Preferred Models and Extensions of Nonmonotonic Systems. 85-99
Eneia Todoran, Jerry den Hartog, Erik P. de Vink: Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. 101-115

Implementation

Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. 117-131
Johan Montelius, Peter S. Magnusson: Using SimICS to Evaluate the Penny System. 133-147
Tobias Müller, Jörg Würtz: Extending a Concurrent Constraint Language by Propagators. 149-163

Deductive Databases

Chandrabose Aravindan, Peter Baumgartner: A Rational and Efficient Algorithm for View Deletion in Databases. 165-179
Sergio Greco, Domenico Saccà: NP Optimization Problems in Datalog. 181-195

Applications

Benjamin N. Grosof: Prioritized Conflict Handling for Logic Programs. 197-211
Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart E. Madnick, Michael Siegel: A Procedure for Mediation of Queries to Sources in Disparate Contexts. 213-227

Disjunctive Logic Programming

Peter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. 229-243
Dietmar Seipel, Jack Minker, Carolina Ruiz: A Characterization of the Partial Stable Models For Disjunctive Databases. 245-259

Analysis

Andy King, Kish Shen, Florence Benoy: Lower-bound Time-complexity Analysis of Logic Programs. 261-275
Jichang Tan, I-Peng Lin: Recursive Modes for Precise Analysis of Logic Programs. 277-290
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin: Lower Bound Cost Estimation for Logic Programs. 291-305

Constraints

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formulas. 307-321
Agostino Dovier, Andrea Formisano, Alberto Policriti: On T Logic Programming. 323-337
Narendra Jussien, Patrice Boizumault: Best-First Search for Property Maintenance in Reactive Constraint Systems. 339-353

Knowledge Representation and Reasoning

Michael Gelfond, Alfredo Gabaldon: From Functional Specifications to Logic Programms. 355-369
Sofie Verbaeten, Marc Denecker, Danny De Schreye: Compositionality of Normal Open Logic Programs. 371-385
Chitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. 387-401

Poster Abstracts

Jürgen Dix, Mauricio Osorio: On Well-Behaved Semantics Suitable for Aggregation. 405
Jacinto A. Dávila: OPENLOG: A Logic Language to Program Reactive and Rational Agents. 406
Pawel Pietrzak: Type Inference for CLP(FD). 407
Helmut Seidl, Christian Fecht: Disjuntive Completion Is Not "Optimal". 408
Juliana Freire, David Scott Warren: Controlling the Search in Tabled Evaluations. 409

Post-Conference Workshops

Michael Leuschel: Specialization of Declarative Programs and Its Applications (Workshop Overview). 413-414 , Workshop Home Page
Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski: Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. 415-416 , Workshop Home Page
Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte: Tools and Environments for (Constraint) Logic Programming (Workshop Overview). 417-418 , Workshop Home Page
Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira: Logic Programming and Knowledge Representation (LPKR'97). 419-420 , Workshop Home Page
Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori: Verification, Model Checking and Abstract Interpretation (Workshop Overview). 421-422 , Workshop Home Page