Browse by all authors Browse By Author ID - Alberto Artosi

Browse Results (11 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Artosi, Alberto, Governatori, Guido and Rotolo, Antonino (2000). A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. In: Dyckhoff, Roy, Tableaux 2000, St Andrews, Scotland, (82-97). Jul 03-07, 2000. 238 639 2
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1997). A Modal Computational Framework for Default Reasoning. In: Brewka, Gerhard, Habel, Christopher and Nebel, Bernhard, KI-97, , (373-376). . 182 406
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994). An Automated Approach to Normative Reasoning. In: Breuker, Joost, ECAI Workshop on Artificial Normative Reasoning, Amsterdam, (132-145). . 194 589
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1995). A Prolog Implementation of KEM. In: Alpuente, Maria and Sessa, Maria I., GULP-PRODE'95, Salerno, (395-400). . 246 957
Artosi, Alberto and Governatori, Guido (1998). A Tableaux Methodology For Deontic Conditional Logics. In: DEON'98, 4h International Workshop on Deontic Logic in Computer Science, Bologna, Italy, (65-81). January, 1998. 432 877
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994). KED: A Deontic Theorem Prover. In: Biagioli, Carlo, Sartor, Giovanni and Tiscornia, Daniela, Workshop on Legal Application of Logic Programming, Santa Margherita Ligure, Italy, (60-76). . 356 1896
Artosi, Alberto, Benassi, Paola, Governatori, Guido and Rotolo, Antonino (2004). Labelled Proofs For Quantified Modal Logic. In: Alferes, Jose J., Pereira, Luis M. and Orlowska, Ewa, Jelia'96, Evora, Portugal, (70-86). . 176 845
Artosi, Alberto, Governatori, Guido and Rotolo, Antonino (2002) Labelled tableaux for nonmonotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation, 12 6: 1027-1060. doi:10.1093/logcom/12.6.1027 186 982 9 Cited 14 times in Scopus14 0
Artosi, Alberto and Governatori, Guido (1998). Modal tableaux for nonmonotonic reasoning. In: Vito MIchele Abrusci, Carlo Cellucci, Roberto Cordeschi and Vincenzo Fano, Prospettive della logica e della filosofia della scienza : atti del Convegno Triennale della Societa Italiana di Logica e Filosofia delle Scienze. Convegno Triennale della Societa Italiana di Logica e Filosofia delle Scienze, Rome, Italy, (203-213). 3-5 January 1996. 236 539
Artosi, Alberto, Benassi, Paola, Governatori, Guido and Rotolo, Antonino (1998). Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. In Kracht, Marcus, de Rijke, Maarten, Wansing, Heinrich and Zakharyaschev, Michael (Ed.), Advances in Modal Logic. Volume 1 (pp. 1-21) : CSLI. 152 534
Artosi, Alberto, Governatori, Guido and Sartor, Giovanni (1996). Towards a computational treatment of deontic defeasibility. In: Mark Brown and Jose Carmo, Deontic Logic, Agency and Normative Systems. Third International Workshop on Deontic Logic in Computer Science (DEON '96), Sesimbra, Portugal, (27-46). 11-13 January 1996. 177 575