Journal of the ACM (JACM)
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Domain-independent formulas and databases
Theoretical Computer Science
A logical framework for default reasoning
Artificial Intelligence
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Lecture notes in computer science on ICDT '88
View update translation via deduction and annotation
Lecture notes in computer science on ICDT '88
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
New Generation Computing
Intensional updates: abduction via deduction
Logic programming
Logic programming
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Logic for Problem Solving
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Drawing Updates From Derivations
ICDT '90 Proceedings of the Third International Conference on Database Theory
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
Abduction with Penalization in Logic Programming
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
ACM Transactions on Computational Logic (TOCL)
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
Abduction for Accessing Information Sources
Fundamenta Informaticae
Induction on Failure: Learning Connected Horn Theories
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Counting complexity of propositional abduction
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Semantics and complexity of abduction from default theories
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
An inference rule for hypothesis generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
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
Counting complexity of propositional abduction
Journal of Computer and System Sciences
Abduction of distributed theories through local interactions
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A quantum interpretation of the view-update problem
ADC '10 Proceedings of the Twenty-First Australasian Conference on Database Technologies - Volume 104
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Towards efficient multi-agent abduction protocols
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
GAPs: Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
Partial repairs that tolerate inconsistency
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Adversarial Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
Abduction for Accessing Information Sources
Fundamenta Informaticae
Fundamenta Informaticae
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 |