Call for Papers
OUR APOLOGIES IF YOU RECEIVE THIS CALL MORE THAN ONCE
========================================================================
Transactions and Change in Logic Databases
Selected Papers of
the Dagstuhl seminar on
"Logic Databases and the Meaning of Change",
September 1996, Schloss Dagstuhl, Germany
and the
ILPS'97 Post-Conference Workshop DYNAMICS'97 on
"(Trans)Actions and Change in Logic Programming and Deductive Databases",
October 1997, Port Jefferson, New York, USA
together with Invited Contributions and Survey Articles
to be published in the Springer LNAI subseries of LNCS
========================================================================
see also: http://www.uni-passau.de/~freitag/dynamics_97/
========================================================================
Logic databases have been an exciting, dynamic field since the '70s.
Important results were achieved in the areas of query processing,
constraints, semantics, and several successful prototypes have been
developed. However, most of this work was concerned with static aspects
of data representation and querying. Thus, in spite of substantial
progress in the theory and implementation of logic programming and
deductive databases, they are likely to be ruled out as platforms for
information systems unless viable and widely accepted solutions are
found to the question of dynamics.
Although transactions and updates permeate any database system worth its
salt, the consensus on how to treat updates in logic data and knowledge
bases is slow to come. In fact, transactions are notoriously awkward and
hard-to-understand parts of logic-based programming systems, which is a
serious obstacle to gaining a foothold in traditional and emerging areas
of information processing. It is also a blemish on a technology that
purports to provide a solid methodology for building complex, robust and
intelligent systems.
In addition, the need is not only for complex rule bases, but also for
standard database functionality, such as concurrent access, transaction
isolation and atomicity, large amounts of data, data distribution,
recovery from system failures, etc. Thus, the problems to be solved
span all of logic programming and databases, from theory to
implementation.
Fortunately, a number of solid approaches are beginning to emerge, and
time is ripe to size them up. The Dagstuhl seminar on "Logic Databases
and the Meaning of Change" in 1996 and the ILPS'97 workshop DYNAMICS'97
on "(Trans)Actions and Change in Logic Programming and Deductive
Databases" were intended to bring together key researchers in the field.
A sound but incomplete list of relevant issues includes:
- abduction
- active logic databases
- concurrency
- consistency and integrity
- cooperation/communication/interaction between actions
- distributed (trans)actions
- dynamic agents
- dynamic constraints
- dynamics of logic and database systems
- evolution and versioning
- frame problem
- hypothetical query answering
- implementation issues
- intensional query answering
- logical transactions and updates
- planning
- reactive systems
- reasoning about update programs
- reasoning about workflows
- schema transformation
- semantics and proof theory
- transaction specification
- updating incomplete information
- update vs revision
- workflow specification
A collection of selected papers of both workshops will now be published
in the Springer LNAI subseries of LNCS.
Contributions:
--------------
Authors are invited to submit full papers written in English. There is no
general upper page limit. However, papers will typically have about 25
pages (Springer LNCS style) or 8000 words and should not be shorter than 15
pages.
To speed up the process of refereeing authors are requested to submit by
electronic mail. Conventional paper copies may be sent to the contact
address given below if an access to the appropriate electronic devices is
not available. In any case, submissions should contain full return mail
and email addresses (if applicable), phone number and FAX number (if
applicable) of the contact author. Prospective authors are kindly asked to
send an indication of interest together with a paper title to the
email address shown below.
Deadline for submissions is February 2, 1998. Authors submitting by
electronic mail will receive an acknowledgement (also by electronic mail)
within 2-3 days.
Electronic submission:
The only format accepted for this (preferred) form of submission are
uuencoded, gzipped Postscript files, to be e-mailed to the following
address (which has also been in use for the DYNAMICS'97 workshop):
It is the responsibility of the authors to ensure that submissions can
be printed by standard printing software and will reach the organizing
committee by the deadline.
Accepted papers:
Each submitted paper will be reviewed by at least two referees. Authors
will be notified of acceptance by March 31, 1998. To be included in the
book, accepted papers must be formatted using LaTeX (Springer LNCS style)
and sent as both a source-file (together with all included Postscript
files) and an uuencoded, gzipped Postscript file no later than April 24,
1998. Again, exceptions to this procedure will be made only if electronic
devices are not available. Printed versions of the papers are only
necessary if problems arise and will be requested on an individual basis as
needed. Source files will be deleted after the book has been compiled.
Contributing authors should format their articles using the Springer LNCS
style which is available by anonymous FTP from
ftp://ftp.springer.de/pub/tex/latex/llncs/
Editors:
--------
Hendrik Decker, Univ. Munich, Germany hdecker@informatik.uni-muenchen.de
Burkhard Freitag (*), Univ. Passau, Germany freitag@fmi.uni-passau.de
Michael Kifer, SUNY at Stonybrook, USA kifer@cs.sunysb.edu
Andrei Voronkov, Univ. Uppsala, Sweden voronkov@csd.uu.se
(*) Coordinating Editor
Important dates:
----------------
Indication of interest: as soon as possible
Submission of papers: February 2, 1998
Notification of authors: March 31, 1998
Camera-ready version: April 24, 1998
Contact address:
----------------
Burkhard Freitag
Dept. of Mathematics and Computer Science
University of Passau
D-94030 Passau, Germany
Phone: +49 (851) 509 3130
FAX: +49 (851) 509 3002
email: freitag@fmi.uni-passau.de
http://www.uni-passau.de/~freitag/dynamics_97/
========================================================================
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------