Ramification and causality in a modal action logic |
| |
| Authors: | Giordano, L Martelli, A Schwind, C |
| |
| Affiliation: | Z Dipartimento di Scienze e Tecnologie Avanzate, Università del Piemonte Orientale 'A. Avogadro', Corso Borsalino 54 - 15100 Alessandria, Italy E-mail: laura@di.unito.it ZZ Dipartimento di Informatica - Università di Torino, C.so Svizzera 185 - 10149 Torino, Italy E-mail: mrt@di.unit.it Y Faculté des Sciences de Luminy, Laboratoire d'Informatique de Marseille, CNRS, 16 Avenue de Luminy, Case 901, 13288 Marseille Cedex 9, France E-mail: schwind@lim.univ.mrs.fr |
| |
| Abstract: | |
| |
| Keywords: | reasoning about actions and change causality modal logic. |
| 本文献已被 Oxford 等数据库收录！ |
|
