The complexity of logic-based abduction
Journal of the ACM (JACM)
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
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
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
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
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
Addressing Efficiency Issues During the Process of Integrity Maintenance
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
The Diagnosis Frontend of the dlv system
AI Communications
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |