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. 244 655 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). . 186 436
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). . 199 606
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). . 255 972
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. 437 889
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). . 372 1940
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). . 181 869
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 191 1019 10 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. 243 560
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. 160 555
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. 182 581