Sold Out
Book Categories |
The State of Change: A Survey | 1 | |
Specification of Dynamics for Knowledge-Based Systems | 37 | |
On Active Deductive Databases: The Statelog Approach | 69 | |
Active-U-Datalog: Integrating Active Rules in a Logical Update Language | 107 | |
Logical Transactions and Serializability | 134 | |
Results on Reasoning about Updates in Transaction Logic | 166 | |
The Dynamics of Database Views | 197 | |
Inductive Definability and the Situation Calculus | 227 | |
Some Notes on Knowledge Assimilation in Deductive Databases | 249 | |
Applications of Belief Revision | 287 | |
Analysing Rational Properties of Change Operators Based on Forward Chaining | 317 | |
A Practical Approach to Hypothetical Database Queries | 340 | |
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases | 356 | |
Author Index | 389 | |
Subject Index | 391 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionTransactions and Change in Logic Databases, Vol. 147
X
This Item is in Your InventoryTransactions and Change in Logic Databases, Vol. 147
X
You must be logged in to review the productsX
X
X
Add Transactions and Change in Logic Databases, Vol. 147, 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 a, Transactions and Change in Logic Databases, Vol. 147 to the inventory that you are selling on WonderClubX
X
Add Transactions and Change in Logic Databases, Vol. 147, 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 a, Transactions and Change in Logic Databases, Vol. 147 to your collection on WonderClub |