DYNAMICS'97 -- CALL FOR PARTICIPATION
Please, accept our apologies if you receive this message more than once.
========================================================================
DYNAMICS'97
Post-Conference Workshop on
(Trans)Actions and Change in Logic Programming and Deductive Databases
International Logic Programming Symposium
Port Jefferson, New York, USA
October 17, 1997
========================================================================
see also: http://www.uni-passau.de/~freitag/dynamics_97/
========================================================================
The static semantics of logic programming languages and the evaluation
of queries is well understood. However, there is no consensus about
the appropriate treatment of dynamic behaviour, i.e., the evolution of
databases or even entire programs with time. 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. 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 to dynamic
behavior are beginning to emerge. This workshop is intended to bring
together researchers in the field and to stimulate discussion on the
foundations of (trans)actions and change in logic programming and
deductive databases.
We are looking forward to see you in Port Jefferson.
Organizing committee:
---------------------
Anthony Bonner, Univ. Toronto, Canada bonner@db.toronto.edu
Burkhard Freitag (*), Univ. Passau, Germany freitag@fmi.uni-passau.de
Laura Giordano, Univ. Torino, Italy laura@di.unito.it
Robert Kowalski, Imperial College, UK rak@doc.ic.ac.uk
(*) Workshop Coordinator
Program Committee:
------------------
Anthony Bonner, Univ. Toronto, Canada bonner@db.toronto.edu
Hendrik Decker, Siemens AG, Germany Hendrik.Decker&mchp.siemens.de
Burkhard Freitag, Univ. Passau, Germany freitag@fmi.uni-passau.de
Michael Gelfond, Univ. Texas at El Paso, mgelfond@cs.utep.edu
USA
Laura Giordano, Univ. Torino, Italy laura@di.unito.it
Antonis Kakas, Univ. Cyprus, Cyprus antonis@turing.cs.ucy.ac.cy
Michael Kifer, SUNY at Stonybrook, USA kifer@cs.sunysb.edu
Georg Lausen, Univ. Freiburg, Germany lausen@informatik.uni-freiburg.de
Rainer Manthey, Univ. Bonn, Germany manthey@uran.informatik.uni-bonn.de
Ron van der Meyden, Univ. of Technology ron@socs.uts.edu.au
Sydney, Australia
Peter Revesz, Univ. Nebraska, USA revesz@tamana.unl.edu
Ernest Teniente, Univ. Politecnica teniente@lsi.upc.es
de Catalunya, Spain
Carlo Zaniolo, UCLA, USA zaniolo@cs.ucla.edu
Important dates:
----------------
Conference: October 12-17, 1997
Workshop: October 17
Registration, Accommodation, Travelling:
----------------------------------------
See the ILPS'97 homepage at
http://www.cs.sunysb.edu/~ilps97/
or
http://www.ida.liu.se/~ilps97/
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
DYNAMICS'97 Web Site:
---------------------
http://www.uni-passau.de/~freitag/dynamics_97/
Workshop Schedule:
------------------
Friday, October 17, 1997
8.45 - 9.00 Opening
9.00 - 10.30 Agents and Knowledge-based Systems
* Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen,
Yde Venema and Mark Willems:
Specification of Dynamics for Knowledge-based Systems
* Chitta Baral and Jorge Lobo:
Formalizing workflows as cooperative agents
* Anna Ciampolini, Evelina Lamma, Paola Mello and Cesare Stefanelli:
Abductive Logic Agents
10.30 - 11.00 Coffee Break
11.00 - 12.00 Theory
* Evguenia Ternovskaia:
Inductive definability and the situation calculus
* Sven-Erik Bornscheuer:
Integrating reactive and reflective reasoning by generating rational
models
12.00 - 14.00 Lunch
14.00 - 15.30 Databases
* Anthony J. Bonner:
Modular Composition of Transaction Programs with Deductive Databases
* Carl-Alexander Wichert and Burkhard Freitag:
Logical Transactions and Serializability
* Marco Bozzano, Giorgio Delzanno and Maurizio Martelli:
A linear logic specification for Chimera
15.30 - 16.00 Coffee Break
16.00 - 17.30 Revision and Knowledge Assimilation
* Hassan Bezzazi, Stephane Janot, Sebastien Konieczny and Ramon Pino
Perez:
Forward chaining and change operators
* Gerhard Wetzel:
Using integrity constraints as deletion rules
* Derrick Kheden:
One abductive logic programming procedure for different kinds of
updates
17.30 - 18.00 General Discussion and Closing
========================================================================
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------