Alberto Artosi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1994–2000
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | TABLEAUX | A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. | Alberto Artosi, Guido Governatori, Antonino Rotolo |
| 1997 | KI | A Modal Computational Framework for Default Reasoning. | Alberto Artosi, Paola Cattabriga, Guido Governatori |
| 1996 | AiML | Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
| 1996 | JELIA | Labelled Proofs for Quantified Modal Logic. | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
| 1994 | ICLP | KED: A Deontic Theorem Prover. | Alberto Artosi, Paola Cattabriga, Guido Governatori |