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)
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Interpreting natural language database updates
ACL '81 Proceedings of the 19th annual meeting on Association for Computational Linguistics
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
Journal of the ACM (JACM)
A model-theoretic approach to updating logical databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
On the integrity of databases with incomplete information
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Axiomatization and simplification rules for relational transactions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A dynamic framework for object projection views
ACM Transactions on Database Systems (TODS)
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Updating databases in the weak instance model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The impact of logic programming on databases
Communications of the ACM
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Updating relational databases through weak instance interfaces
ACM Transactions on Database Systems (TODS)
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
CIKM '94 Proceedings of the third international conference on Information and knowledge management
The complexity of logic-based abduction
Journal of the ACM (JACM)
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
The size of a revised knowledge base
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning About Data Provided By Federated Deductive Databases
Journal of Intelligent Information Systems
A framework for comparison of update semantics
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Canonical view update support through boolean algebras of components
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Object projection views in the dynamic relational model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the equivalence of logical databases
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
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
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
A Generalized Relational Model for Indefinite and Maybe Information
IEEE Transactions on Knowledge and Data Engineering
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A Partition Model Approach to Updating Universal Scheme Interfaces
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
A New Approach to Base Revision
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Transactions in Relational Databases (Preliminary Report)
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Dependency Satisfaction in Databases with Incomplete Information
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Hypergraph Transversal Computation and Related Problems in Logic and AI
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A programmable approach to maintenance of a finite knowledge base
Journal of Computer Science and Technology
Fast algorithms for revision of some special propositional knowledge bases
Journal of Computer Science and Technology
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
The Knowledge Engineering Review
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Realizability semantics for error-tolerant logics: preliminary version
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
Update semantics for incomplete databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Understanding the implications of view update policies
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Prime Implicate-based Belief Revision Operators
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An AGM-based belief revision mechanism for probabilistic spatio-temporal logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A semantic approach for iterated revision in possibilistic logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research
Sometimes updates are circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A unified view of propositional knowledge base updates
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The complexity of nested counterfactuals and iterated knowledge base revisions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th 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
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning under inconsistency: the forgotten connective
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Counting complexity of propositional abduction
Journal of Computer and System Sciences
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A logic for revision and subjunctive queries
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
View update translation for XML
Proceedings of the 14th International Conference on Database Theory
Maximizing conjunctive views in deletion propagation
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Reasoning with qualitative probabilities can be tractable
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
(Dis)Belief change based on messages processing
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Preference-driven querying of inconsistent relational databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
A dichotomy in the complexity of deletion propagation with functional dependencies
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Prioritized repairing and consistent query answering in relational databases
Annals of Mathematics and Artificial Intelligence
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Maximizing Conjunctive Views in Deletion Propagation
ACM Transactions on Database Systems (TODS)
Aluminum: principled scenario exploration through minimality
Proceedings of the 2013 International Conference on Software Engineering
Multi-tuple deletion propagation: approximations and complexity
Proceedings of the VLDB Endowment
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.02 |
We suggest here a methodology for updating databases with integrity constraints and rules for deriving inexphcit information. First we consider the problem of updating arbitrary theories by inserting into them or deleting from them arbitrary sentences. The solution involves two key ideas when replacing an old theory by a new one we wish to minimize the change in the theory, and when there are several theories that involve minimal changes, we look for a new theory that reflects that ambiguity. The methodology is also adapted to updating databases, where different facts can carry different priorities, and to updating user views.