The state of change: A survey.- Specification of dynamics for knowledge-based systems.- On active deductive databases: The statelog approach.- Active-U-Datalog: Integrating active rules in a logical update language.- Logical transactions and serializability.- Results on reasoning about updates in Transaction Logic.- The dynamics of database views.- Inductive definability and the situation calculus.- Some notes on knowledge assimilation in deductive databases.- Applications of belief revision.- Analysing rational properties of change operators based on forward chaining.- A practical approach to hypothetical database queries.- From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com