Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Query processing in deductive databases with incomplete information
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Theoretical foundations for belief revision
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
View update translation via deduction and annotation
Lecture notes in computer science on ICDT '88
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
New Generation Computing
Updating logical databases
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Updating relational databases through object-based views
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
AI Magazine - Reports from three of the 1990 Spring symposia and eight workshops held over the past two years
Belief updating from integrity constraints and queries
Artificial Intelligence
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Updating Intensional Predicates in Deductive Databases
Proceedings of the Ninth International Conference on Data Engineering
On Updates and Inconsistency Repairing in Knowledge Bases
Proceedings of the Ninth International Conference on Data Engineering
Drawing Updates From Derivations
ICDT '90 Proceedings of the Third International Conference on Database Theory
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Hi-index | 0.02 |