Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
A formal basis for schema analysis of semantic database update semantics
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |