Tools

LEADER 03143cam a2200397 a 4500

001 ocm40229147;

003 OCoLC;

005 20141212131125.0;

008 981029s1998 gw a b 101 0 eng ;

010 a| 98032082;

015 a| GB98-84881;

020 a| 3540653058 (alk. paper);

035 a| (Sirsi) o40229147;

035 a| (OCoLC)40229147;

049 a| EREE;

050 00 a| QA76.9.D3b| I5655 1996;

082 00 a| 005.75/72| 21;

111 2 a| International Seminar on Logic Databases and the Meaning of Changed| (1996 :c| Schloss Dagstuhl)=| ^A409842;

245 10 a| Transactions and change in logic databases :b| 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 Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers /c| Burkhard Freitag [and others], (eds.).;

300 a| x, 396 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1472;

504 a| Includes bibliographical references and indexes.;

505 0 a| The state of change : a survey / Anthony J. Bonner, Michael Kifer -- Specification of dynamics for knowledge-based systems / Pascal van Eck ... [et al.] -- On active deductive databases : the statelog approach / Georg Lausen, Bertram Ludäscher, Wolfgang May -- Active-U-Datalog : integrating active rules in a logical update language / Elisa Bertino ... [et al.] -- Logical transactions and serializability / Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent -- Results on reasoning about updates in transaction logic / Anthony J. Bonner, Michael Kifer -- The dynamics of database views / Marcelo Arenas, Leopoldo Bertossi -- Inductive definability and the situation calculus / Eugenia Ternovskaia -- Some notes on knowledge assimilation in deductive databases / Hendrik Decker -- Applications of belief revision / Mary-Anne Williams -- Analysing rational properties of change operators based on forward chaining / Hassan Bezzazi ... [et al.] -- A practical approach to hypothetical database queries / Henning Christiansen and Troels Andreasen -- From extensional to intensional knowledge : inductive logic programming techniques and their application to deductive databases / Peter A. Flach.;

650 0 a| Deductive databasesv| Congresses.=| ^A680694;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

700 1 a| Freitag, Burkhard,d| 1953-=| ^A409843;

711 2 a| Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databasesd| (1997 :c| Port Jefferson, N.Y.)=| ^A409844;

830 0 a| Lecture notes in computer sciencev| 1472.=| ^A466336;

596 a| 1;

998 a| 645910;

999 a| QA76.9.D3 I5655 1996w| LCc| 1i| 30372010290127d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERp| $56.28r| Ys| Yt| JGESBKu| 3/22/1999x| BOOKz| JSTACKSo| .STAFF. 0;

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 Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag [and others], (eds.).

Author/creator	International Seminar on Logic Databases and the Meaning of Change
Other author	Freitag, Burkhard, 1953-
Other author	Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (1997 : Port Jefferson, N.Y.)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	x, 396 pages : illustrations ; 24 cm.
Subjects	Deductive databases--Congresses. Logic programming--Congresses.

Series	Lecture notes in computer science ; 1472 Lecture notes in computer science 1472. ^A466336
Contents	The state of change : a survey / Anthony J. Bonner, Michael Kifer -- Specification of dynamics for knowledge-based systems / Pascal van Eck ... [et al.] -- On active deductive databases : the statelog approach / Georg Lausen, Bertram Ludäscher, Wolfgang May -- Active-U-Datalog : integrating active rules in a logical update language / Elisa Bertino ... [et al.] -- Logical transactions and serializability / Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent -- Results on reasoning about updates in transaction logic / Anthony J. Bonner, Michael Kifer -- The dynamics of database views / Marcelo Arenas, Leopoldo Bertossi -- Inductive definability and the situation calculus / Eugenia Ternovskaia -- Some notes on knowledge assimilation in deductive databases / Hendrik Decker -- Applications of belief revision / Mary-Anne Williams -- Analysing rational properties of change operators based on forward chaining / Hassan Bezzazi ... [et al.] -- A practical approach to hypothetical database queries / Henning Christiansen and Troels Andreasen -- From extensional to intensional knowledge : inductive logic programming techniques and their application to deductive databases / Peter A. Flach.
Bibliography note	Includes bibliographical references and indexes.
LCCN	98032082
ISBN	3540653058 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D3 I5655 1996	✔ Available	Place Hold

Click here for more information about this title

Availability