![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Transactions and Change in Logic Databases 1998
International Logic Programming Symposium
- Anthony J. Bonner, Michael Kifer:
The State of Change: A Survey. 1-36 - Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen
, Yde Venema, Mark Willems:
Specification of Dynamics for Knowledge-Based Systems. 37-68 - Georg Lausen, Bertram Ludäscher, Wolfgang May:
On Active Deductive Databases: The Statelog Approach. 69-106 - Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà:
Active-U-Datalog: Integrating Active Rules in a Logical Update Language. 107-133 - Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent:
Logical Transactions and Serializability. 134-165 - Anthony J. Bonner, Michael Kifer:
Results on Reasoning about Updates in Transaction Logic. 166-196 - Marcelo Arenas, Leopoldo E. Bertossi:
The Dynamics of Database Views. 197-226 - Eugenia Ternovskaia:
Inductive Definability and the Situation Calculus. 227-248 - Hendrik Decker:
Some Notes on Knowledge Assimilation in Deductive Databases. 249-286 - Mary-Anne Williams
:
Applications of Belief Revision. 287-316 - Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez:
Analysing Rational Properties of Change Operators Based on Forward Chaining. 317-339 - Henning Christiansen, Troels Andreasen:
A Practical Approach to Hypothetical Database Queries. 340-355 - Peter A. Flach:
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases. 356-387
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.