herme@cs.utexas.edu (Manuel Hermenegildo) (09/18/90)
THE 1990 NORTH AMERICAN CONFERENCE ON LOGIC PROGRAMMING, NACLP90
Hyatt Regency, Austin, Texas
October 29 - November 1, 1990
NACLP90, the North American Conference on Logic
Programming, is a primary forum for presenting
research results in all areas of logic program-
ming, ranging from theory to applications to
implementation.
conference chairman
Carlo Zaniolo, MCC-Austin, USA
local arrangements chairman
Roger Nasr, MCC-Austin, USA
program chairmen
Saumya Debray, Univ. of Arizona, USA
Manuel Hermenegildo, Univ. of Madrid (UPM), Spain
keynote speaker
Robert Boyer, Univ. of Texas, USA
invited speakers
J. Barwise, Indiana Univ., USA
Ugo Montanari, Univ. of Pisa, Italy
F. Pereira, AT&T Bell Labs, USA
banquet speaker
Raymond Smullyan, Indiana Univ., USA
sponsored by
The Association for Logic Programming
in cooperation with
IEEE and ESPRIT
______________________________________________________________________
______________________________________________________________________
program committee
Hassan Ait-Kaci, DEC-Paris, France
Krzysztof R. Apt, CWI Amsterdam, NL
Mats Carlsson, SICS, Sweden
Saumya Debray, Univ. of Arizona, USA
Doug DeGroot, Texas Instruments, USA
Atsuhiro Goto, ICOT, Japan
Steve Gregory, Imperial College, UK
Manuel Hermenegildo, Univ. of Madrid (UPM), Spain
Joxan Jaffar, IBM, USA
Ken Kahn, Xerox PARC, USA
L. V. Kale, Univ. of Illinois, USA
Paris Kanellakis, Brown Univ., USA
Vipin Kumar, Univ. of Minnesota, USA
Kenneth Kunen, Univ. of Wisconsin, USA
Giorgio Levi, Univ. of Pisa, Italy
Jack Minker, Univ. of Maryland, USA
Gopalan Nadathur, Duke Univ., USA
Richard O'Keefe, RMIT, Australia
Raghu Ramakrishnan, Univ. of Wisconsin, USA
Vijay Saraswat, Xerox PARC, USA
Stuart Shieber, Harvard Univ., USA
Hidehiko Tanaka, Univ. of Tokyo, Japan
Evan Tick, Univ. of Oregon, USA
Far East Coordinator
Koichi Furukawa, ICOT, Tokyo, Japan
European Coordinator
Francesca Rossi, Univ. of Pisa, Italy
Publicity Chairwoman
Fosca Giannotti, MCC, USA
Workshop Coordinator
David S. Warren, SUNY-Stony Brook, USA
______________________________________________________________________
______________________________________________________________________
MONDAY, OCTOBER 29, MORNING
______________________________________________________________________
* REGISTRATION, 9:00am
* OPENING REMARKS, 9:15am, room A
Carlo Zaniolo, MCC, Austin, USA
Saumya Debray, U. of Arizona, USA
M. Hermenegildo, U. of Madrid (UPM), Spain
* KEYNOTE ADDRESS, 9:30-10:30am, room A
"Reasoning about Programs",
by Robert Boyer, Univ. of Texas, USA
Chair: Carlo Zaniolo, MCC, Austin, USA
______________________________________________________________________
* SESSION 1A, 11:00am-12:30pm, room A -
SEMANTICS
Chair: Joxan Jaffar, IBM, USA
- "Failure and Success made Symmetric", by Giorgio Levi, Univ. of
Pisa, Italy, Maurizio Martelli, Univ. of Genova, and Catuscia
Palamidessi, Univ. of Pisa, Italy
- "Algebraic Properties of a Class of Logic Programs", by Paolo
Mancarella, Dino Pedreschi, Marina Rondinelli and Marco Tagliatti,
Univ. of Pisa, Italy
- "Stationary Semantics for Disjunctive Logic Programs and Deductive
Databases", by Teodor Przymusinski, Univ. of Texas at El Paso, USA
______________________________________________________________________
* SESSION 1B, 11:00am-12:30pm, room B
IMPLEMENTATION I
Chair: Lee Naish, Univ. of Melbourne, Australia
- "Compilation of Compound Terms in Prolog", by Micha Meier, ECRC,
FRG
- "Finding Advantageous Orders for Argument Unification for the
Prolog WAM", by Zerksis D. Umrigar, SUNY-Binghamton, USA
- "From Decision Trees to Decision Graphs", by Shmuel Kliger and Ehud
Shapiro, Weizmann Inst., Israel
______________________________________________________________________
______________________________________________________________________
MONDAY, OCTOBER 29, AFTERNOON
______________________________________________________________________
* TUTORIAL 1A, 2:00-3:30pm, room A
"Semantics of Concurrent Constraint Programming Languages",
by Vijay Saraswat, Xerox PARC, USA
Chair: Seif Haridi, SICS, Sweden
______________________________________________________________________
* TUTORIAL 1B, 2:00-3:30pm, room B
"Types and Polymorphism",
by Uday Reddy, Univ. of Illinois, USA
Chair: John Gallagher, University of Bristol, U.K.
______________________________________________________________________
* SESSION 2A, 4:00pm-5:30pm, room A
CONSTRAINTS AND THEIR APPLICATIONS
Chair: Ken Kahn, Xerox PARC, USA
- "Partial Evaluation of CLP(FT)", by D. A. Smith and T. Hickey,
Brandeis Univ., USA
- "An Intelligent User-Interface Builder based on Constraint Logic
Programming", by H. Ohwada, F. Mizoguchi, Univ. of Tokyo, Japan
- "Constraint Logic Programming Applied to Hypothetical Reasoning in
Chemistry", by J. Jourdan and R. E. Valdes-Perez, CMU, USA
______________________________________________________________________
* SESSION 2B, 4:00pm-5:30pm, room B
CONCURRENCY
Chair: Udi Shapiro, Weizmann Institute, Israel
- "Concurrent Logic Programming: Asynchronism and Language
Comparison", by F. S. DeBoer, T.U. Eindhoven, NL, C. Palamidessi,
Univ. of Pisa, Italy
- "Comparative Semantics for a Parallel Contextual Logic Programming
Language", by Jean-Marie Jacquet, CWI, NL, and Luis Monteiro, Univ. of
Lisboa, Portugal
- "Abstract Interpretation for Concurrent Logic Languages", by C.
Codognet, LIENS, France, P. Codognet , NRIA, France and M. Corsini,
Univ. of Bordeaux, France
______________________________________________________________________
______________________________________________________________________
TUESDAY, OCTOBER 30, MORNING
______________________________________________________________________
* TUTORIAL 2A, 9:00-10:30am, room A
"Deductive Databases - Systems and Languages",
by Carlo Zaniolo, MCC, USA
Chair: K.R. Apt, CWI Amsterdam, The Netherlands
______________________________________________________________________
* SESSION 3A, 11:00am-12:30pm, room A
DATABASES
Chair: Paris Kanellakis, Brown University, USA
- "Is There Anything Better than Magic?", by Yehoshua Sagiv, Stanford
Univ., USA
- "Reasoning in Inconsistent Databases", by Shamim A. Naqvi,
Bellcore, USA and Francesca Rossi, Univ. of Pisa, Italy
- "Null Values in Definite Programs", by Yuan Liu, Univ. of Maryland,
USA
______________________________________________________________________
* SESSION 3B, 11:00am-12:30pm, room B
IMPLEMENTATION II
Chair: Mats Carlsson, SICS, Sweden
- "Generation Type Garbage Collection for Parallel Logic Languages",
by Toshihiro Ozawa, Akira Hosoi and Akira Hattori, Fujitsu Labs.,
Japan
- "Memory Compaction for Shared Memory Multiprocessors Design and
Specification", by Patrick Weemeeuw, Univ. of Leuven, Belgium
- "FCP Sequential Abstract Machine Characteristics for the Systems
Development Workload", by L. Alkalaj, Caltech, USA, T. Lang , UCLA,
and E. Shapiro, Weizmann Institute, Israel
______________________________________________________________________
______________________________________________________________________
TUESDAY, OCTOBER 30, AFTERNOON
______________________________________________________________________
* INVITED TALK, 2:00-3:00pm, room A
"Prolog and Natural Language Processing",
by Fernando Pereira, Bell Labs, USA
Chair: A. Goto, ICOT, Japan
______________________________________________________________________
* SESSION 4A, 3:30-5:00pm, room A
PARTIAL EVALUATION
Chair: Hassan Ait-Kaci, DEC-Paris RL, France
- "A Procedure for the Partial Evaluation of Logic Programs", by
Kerima Benkerimi and John W. Lloyd, Univ. of Bristol, UK
- "Partial Evaluation for Hierarchies of Logic Theories", by M.
Bugliesi, ENIDATA, Italy, E. Lamma and P. Mello, Univ. of Bologna,
Italy
- "The Mixtus Approach to Automatic Partial Evaluation of Full
Prolog", by Dan Sahlin, SICS, Sweden
______________________________________________________________________
* SESSION 4B, 3:30-5:00pm, room B
CONSTRAINTS
Chair: Pascal Van Hentenryck, Brown Univ., USA
- "Computational Complexity and Constraint Logic Programming
Languages", by Jim Cox, Ken McAloon and Carol Tretkoff, CUNY Brooklyn
College, USA
- "Meta Programming as Constraint Programming", by Pierre Lim and
Peter J. Stuckey, Univ. of Melbourne, Australia
- "Janus: A step towards distributed Constraint Programming", by
Vijay A. Saraswat, Ken Kahn , Xerox PARC, USA, and Jacob Levy,
Technion, Israel.
______________________________________________________________________
______________________________________________________________________
WEDNESDAY, OCTOBER 31, MORNING
______________________________________________________________________
* TUTORIAL 3A, 9:00-10:30am, room A
"Constraint Logic Programming-from Theory to Applications",
by Pascal Van Hentenryck, Brown Univ., USA
Chair: P. Codognet, INRIA, France
______________________________________________________________________
* TUTORIAL 3B, 9:00-10:30am, room B
"Parallel Implementation of Prolog",
by Andrzej Ciepielewski, SICS, Sweden
Chair: Bharat Jayaraman, U. of Buffalo, USA
______________________________________________________________________
* SESSION 5A, 11:00am-12:30pm, room A
THEORY
Chair: Dino Pedreschi, U. of Pisa, Italy
- "Operational and Denotational Semantics of Rewrite Programs", by M.
P. Bonacina and J. Hsiang, SUNY at Stony Brook, USA
- "Towards More Efficient Loop Checks", by Roland N. Bol, CWI, The
Netherlands
- "Negative Logic Programs", by S. Greco and D. Sacca, Univ. of
Calabria, Italy
______________________________________________________________________
* SESSION 5B, 11:00am-12:30pm, room B
PROGRAM ANALYSIS
Chair: Maurice Bruynooghe, K. Univ. Leuven, Belgium
- "The Benefits of Global Flow Analysis for an Optimizing Prolog
Compiler", by P. Van Roy , Univ. of California at Berkeley, USA, and
A. M. Despain, Univ. of Southern California, USA.
- "An Algebraic Framework for Abstract Interpretation of Definite
Programs", by R. S. Kemp and G. A. Ringwood, Imperial College, UK
- "Analysis of Constraint Logic Programs", by K. Marriott, IBM, USA,
and H. Sondergaard, Univ. of Melbourne, Australia.
______________________________________________________________________
______________________________________________________________________
WEDNESDAY, OCTOBER 31, AFTERNOON
______________________________________________________________________
* INVITED TALK, 2:00-3:00pm, room A
"An Algebraic Semantics of Logic Programs as Structured
Transition Systems",
by A. Corradini and U. Montanari, Univ. of Pisa, Italy
Chair: M. Hermenegildo, Univ. of Madrid (UPM), Spain
______________________________________________________________________
* SESSION 6A, 3:30-5:00pm, room A
PROOF THEORY
Chair: Gopalan Nadathur, Duke Univ., USA
- "On the Elimination of Redundant Derivations During Execution", by
A. Richard Helm, IBM Yorktown Heights, USA
- "Avoiding Duplicate Proofs", by Bruce Spencer, Univ. of Waterloo,
Canada
- "The Logical Structure of Sequential Prolog", by James H. Andrews,
Univ. of Edinburgh, UK
______________________________________________________________________
* SESSION 6B, 3:30-5:00pm, room B
PARALLELISM I
Chair: John Conery, U. of Oregon, USA
- "Optimizing Or-Parallelism with And-Parallelism", by Gopal Gupta,
Univ. of Bristol, UK, and Bharat Jayaraman, SUNY at Buffalo, USA
- "Joining AND Parallel Solutions in AND/OR Parallel Systems", by L.
V. Kale and B. Ramkumar, Univ. of Illinois, USA
- "Scheduling and Variable Assignment in the Parallel Parlog
Implementation", by Jim Crammond, Imperial College, UK
______________________________________________________________________
______________________________________________________________________
THURSDAY, NOVEMBER 1
______________________________________________________________________
* INVITED TALK, 9:30-10:30am, room A
"Hyperproof: An Excursion in Situated Logic",
by J. Barwise, Indiana Univ., USA
Chair: S. Debray, U. of Arizona, USA
______________________________________________________________________
* SESSION 7A, 11:00am-12:30pm, room A
NEGATION
Chair: Teodor Przymusinski, Univ. of Texas at El Paso, USA
- "A Characterization of Non-Floundering Logic Programs", by Kim
Marriott, IBM Yorktown Heights, USA, Harald Sondergaard, Univ. of
Melbourne, Australia, and Philip Dart, DSTO, Australia.
- "Adding Negation-as-Failure to Intuitionistic Logic Programming",
by Anthony J. Bonner and L. Thorne McCarty, Rutgers Univ., USA
- "On Constructive Negation for Disjunctive Logic Programs", by Jorge
Lobo, Univ. of Maryland, USA
______________________________________________________________________
* SESSION 7B, 11:00am-12:30pm, room B
PARALLELISM II
Chair: K. Furukawa, ICOT, Japan
- "Handling of Speculative Work in OR-Parallel PROLOG: Evaluation
Results", by Bogumil Hausman, SICS, Sweden
- "On Criteria for Or-parallel Execution Models of Logic Programs",
by Gopal Gupta, Univ. of Bristol, UK, and Bharat Jayaraman, SUNY at
Buffalo, USA
- "The Muse Or-Parallel Prolog Model and its Performance", by Khayri
A. M. Ali and Roland Karlsson, SICS, Sweden
______________________________________________________________________
______________________________________________________________________
TUTORIAL SESSIONS
______________________________________________________________________
1A. "Semantics of Concurrent Constraint Programming Languages",
Vijay Saraswat, Xerox PARC, USA
This tutorial surveys work in semantics of concurrency, with focus on
the model theory of concurrent constraint programming languages. In
this light, we present various models for determinate and
indeterminate cc languages and discuss their inter-relationships.
1B. "Types and Polymorphism",
Uday Reddy, Univ. of Illinois, USA
This tutorial reviews the major directions in designing type systems
for logic programming languages including those based on conventional
mathematical notions of types, those using regular tree sets as types,
and those based on "descriptive" types. Connections with extant
theories of types and type inferencing issues are discussed.
2A. "Deductive Databases -- Systems and Languages",
Carlo Zaniolo, MCC, USA
In order to provide a logic programmer with the skills needed to
develop applications on deductive database systems, we will contrast
their semantics, enabling technology and programming styles to those
of Prolog.
3A. "Constraint Logic Programming-from Theory to Applications",
Pascal Van Hentenryck, Brown Univ., USA
This tutorial overviews, theory, design and applications of CLP in the
computation domains of Linear Rational (Real), Arithmetics, Boolean
Algebra, Finite Domains, Presburger Arithmetics and data structures.
3B. "Parallel Implementation of Prolog",
Andrzej Ciepielewski, SICS, Sweden
This tutorial will overview approaches and techniques for
parallelizing Prolog, including AND-, OR- and AND/OR- models,
shared/distributed memory, side- effects, compile time analysis, and
some existing prototypes.
______________________________________________________________________
______________________________________________________________________
SOCIAL EVENTS
Sunday, October 28, 7:00-9:00pm
OPENING RECEPTION
Held in the Hyatt Regency Hotel, this complimentary reception
offers an opportunity to meet other attendees before the four days of
the conference.
Wednesday, October 31, 7:00pm
CONFERENCE HALLOWEEN BANQUET
Held in Hyatt Regency Hotel, this formal dinner will include a
speech by Professor Raymond Smullyan, on "Puzzles and Paradoxes" -- a
fitting prelude to the Halloween extravanganza on Sixth Street.
Other Events will be announced at a later date.
AREA ATTRACTIONS AND WEATHER INFORMATION
The conference hotel is in a midtown location on the shore of
Town Lake, and offers miles of jogging and cycling nature trails. The
city's central business district is just six blocks away.
Austin is a lush green city in the heart of the Texas Hill
Country. The many surrounding lakes and rivers make Austin appealing
for swimming and boating.
With one of the largest concentrations of artists in the USA,
Austin's live entertainment and arts scene is thriving. On Sixth
Street and at Antone's, they say, one can find the best blues west of
the Mississippi.
The nearby Sixth Street is also renowned for its colorful
Halloween parade.
In the Fall, Austin's weather is mild, with an average daytime
temperature of 80F and an average nighttime temperature of 58F.
General Information
LOCATION
all conference events take place at:
Hyatt Regency Hotel
208 Barton Springs
Austin, Texas 78704, USA
ph.: +1-512-477-1234 / 1-800-233-1234
fax: +1-512-480-2089
CORRESPONDENCE
mailing address:
NACLP90
MCC
3500 West Balcones Center Drive
Austin, Texas 78759-6509 USA
E_mail address: NACLP90@MCC.COM
fax :+1-512-338-3600
phone: +1-512-338-3405
______________________________________________________________________
______________________________________________________________________
TRANSPORTATION
Travel Arrangements: the official travel agency for NACLP90 is
The Travel Center (phone: 1-800-229-1141 or +1-512-250-1141, fax:
+1-512-250-8154). Discounts up to 50% on domestic air fares and auto
rentals are available through The Travel Center (airlines: American,
Continental and Delta; car rentals: National, Avis and Alamo).
Airport Transportation: visitors arriving at the Austin
Municipal Airport can reach the Hyatt Regency by the complimentary
shuttle service provided by the hotel.
ACCOMMODATIONS
NACLP90 has a block reservation at the Hyatt Regency Hotel
with the following per room rates (tax included):
Single (one person): $78
Double (two persons): $78
Hotel reservations will not be accepted unless accompanied by first
night deposit. Please refer directly with the hotel for changes in the
arrival date, multiple occupancy and suites.
Cut-off date: October 1, 1990. After the cut-off date, reservations
must be made directly with the Hyatt Regency at regular hotel rates.
Cancellations must be made directly with the hotel in order to receive
refunds. The first night deposit will be forfeit unless the hotel is
notified before 6:00 pm of the arrival date.
Student accommodations: the double occupancy rate is intended as a
moderately priced accommodation for students. The Organizing Committee
will provide a pairing service for students unable to find a roommate.
Students who want to use this service should return the reservation
form together with first night deposit ($39) by September 20, 1990.
Reservation request: the enclosed form should be received by the
NACPL90 organization before the cut-off date.
CONFERENCE REGISTRATION
Please return the enclosed registration form to the NACLP90
organization. The registration desk will be open on Sunday, October
28, 1990, 4:00-9:00 pm, and during the conference.
Registration fees will cover the technical sessions of the conference,
tutorials, opening reception, banquet and one copy of the published
proceedings per registrant. The banquet is not included in the student
registration. Banquet tickets for guests and students can be
purchased at the Conference Registration Desk.
Registration confirmation: a confirmation will be sent to each
registrant after the registration.
Cancellation: to be eligible for a refund of the registration fees,
written notification of cancellation must be received no later than
October 1, 1990. An administrative fee of $25 will be deducted from
the refund.
______________________________________________________________________
______________________________________________________________________
NACLP90 HOTEL RESERVATION FORM
------------------------------
Mail to:
NACLP90 Organizing Committee
MCC
3500 West Balcones Center Drive
Austin, Texas 78759-6509 USA
Name: ................................................................
Address: .............................................................
.............................................................
City: ......................... State: ............. Zip:.............
Country:..............................................................
Telephone Number: ....................................................
- For attendees NOT using the pairing service :
[ ] Please reserve the following room at the Hyatt Regency of
Austin (mark as appropriate):
[ ] single room at the rate of $78 per day
[ ] double room at the rate of $78 per day
(Include $78 for first night deposit)
- For students using the pairing service :
[ ] Please arrange for me to share a room with another student at
the Hyatt Regency of Austin at a rate of $39 per day. My
gender is (mark as appropriate):
[ ] female
[ ] male
(Include $39 for first night deposit)
- Dates:
Arrival Date: ................... Time: ......................
(check-in time: 3:00pm)
Departure Date: ................. Time: ......................
(check-out time: 12:00 noon)
- Form of payment:
[ ] check (payable to Hyatt Regency, Austin, US currency only)
[ ] credit card (VISA, Mastercard, Diner's, Am. Express,
Carte Blanche):
card type: .....................................
card no.: .....................................
expiration date: .....................................
______________________________________________________________________
______________________________________________________________________
NACLP90 REGISTRATION FORM
-------------------------
Mail to:
NACLP90 Organizing Committee
MCC
3500 West Balcones Center Drive
Austin, Texas 78759-6509 USA
Name: (last) ........................................................
(first) ........................................................
Affiliation: ........................................................
Address: .............................................................
.............................................................
City: ......................... State: ............. Zip:.............
Country:..............................................................
Telephone/Telex: .....................................................
Fax: .....................................................
E_mail: .....................................................
Registration fees:
Preregistration Late Registration
(before Oct. 1, 90) (after Oct. 1, 90)
Members(*): [ ] $250 [ ] $300
Non-Members: [ ] $300 [ ] $360
Students: [ ] $140 [ ] $180
(*) ALP, IEEE Computer Society
Include check or money order payable to NACLP90 - US currency only
Return address:
NACLP90
MCC
3500 West Balcones Center Drive
Austin, Texas 78759-6509 USA
______________________________________________________________________
______________________________________________________________________
NACLP90 WORKSHOPS
Call for Participation
The North American Conference on Logic Programming will take
place at the Hyatt Recency Hotel, in Austin, Texas on October
29-November 1, 1990. The following worshops have been scheduled
to follow the conference on November 1 (afternoon) and November 2:
PARALLEL EXECUTION OF LOGIC PROGRAMS
Bharat Jayaraman
<bharat@cs.Buffalo.EDU>
NON-MONOTONIC REASONING AND LOGIC PROGRAMMING
V.S.Subrahmanian, A. Nerode, D. Pedreschi, W. Marek,
<vs@tarski.cs.umd.edu>: submission
<marek@ms.uky.edu>: participation
ARCHITECTURES OF SYSTEMS FOR LOGIC PROGRAMMING
Jonathan W. Mills
<jwmills@iuvax.cs.indiana.edu>
HIGHER ORDER LOGIC PROGRAMMING
Gopalan Nadathur
<gopalan@cs.duke.edu>
Ulrich Furbach
<uli@lan.informatik.tu-muenchen.dbp.de>
DEDUCTIVE DATABASES
Jan Chomicki
<chomicki@antares.cis.ksu.edu>
SUBMISSIONS: Contact the chairmen of the workshops of interest for
detailed information on topics covered by the workshops, and their
particular submission requirements--abstracts or extentended
abstracts.
PARTICIPATION: Attendance is open to all NACLP90 registrants.
However, attendance in each workshop will be limited to ensure a
closer interaction. Please, inform the workshop chairmen immedi- ately
if you are interested in participating.