Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007996596/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b11092410.
- catalog contributor b11092411.
- catalog contributor b11092412.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "Includes bibliographical references and indexes.".
- catalog description "The state of change : a survey / Anthony J. Bonner, Michael Kifer -- Specification of dynamics for knowledge-based systems / Pascal van Eck [and others] -- 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 [and others] -- 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 [and others] -- 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.".
- catalog description "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.".
- catalog extent "x, 396 p. :".
- catalog identifier "3540653058 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1472".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.75/7 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Database management.".
- catalog subject "Deductive databases Congresses.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.9.D3 I5655 1996".
- catalog tableOfContents "The state of change : a survey / Anthony J. Bonner, Michael Kifer -- Specification of dynamics for knowledge-based systems / Pascal van Eck [and others] -- 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 [and others] -- 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 [and others] -- 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.".
- catalog title "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 ... [et al.], (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".