Port Jefferson, New York
October 13-16
The International Logic Programming Symposium ILPS'97 is the fourteenth in
the series of symposia on logic programming initiated in North America in
1984.
A total of 22 accepted papers will be presented during the conference,
along with 8 tutorials by leading researchers in the field and 3 invited
talks by prominent researchers in related fields. As with other
conferences, a poster session and 7 post-conference workshops provide
forums for newly emerging work and topics.
The site of the conference will be Port Jefferson, New York located 50
miles east of New York City and 7 miles from Stony Brook University. Port
Jefferson is a former whaling village, and the site of the conference,
Danford's Inn, is a historic inn located on Long Island sound. The main
social event of the conference will be the banquet, on October 15, in the
Port Jefferson Country Club, situated on a cliff overlooking Long Island
Sound.
The 1997 International Logic Programming Symposium is organized for the
Association for Logic Programming, and is sponsored by CASP and Dayton
T. Brown, Inc., Eshare Technologies, and the University at Stony Brook.
For further information, send email to ilps97@cs.sunysb.edu and/or
consult the conference's web pages:
www.ida.liu.se/~ilps97
www.cs.sunysb.edu/~ilps97
---------------------------------------------------------------------------
Preliminary Conference Program
---------------------------------------------------------------------------
Monday, October 13, 1997
9:00 - 10:00 Invited Talk: (Title to be announced) Ed Clarke, Carnegie
Mellon University
10:30 - 12:30 Paper Sessions
Session A: Semantics
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic
Polymorphic Types.
Puri Arenas-Sanchez and Mario Rodriguez-Artalejo
Answer Sets for Prioritized Logic Programs.
Yan Zhang and Norman Y. Foo
Generated Preferred Models and Extensions of Non-monotonic Systems.
Joeri Engelfriet and Heinrich Herre
Pruning the Search Space in the OR-Parallel Execution of Logic Programs: A
Comparative Semantics Study.
Erik Peter de Vink, Jerry den Hartog and Eneia Todoran
Session B: Implementation
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems.
Manuel Eduardo Correia and Fernando Silva and Vitor Santos Costa
Using Simics to Evaluate the Penny System.
Johan Montelius and Peter Magnusson
Extending a Concurrent Constraint Language by Propagators.
Tobias Mueller and Jorg Wurtz
2:00 - 3:30: Tutorial: Logic Programming Tools for Advanced Internet
Programming.
Paul Tarau
4:00 - 5:00 Paper Sessions
Session A: Deductive Databases
A Rational and Efficient Algorithm for View Deletion in Databases.
Chandrabose Aravindan and Peter Baumgartner
NP Optimization Problems in Datalog.
Sergio Greco and Domenico Sacca
Session B: Applications
Prioritized Conflict Handling for Logic Programs.
Benjamin N. Grosof
A Procedure for Mediation of Queries to Sources in Disparate Contexts
S. Bressan, C. H. Goh, T. Lee, S. Madnick and M. Siegel
---------------------------------------------------------------------------
Tuesday, October 14, 1997
9:00 - 10:00 Invited Talk: Program Analysis via Graph Reachability.
Tom Reps, University of Wisconsin
10:30 - 12:00 Tutorials
Set-based Program Analysis.
Andreas Podelski
Constraint Programming in Oz.
Gert Smolka
1:30 - 3:00 Paper Sessions
Session A: Disjunctive Logic Programming
Calculi for Disjunctive Logic Programming.
Peter Baumgartner and Ulrich Furbach
A Characterization of the Partial Stable Models For Disjunctive Databases.
Dietmar Seipel, Jack Minker and Carolina Ruiz
Session B: Analysis
Lower-bound Time-complexity Analysis of Logic Programs.
Andy King, Kish Shen and Florence Benoy
Recursive Modes for Precise Analysis of Logic Programs.
Jichang Tan and I-Peng Lin
Lower Bound Cost Estimation for Logic Programs.
S.K. Debray, P. Lopez-Garcia, Manuel Hermenegildo and Nai-Wei Lin
3:30 - 5:00 Tutorial: Model Checking.
Rob Gerth
---------------------------------------------------------------------------
Wednesday, October 15, 1997
9:00 - 10:00 Invited Talk: (Title to be announced)
Heikki Manilla, University of Helsinki
10:30 - 12:00 Tutorials
LP and Natural Language.
Veronica Dahl
Multi-Paradigm Declarative Programming.
Michael Hanus
1:00 - 2:30 Poster Session
2:30 - 3:30 Paper Sessions
Session A: Constraints
Constraint Logic Programming with Hereditary Harrop Formulas.
Javier Leach, Susana Nieva and Mario Rodriguez-Artalejo
On T Logic Programming.
Agostino Dovier, Andrea Formisano and Alberto Policriti
Property Maintenance for Reactive Constraint Systems.
Narendra Jussien and Patrice Boizumault
Session B: Knowledge Representation and Reasoning
Towards a Systematic Approach for Representing Knowledge in Declarative
Logic Programming.
Michael Gelfond and Alfredo Gabaldon
Compositionality of Normal Open Logic Programs.
Sofie Verbaeten, Marc Denecker and Danny De Schreye
Approximate Reasoning about Actions in Presence of Sensing and Incomplete
Information.
Chitta Baral and Tran Cao Son
4:00 - 5:30 Tutorials
Transaction Logic: An Introduction.
Michael Kifer
Programming with Global Analysis.
Manuel Hermenegildo
---------------------------------------------------------------------------
Thursday, October 16, 1997
Post Conference Workshops
ILPS'97 Post-Conference Workshop on Specialization of Declarative
Programs and its Applications.
Dynamics '97: (Trans)Actions and Change in Logic Programming and Logic
Programming and Deductive Databases.
Second International Workshop on Interval Constraints.
Tools and Environments for (Constraint) Logic Programming.
Logic Programming and Knowledge Representation.
Verification, Model Checking and Abstract Interpretation.
Workshop on Parallelism and Implementation Technology for (Constraint)
Logic Programming Languages.
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------