An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
A Partition Model Approach to Updating Universal Scheme Interfaces
IEEE Transactions on Knowledge and Data Engineering
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Compiling integrity checking into update procedures
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Hi-index | 0.01 |