Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Theoretical Computer Science
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Propositional knowledge base revision and minimal change
Artificial Intelligence
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Revision and updating in knowledge bases
Revision and updating in knowledge bases
Conditional logics of belief change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
On the logic of iterated belief revision
Artificial Intelligence
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
Revision in Extended Propositional Calculus
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
The Revised Gärdenfors Postulates and Update Semantics
ICDT '90 Proceedings of the Third International Conference on Database Theory
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Iterated theory base change: a computational model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Generalized update: belief change in dynamic settings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
Hi-index | 0.00 |
This paper surveys the most representative approaches of knowledge-base revision. After a description of the revision characterization according to the AGM paradigm, the paper reviews different revision methods. In each case, the same example is used, as a reference example, to illustrate the different approaches. Closely connected with revision, some other non-monotonic approaches, like update, are briefly presented.