A unified view of propositional knowledge base updates

Authors:
Hirofumi Katsuno;Alberto O. Mendelzon
Affiliations:
NTT Basic Research Laboratories, Musashino-shi, Tokyo, Japan;Department of Computer Science, University of Toronto, Toronto, Ontario, Canada
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 4
Cited 9

Language features for flexible handling of exceptions in information systems

ACM Transactions on Database Systems (TODS)
On the semantics of updates in databases

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Revisions of knowledge systems using epistemic entrenchment

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
On integrity constraints

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge

Coping with change

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Using attention in belief revision

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Deriving properties of belief update from theories of action

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The complexity of model checking for belief revision and update

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Prime forms and minimal change in propositional belief bases

Annals of Mathematics and Artificial Intelligence
Revision of CTL models

IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Belief revision on computation tree logic

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Policy-based inconsistency management in relational databases

International Journal of Approximate Reasoning
A decomposition based algorithm for maximal contractions

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...