04369nam 22006855 450 991076847480332120200629200021.03-540-49449-910.1007/BFb0055493(CKB)1000000000210972(SSID)ssj0000327355(PQKBManifestationID)11230853(PQKBTitleCode)TC0000327355(PQKBWorkID)10301543(PQKB)10431870(DE-He213)978-3-540-49449-2(PPN)155220780(EXLCZ)99100000000021097220121227d1998 u| 0engurnn#008mamaatxtccrTransactions and Change in Logic Databases[electronic resource] 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 /edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov1st ed. 1998.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1998.1 online resource (X, 398 p.)Lecture Notes in Computer Science,0302-9743 ;1472Bibliographic Level Mode of Issuance: Monograph3-540-65305-8 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.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.Lecture Notes in Computer Science,0302-9743 ;1472Software engineeringDatabase managementArtificial intelligenceComputer programmingSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Database management.Artificial intelligence.Computer programming.Software Engineering/Programming and Operating Systems.Database Management.Artificial Intelligence.Programming Techniques.005.75/7Freitag Burkhardedthttp://id.loc.gov/vocabulary/relators/edtDecker Hendrikedthttp://id.loc.gov/vocabulary/relators/edtKifer Michaeledthttp://id.loc.gov/vocabulary/relators/edtVoronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtInternational Seminar on Logic Databases and the Meaning of ChangeBOOK9910768474803321Transactions and Change in Logic Databases1944997UNINA