This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.
The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.
Author(s): Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)
Series: Lecture Notes in Computer Science 1472
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 398
Tags: Database Management; Artificial Intelligence (incl. Robotics); Programming Techniques
The state of change: A survey....Pages 1-36
Specification of dynamics for knowledge-based systems....Pages 37-68
On active deductive databases: The statelog approach....Pages 69-106
Active-U-Datalog: Integrating active rules in a logical update language....Pages 107-133
Logical transactions and serializability....Pages 134-165
Results on reasoning about updates in Transaction Logic....Pages 166-196
The dynamics of database views....Pages 197-226
Inductive definability and the situation calculus....Pages 227-248
Some notes on knowledge assimilation in deductive databases....Pages 249-286
Applications of belief revision....Pages 287-316
Analysing rational properties of change operators based on forward chaining....Pages 317-339
A practical approach to hypothetical database queries....Pages 340-355
From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases....Pages 356-387
