+612 9045 4394
 
CHECKOUT
Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 2 :  International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 2 - Burkhard Freitag

Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 2

International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 2

By: Burkhard Freitag (Editor), Hendrik Decker (Editor), Michael Kifer (Editor), Andrei Voronkov (Editor)

Paperback

Published: December 1998
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

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.

The State of Change: A Surveyp. 1
Specification of Dynamics for Knowledge-Based Systemsp. 37
On Active Deductive Databases: The Statelog Approachp. 69
Active-U-Datalog: Integrating Active Rules in a Logical Update Languagep. 107
Logical Transactions and Serializabilityp. 134
Results on Reasoning about Updates in Transaction Logicp. 166
The Dynamics of Database Viewsp. 197
Inductive Definability and the Situation Calculusp. 227
Some Notes on Knowledge Assimilation in Deductive Databasesp. 249
Applications of Belief Revisionp. 287
Analysing Rational Properties of Change Operators Based on Forward Chainingp. 317
A Practical Approach to Hypothetical Database Queriesp. 340
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databasesp. 356
Author Indexp. 389
Subject Indexp. 391
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540653059
ISBN-10: 3540653058
Series: Transactions & Change in Logic Databases
Audience: General
Format: Paperback
Language: English
Number Of Pages: 398
Published: December 1998
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.13
Weight (kg): 0.58