pdk@uklirb.informatik.uni-kl.de (workshop organizers) (10/26/90)
Call for Papers
PDK '91
INTERNATIONAL WORKSHOP on
PROCESSING DECLARATIVE KNOWLEDGE
-- Representation and Implementation Methods --
July 1-3, 1991 Kaiserslautern, Germany
Background:
Declarative representation formalisms have long constituted the kernels
of AI languages. Their high description level facilitates readability,
maintenance, and parallelization of knowledge bases; their orientation
toward logic enables clear semantics. This becomes especially important
when several formalisms are used in a 'hybrid' fashion, as the
amalgamation of sublanguages is simplified.
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. Experimental methods for most
representation and implementation layers exist, which should gradually
enter practical AI, e.g. via expert-system shells.
Scope:
This workshop will provide an opportunity to present promising approaches
for processing declarative knowledge, to demonstrate implemented systems,
and to meet with AI practitioners. Also welcome are well-founded
critiques of declarative-knowledge processing (e.g. from procedural,
object-oriented, or connectionist points of view).
Besides representation formalisms on the basis of horn-logic programming
it is possible to present, among others: more general inference rules
(backward/forward chaining), concept-description languages (subsumption
procedures), as well as constraint or constraint-logic-programming
systems (propagation algorithms).
Regarding implementation, all recent interpretation and especially
compilation techniques will be of interest, e.g.: abstract
interpretation, partial evaluation, rule compilation, and WAM technology.
Paper Submission:
Please submit four (4) copies of papers written in English by 1 March
1991 (not via email). If electronic mail is available, additionally email
an ASCII version of the abstract. Refereeing will take place in two
categories: Long papers of max. 20 pages for full-blown research results,
short papers of up to 6 pages for concise presentations and partial
results. In both categories we expect original work. Authors will be
notified of acception or rejection of submitted papers by 30 April 1991,
the camera-ready revisions are due by 10 June 1991. Applications for
system presentations 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. Please direct contributions and requests to the
following address:
PDK
DFKI GmbH
P.O. Box 2080
6750 Kaiserslautern, F. R. Germany
FAX: +49-631-205-3210
email: pdk@informatik.uni-kl.de
Preprints of refereed papers will be produced for the workshop, and a
proceedings publication is scheduled immediately afterwards.
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).
Important Dates:
1 March 1991: Deadline for submission of papers
30 April 1991: Notification of acceptance or rejection
3 June 1991: Deadline for application of system demonstrations
10 June 1991: Camera-ready papers
1-3 July 1991: Workshop
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
Herve Gallaire, Bull 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 Linkoping
John Taylor, Hewlett Packard Bristol
Andrei Voronkov, Int. Lab. of Intelligent Systems Novosibirsk