Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
Towards a Tailored Theory of Consistency Enforcement in Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Addressing Efficiency Issues During the Process of Integrity Maintenance
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
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
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Abduction for Accessing Information Sources
Fundamenta Informaticae
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Automata- and logic-based pattern languages for tree-structured data
Proceedings of the 2nd international conference on Semantics in databases
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
GAPs: Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
Adversarial Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
Abduction for Accessing Information Sources
Fundamenta Informaticae
The view-update problem for indefinite databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |