|
|||||
|
|
Preferential Choice Representation Theorems for Branching Time Structures |
|
| Authors: | SCHLECHTA KARL |
| Affiliation: | Laboratoire d'Informatique de Marseille, URA CNRS 1787, Université de Provence Case 32, 3, PL Victor Hugo, F-13331 Marseille Cedex 3, France. E-mail: ks{at}gyptis.univ-mrs.fr |
| Abstract: | |
| Keywords: | Non-monotonic reasoning update reasoning about developments deontic logic |
| 本文献已被 Oxford 等数据库收录！ | |