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
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Semantic forgetting in answer set programming
Artificial Intelligence
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
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Processing Deductive Databases under the Disjunctive Stable Model Semantics
Fundamenta Informaticae
Fundamenta Informaticae
| Hi-index | 0.00 |