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 BibTeX
Thomas W. Reps: Program Analysis via Graph Reachability. 5-19 BibTeX
Heikki Mannila: Inductive Databases and Condensed Representations for Data Mining. 21-30 BibTeX

Advanced Tutorials

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

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 BibTeX
Yan Zhang, Norman Y. Foo: Answer Sets for Prioritized Logic Programs. 69-83 BibTeX
Joeri Engelfriet, Heinrich Herre: Generated Preferred Models and Extensions of Nonmonotonic Systems. 85-99 BibTeX
Eneia Todoran, Jerry den Hartog, Erik P. de Vink: Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. 101-115 BibTeX

Implementation

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

Deductive Databases

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

Applications

Benjamin N. Grosof: Prioritized Conflict Handling for Logic Programs. 197-211 BibTeX
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 BibTeX

Disjunctive Logic Programming

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

Analysis

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

Constraints

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

Knowledge Representation and Reasoning

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

Poster Abstracts

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

Post-Conference Workshops

Michael Leuschel: Specialization of Declarative Programs and Its Applications (Workshop Overview). 413-414 BibTeX , 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 BibTeX , 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 BibTeX , Workshop Home Page
Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira: Logic Programming and Knowledge Representation (LPKR'97). 419-420 BibTeX , Workshop Home Page
Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori: Verification, Model Checking and Abstract Interpretation (Workshop Overview). 421-422 BibTeX , Workshop Home Page