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