|
129
|
On the semantics of updates in databases
– Ronald Fagin, Jeffrey D Ullman, Moshe Y Vardi
- 1983
|
|
239
|
Reasoning about actions using a possible models approach
– Marianne Winslett
- 1988
|
|
345
|
On the Difference between Updating a Knowledge Base and Revising it
– Hirofumi Katsuno, Alberto O. Mendelzon
|
|
234
|
Propositional knowledge base revision and minimal change
– H Katsuno, A Mendelzon
- 1991
|
|
40
|
Updates and Counterfactuals
– Gösta Grahne
- 1991
|
|
77
|
Counterfactuals
– M L Ginsberg
- 1986
|
|
570
|
On the logic of theory change: Partial meet contraction and revision functions
– C E Alchourron, P Gärdenfors, D Makinson
- 1985
|
|
106
|
Belief Revision and Default Reasoning: Syntax-Based Approaches
– Bernhard Nebel
- 1991
|
|
40
|
How To Give It Up: a Survey of some Formal Aspects of the Logic of Theory Change', Synthese 62
– D Makinson
- 1985
|
|
76
|
On Specifying Database Updates
– Raymond Reiter
- 1992
|
|
38
|
Updating knowledge bases
– A Guessoum, J Lloyd
- 1990
|
|
132
|
Reasoning About Action I: A Possible Worlds Approach
– Matthew L. Ginsberg, David E. Smith
- 1987
|
|
263
|
Knowledge in Flux
– P Gärdenfors
- 1988
|
|
203
|
Towards a logical reconstruction of relational database theory
– R Reiter
- 1984
|
|
180
|
Preferred subtheories: an extended logical framework for default reasoning
– Gerhard Brewka
- 1989
|
|
570
|
Towards a theory of declarative knowledge
– K R Apt, H A Blair, A Walker
- 1988
|
|
50
|
A logic-based language for database updates
– Sanjay Manchandra, David Scott Warren
- 1988
|
|
157
|
Update semantics of relational views
– F. Bancilhon, N. Spyratos
- 1981
|
|
157
|
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals
– Thomas Eiter, Georg Gottlob
- 1992
|
