|
|||||
|
|
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations |
|
| Authors: | Artosi, Alberto Governatori, Guido Rotolo, Antonino |
| Affiliation: | 1 Department of Philosophy, University of Bologna, via Zamboni 38, I-40126 Bologna, Italy. E-mail: artosi{at}cirfid.unibo.it 2 School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD 4072, Australia. E-mail: guido{at}itee.uq.edu.au 3 CIRSFID, University of Bologna, Via Galliera 3, I-40121 Bologna, Italy. E-mail: rotolo{at}cirfid.unibo.it |
| Abstract: | |
| Keywords: | Labelled tableaux nonmonotonic reasoning conditional logic |
| 本文献已被 Oxford 等数据库收录！ | |