Cantitate/Preț
Produs

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso: Lecture Notes in Computer Science, cartea 1472

Editat de Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
en Limba Engleză Paperback – 28 oct 1998
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32545 lei

Preț vechi: 40681 lei
-20% Nou

Puncte Express: 488

Preț estimativ în valută:
6229 6571$ 5191£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540653059
ISBN-10: 3540653058
Pagini: 412
Ilustrații: X, 398 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:1998
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

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.