LEADER 04367nam  22006855  450 
001 996466120703316
005 20200629200021.0
010   $a3-540-49449-9
024 7 $a10.1007/BFb0055493
035   $a(CKB)1000000000210972
035   $a(SSID)ssj0000327355
035   $a(PQKBManifestationID)11230853
035   $a(PQKBTitleCode)TC0000327355
035   $a(PQKBWorkID)10301543
035   $a(PQKB)10431870
035   $a(DE-He213)978-3-540-49449-2
035   $a(PPN)155220780
035   $a(EXLCZ)991000000000210972
100   $a20121227d1998      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTransactions and Change in Logic Databases$b[electronic resource] $eInternational 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 /$fedited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
205   $a1st ed. 1998.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998.
215   $a1 online resource (X, 398 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1472
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-65305-8 
327   $aThe 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1472
606   $aSoftware engineering
606   $aDatabase management
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aDatabase management.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aDatabase Management.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a005.75/7
702   $aFreitag$b Burkhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDecker$b Hendrik$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKifer$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVoronkov$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Seminar on Logic Databases and the Meaning of Change
906   $aBOOK
912   $a996466120703316
996   $aTransactions and Change in Logic Databases$91944997
997   $aUNISA