Abstract | ||
---|---|---|
We give a semantics to iterated update by a preference relation on possible developments. An iterated update is a sequence of formulas, giving (incomplete) information about successive states of the world. A development is a sequence of models, describing a possible trajectory through time. We assume a principle of inertia and prefer those developments which are compatible with the information and... |
Year | DOI | Venue |
---|---|---|
2002 | 10.1093/logcom/9.6.817 | Journal of Logic and Computation |
Keywords | DocType | Volume |
Update,revision,knowledge,representation | Journal | 9 |
Issue | ISSN | Citations |
6 | 0955-792X | 5 |
PageRank | References | Authors |
0.49 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shai Berger | 1 | 5 | 0.49 |
Daniel J. Lehmann | 2 | 1270 | 330.79 |
Karl Schlechta | 3 | 281 | 32.69 |