Alberto Artosi
Loading Google Thumbnails...
| 2002 |
|---|
| 7 | Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. Alberto Artosi, Guido Governatori, Antonino Rotolo. J. Log. Comput. (12): 1027-1060 (2002). Cited by 31Web SearchBibTeXDownload |
| 2000 |
|---|
| 6 | A tableau methodology for deontic conditional logics. Alberto Artosi, Guido Governatori. CoRR (cs.LO/0003050) (2000). Cited by 12Web SearchBibTeXDownload |
| 5 | A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. Alberto Artosi, Guido Governatori, Antonino Rotolo. TABLEAUX 2000, 82-97. Cited by 4Web SearchBibTeXDownload |
| 1997 |
|---|
| 4 | A Modal Computational Framework for Default Reasoning. Alberto Artosi, Paola Cattabriga, Guido Governatori. KI 1997, 373-376. Web SearchBibTeX |
| 1996 |
|---|
| 3 | Towards a Computational Treatment of Deontic Defeasibility. Alberto Artosi, Guido Governatori, Giovanni Sartor. DEON 1996, 27-46. Cited by 20Web SearchBibTeX |
| 2 | Labelled Proofs for Quantified Modal Logic. Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo. JELIA 1996, 70-86. Cited by 14Web SearchBibTeXDownload |
| 1995 |
|---|
| 1 | A Prolog Implementation of Kem. Alberto Artosi, Paola Cattabriga, Guido Governatori. GULP-PRODE 1995, 395-400. Cited by 4Web SearchBibTeX |
from DBLP and Google Scholar
