Updating logical databases (1986)

Cached

Download Links

by Ronald Fagin , Gabriel M. Kuper , Jeffrey D. Ullman , Moshe Y. Vardi
Venue:Advances in Computing Research
Citations:65 - 0 self

Documents Related by Co-Citation

136 On the semantics of updates in databases – R Fagin, J D Ullman, M Y Vardi - 1983
253 Reasoning about action using a possible models approach – M Winslett - 1988
263 Propositional knowledge base revision and minimal change – H Katsuno, A O Mendelzon - 1991
402 On the Difference between Updating a Knowledge Base and Revising it – Hirofumi Katsuno, Alberto O. Mendelzon
714 On the logic of theory change: Partial meet contraction and revision functions – C E Alchourron, P Gärdenfors, D Makinson - 1985
47 Updates and Counterfactuals – Gösta Grahne - 1991
85 Counterfactuals – M L Ginsberg - 1986
111 Belief Revision and Default Reasoning: Syntax-Based Approaches – Bernhard Nebel - 1991
610 Knowledge in Flux|Modeling the Dynamics of Epistemic States – P Gardenfors - 1988
240 Investigations Into a Theory of Knowledge Base Revision – Mukesh Dalal - 1988
42 Updating propositional formulas – A Weber - 1986
41 How to give it up: a survey of some formal aspects of the logic of theory change – D Makinson - 1985
77 On Specifying Database Updates – Raymond Reiter - 1992
40 Updating knowledge bases – A Guessoum, J W Lloyd - 1990
136 Reasoning About Action I: A Possible Worlds Approach – Matthew L. Ginsberg, David E. Smith - 1987
302 Knowledge in flux – P Gärdenfors - 1988
216 Towards a Logical Reconstruction of Relational Database Theory – R Reiter - 1982
199 Preferred subtheories: an extended logical framework for default reasoning – Gerhard Brewka - 1989
186 On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals – Thomas Eiter, Georg Gottlob - 1992