Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Logic Programming Updating - A Guided Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
An intensional approach to the specification of test cases for database applications
Proceedings of the 28th international conference on Software engineering
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
AILP abductive inductive logic programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Partial repairs that tolerate inconsistency
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Hi-index | 0.00 |