|
|||||
|
|
A Language for Handling Hypothetical Updates and Inconsistency |
|
| Authors: | Gabbay Dov M; Giordano Laura; Martelli Alberto; Olivetti Nicola |
| Institution: | Department of Computing, Imperial College 180 Queen's Gate, London SW7 2BZ, UK E-mail: dg{at}doc.ic.ac.uk Dipartimento di Informatica, Universit di Torino Torino, Italy E-mail: laura.mrt.olivetti{at}di.unito.it |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |