finin@PRC.Unisys.COM (Tim Finin) (05/10/91)
PDK '91
PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS
International Workshop
on
PROCESSING DECLARATIVE KNOWLEDGE
-- Representation and Implementation Methods --
July 1-3, 1991 Kaiserslautern, Germany
The high description level of declarative representation formalisms
facilitates readability, maintenance, and parallelization of knowledge
bases; their orientation toward logic enables clear semantics. However, the
processing of large declarative knowledge bases is becoming efficient only
with the use of modern implementation techniques. For instance, the
increased gap to von Neumann machines may be bridged by (global) static
analysis and (multi-stage) transformation/compilation of the representation
formalisms. The workshop addresses researchers and developers with
interests ranging from logic programming to expert-system shells. Critics
of declarative-knowledge processing (e.g. having procedural, object-
oriented, or connectionist points of view) are also welcome.
Program Committee:
Hassan Ait-Kaci, DEC Paris
Hans-Juergen Appelrath, University of Oldenburg
Woody Bledsoe, University of Texas at Austin
Egon Boerger, University of Pisa
Harold Boley, DFKI Kaiserslautern
Maurice Bruynooghe, Katholieke Universiteit Leuven
Tim Finin, Unisys Paoli
Hervi Gallaire, GSI Paris
Jan Grabowski, Humboldt University Berlin
Alexander Herold, ECRC Munich
Robert Kowalski, Imperial College London
Hans Langmaack, University of Kiel
Jean-Louis Lassez, IBM Yorktown Heights
Michael M. Richter, DFKI Kaiserslautern (Chair)
Erik Sandewall, University of Linkvping
John Taylor, Hewlett Packard Bristol
Andrei Voronkov, Int. Lab. of Intelligent Systems Novosibirsk
Associated Societies:
The workshop is organized by the German Research Center for Artificial
Intelligence (DFKI) in cooperation with the Association for Logic
Programming (ALP) and the Gesellschaft fuer Informatik e.V. (GI).
P R E L I M I N A R Y P R O G R A M
Sunday, 30 June 1991
19:00 INFORMAL GET TOGETHER
REGISTRATION
Monday, 1 July 1991
08:30 REGISTRATION
Begin of SYSTEM DEMONSTRATIONS
09:30 WELCOME ADDRESS
10:00 INVITED TALK
* Efficient Processing of Declarative Rule-Based Languages for Databases
Carlo Zaniolo (MCC, USA)
11:00 COFFEE BREAK
11:30 Session 1: CONCEPT LANGUAGES
* Compiling Conceptual Graphs
G. Ellis
* Subsumption in Knowledge Graphs
M. Willems
12:30 L u n c h
13:30 Session 2: CONCEPT LANGUAGES
* KRIS: Knowledge Representation and Inference System
F. Baader, B. Hollunder
* An Introduction to Dynamic Concept Systems
H. Jaeger
* Concept Languages as Query Languages
M. Lenzerini, A. Schaerf
15:00 COFFEE BREAK
15:30 Session 3: CONCEPT LANGUAGES
* Subsumption Computation in an Object-Oriented Data Model
A. Artale, F. Cesarini, G. Soda
* A Concise Presentation of ITL
N. Guarino
* Distributed Disjunctions for LIFE
R. Backofen, L. Euler, G. Goerz
17:00 HIKE THROUGH THE PALATINATE FOREST
19:00 BANQUET IN "BURGSCHAENKE" HOHENECKEN
Tuesday, 2 July 1991
08:30 Begin of SYSTEM DEMONSTRATIONS
09:00 INVITED TALK
* <Constraint Logic Programming>
Pascal van Hentenryck (Brown University, USA)
10:00 COFFEE BREAK
10:30 Session 4: SEMANTICS
* Reasoning with Maximal Time Intervals
C. Ribeiro, A. Porto
* Nonclassical Models for Logic Programs
V. Kriauciukas
* Logical Operational Semantics of Parlog Part I: And-Parallellism
E. Boerger, E. Riccobene
12:00 L u n c h
13:00 Session 5: APPLICATIONS
* A Tool for Integrating Declarative and Connectionist Approaches to AI
Z. Markov
* Providing Declarative Access to a Processing System for Satellite Image Data
W.-F. Riekert
* Declarative Functionality Descriptions of Interactive Reasoning Modules
J. Treur
14:15 COFFEE BREAK
14:45 Session 6: PROLOG EXTENSIONS
* Rule-Aided Constraint Resolution in LAURE
Y. Caseau
* Flang: A Functional-Logic Language
A. V. Mantsivoda
* Processing Functional Definitions as Declarative Knowledge: A Reduced
Bytecode Implementation of a Functional Logic Machine
P. Bonzon
* Reducing Scheduling Overheads for Concurrent Logic Programs
A. King and P. Soper
16:30 COFFEE BREAK
17:00 PANEL
* Declarative and Procedural Paradigms - Do they Really Compete?
Boley (DFKI, D), Tim Finin (Unisys, USA), Michael M. Richter (DFKI, D),
Andrei Voronkov (SINTEL, Russia), ...
19:00 RECEPTION BY THE MAYOR OF KAISERSLAUTERN
Wednesday, 3 July 1991
08:30 Begin of SYSTEM DEMONSTRATIONS
09:30 INVITED TALK
* <Global Static Analysis of Prolog>
Andrew Taylor (The University of Sydney, AU)
10:30 COFFEE BREAK
11:00 Session 7: TRANSFORMATION
* A General Framework for Knowledge Compilation
H. Kautz and B. Selman
* Data-driven Transformation of Meta-interpreters: A Sketch
Y. Cosmadopoulos, M. Sergot, R. W. Southwick
* Improving the Efficiency of Constraint Logic Programming Languages by
Deriving Specialized Versions
M. Bruynooghe, V. Dumortier, G. Janssens
12:30 L u n c h
13:30 Session 7: ABSTRACT MACHINES
* Development of the Parallel Inference Machine RAP/LOP-PIM and its Optimized
Parallel Compiler
G. Yaoqing, Q. Xiaolin, H. Shouren
* Implementation Methods for Processing Abductive Reasoning in Logic
Programming
E. Lamma, P. Mello
* Efficient Implementation of Narrowing and Rewriting
M. Hanus
* Tim: The Toulouse Inference Machine
P. Balbiani, A. Herzig, M. Lima Marques
C A L L F O R S Y S T E M D E M O N S T R A T I O N S
Implemented knowledge-processing systems can be demonstrated during the
entire workshop. Applications for system demonstrations consisting of a
system mini-description of 1-3 pages as well as a specification of the
hardware/software required should arrive by 3 June 1991. Our computing
environment includes SUNs 4/390 with Ivory Boards, a KCM, and Macintoshs
IIfx. 3 June 1991 is also the deadline to apply for the exhibition of
products and books related to the scope of PDK'91.
Location:
The workshop will take place at the University of Kaiserslautern, Building
57. Kaiserslautern is located in the southwest of Germany with good car and
train connections to the airports of Frankfurt (150 km), Stuttgart (150
km), Saarbruecken (70 km), and Paris (450 km).
Miscellanea:
You are invited to arrive on Sunday 30 June 1991: there will be an informal
get together in the evening. The banquet on Monday, 1 July 1991, is included
in the registration fee; tickets for accompanying persons are available
at the registration desk during the workshop. Lunch is available in the
university cafeteria or off the campus. The hike through the adjacent
Palatinate Forest will give extra space for informal conversations.
Registration fee:
Early registration (before May 15): 290.- DM (or $210)
(students: 90.- DM or $65)
Late registration (received after May 15): 340.- DM (or $245)
(students: 140.- DM or $100)
Registration fee will cover the technical program of the conference, a
banquet, coffee/tea etc., and a copy of the preprints of the proceedings
and the book proceedings per registrant. A limited number of scholarships
is available, especially to researchers from Eastern Europe (please send an
informal application showing your involvement in the field). For further
information please contact the conference office:
PDK
DFKI GmbH
Erwin-Schroedinger-Str. (Building 57)
P. O. Box 2080
6750 Kaiserslautern
F. R. Germany
Phone: +49-631-205-3470, FAX: +49-631-205-3210
email: pdk@informatik.uni-kl.de
*****************************************************************************
PDK'91
Registration Form
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Please mark the item that applies to your registration:
Early registration Late registration
(before 15 May 1991): (received after 15 May 1991):
[ ] 290.- DM (or $210) [ ] 340.- DM (or $245)
[ ] 90.- DM (or $65) for students* [ ] 140.- DM (or $100) for students*
* Please enclose a copy of your valid student-ID
Registration will include a copy of the preprints of the proceedings, the
book proceedings, a banquet, and coffee/tea during the workshop.
If written notifications of withdrawal arrive before 1 June 1991, 90 % of
the registration fee will be refunded. Refunds cannot be made if
participation is cancelled after 1 June 1991.
Name: ____________________________________________________________________
Address: _________________________________________________________________
__________________________________________________________________________
Phone: _____________________________ e-mail:______________________________
Date Signature
_____________________ ___________________________________
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Please send to: PDK
DFKI GmbH
P.O. Box 2080
6750 Kaiserslautern / F.R. Germany
Telefax: +49-631-205-3210
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Please enclose the fee either using traveler's check (preferably in DM) or
check made payable to DFKI GmbH, or transfer the amount to the following bank
account:
Account-Name: DFKI-GmbH, Sonderkonto PDK'91
Account-No: 028 000 842
Bank: Stadtsparkasse Kaiserslautern
BLZ: 540 510 10
*****************************************************************************
*****************************************************************************
PDK'91
Hotel Reservation Form
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
IMPORTANT: For orders received after 31 May 1991
hotel reservation cannot be guaranteed
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Hereby I order a hotel room according to the following specifications:
Arrival-Date: ________________ Departure-Date: _________________
[ ] single room with [ ] double room with
bath or shower bath or shower
[ ] single room without [ ] double room without
bath or shower bath or shower
Prices: [ ] less than 60.- DM (e.g. for students)
[ ] 60.- to 100.- DM
[ ] 100.- to 160.- DM
Arrival: [ ] by plane and/or train
[ ] by car
Name: __________________________________________________________________
Address: _______________________________________________________________
________________________________________________________________________
Phone: ____________________________ Fax: _______________________________
Date Signature
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Please send to: STADTVERWALTUNG
Verkehrs- und Informationsamt
Postfach 1320
6750 Kaiserslautern / West Germany
Telefax: +49-631-852-2553
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The Verkehrsamt in Kaiserslautern is committed to arrange your accomodations.
Your should (air) mail your order early, so that we can find a free room in
the category specified. If this is not possible, a reservation is arranged
in the next lower or higher category.
The Verkehrsamt acts only as a mediator. Reservations arriving in time will
be confirmed by letter or telefax. Otherwise the hotel address can be asked
for at the Verkehrsamt, phone +49-631-852-2317 or fax +49-631-852-2553.
*****************************************************************************
+----------------------------------------------------------------------+
| Tim Finin finin@prc.unisys.com |
| Center for Advanced Information Technology 215-648-2840, -2288(fax) |
| Unisys, PO Box 517, Paoli, PA 19301 USA 215-386-1749 (home) |