Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
An execution model for limited ambiguity rules and its application to derived data update
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)
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Nonmonotonic Inductive Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data 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 inference rule for hypothesis generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
AILP abductive inductive logic programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Integrating induction and abduction in logic programming
Information Sciences: an International Journal
A transformation-based approach to view updating in stratifiable deductive databases
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Modifying Intensional Logic Knowledge
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 |