🚀 go-pugleaf

From: pdk@uklirb.informatik.uni-kl.de (workshop organizers)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 29 Apr 91 14:20:33 GMT
Subject: <mod-ki 0693> PDK'91 (preliminary program, call for demos)
Keywords: Workshops, Knowledge Processing

mod-ki message 0693
************************************************************************
[see  mod-ki message 0686 for general info and registration forms.  hwh]

                                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


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 MAJOR 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.

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
************************************************************************