Title
Preferred history semantics for iterated updates
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 Berger150.49
Daniel J. Lehmann21270330.79
Karl Schlechta328132.69