The State of Change: A Survey

Anthony J. Bonner (University of Toronto)

Michael Kifer (University at Stony Brook)

Specification of Dynamics for Knowledge-Based Systems

Pascal van Eck (Vrije Universiteit Amsterdam)

Joeri Engelfriet (Vrije Universiteit Amsterdam)

Dieter Fensel (University of Karlsruhe)

Frank van Harmelen (Vrije Universiteit Amsterdam)

Yde Venema (University of Amsterdam)

Mark Willems (Bolesian B.V.)

On Active Deductive Databases: The Statelog Approach

Georg Lausen

Bertram Ludascher

Wolfgang May (Universitat Freiburg)

Active-U-Datalog: Integrating Active Rules in a Logical Update Language

Elisa Bertino (University of Milano)

Barbara Catania (University of Milano)

Vincenzo Gervasi (University of Pisa)

Alessandra Raffaeta (University of Pisa)

Logical Transactions and Serializability

Carl-Alexander Wichert

Burkhard Freitag

Alfred Fent (Universitat Passau)

Results on Reasoning about Updates in Transaction Logic

Anthony J. Bonner (University of Toronto)

Michael Kifer (University of Stony Brook)

The Dynamics of Database Views

Marcelo Arenas

Leopoldo Bertossi (Universidad Catolica de Chile)

Inductive Definability and the Situation Calculus

Eugenia Ternovskaia (University of Toronto)

Some Notes on Knowledge Assimilation in Deductive Databases

Hendrik Decker (Universitat Munchen)

Applications of Belief Revision

Mary-Anne Williams (University of Newcastle)

Analysing Rational Properties of Change Operators Based on Forward Chaining

Hassan Bezzazi

Stephane Janot

Sebastien Konieczny

Ramon Pino Perez (Universite de Lille I)

A Practical Approach to Hypothetical Database Queries

Henning Christiansen

Troels Andreasen (Roskilde University)

From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases

Peter A. Flach (University of Bristol)

Author Index

Subject Index