Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Berger, Shai"'
Publikováno v:
Journal of Logic and Computation, Vol. 9 no. 6 (1999) pp. 817-833
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, descr
Externí odkaz:
http://arxiv.org/abs/cs/0202026
Publikováno v:
Proceedings of SPIE; Nov1996, Issue 1, p260-264, 5p
Autor:
Berger, Shai
Publikováno v:
Get Streaming!; 2004, p188-190, 3p
Publikováno v:
Journal of Logic & Computation; Dec99, Vol. 9 Issue 6