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. 239 646 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). . 183 407
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). . 195 590
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). . 250 963
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. 433 881
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). . 364 1919
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). . 178 854
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 188 997 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. 239 541
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. 156 540
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. 179 578