Browse by all authors Browse By Author ID - Antonino Rotolo

Browse Results (21 results found)

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

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Governatori, Guido and Rotolo, Antonino (2003). A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems. In: Bourcier, Daniele, Jurix 2003, Utrecht Netherlands, (151-152). December, 2003. 206 448 1
Governatori, G., Gelati, J., Rotolo, A. and Sartor, G. (2002). Actions, institutions, powers: Preliminary notes. In: G. Lindemann, D. Moldt, M. Paolucci and B. Yu, Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications. International Workshop on Regulated Agent-Based Social Systems: Theories and Applications, Bologna, Italy, (131-147). 16 July, 2002. 53  
Governatori, Guido, Gelati, Jonathan, Rotolo, Antonino and Sartor, Giovanni (2002). Actions, Institutions, Powers: Preliminary Notes. In: Lindemann, Gabriela, Moldt, Daniel, Paulucci, Mario and Yu, Bin, International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), Bologna, (131-147). 12 July, 2002. 252 739
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 653 2
Governatori, Guido and Rotolo, Antonino (2008) BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems, 17 1: 36-69. doi:10.1007/s10458-008-9030-4 115 828 17 Cited 45 times in Scopus45 0
Governatori, Guido, Hulstijn, Joris, Riveret, Regis and Rotolo, Antonino (2007). Characterising Deadlines in Temporal Modal Defeasible Logic. In: 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Queensland, (486-496). 2-6 December, 2007. 66 493 14
Gelati, J., Governatori, G., Rotolo, A. and Sartor, G. (2002). Declarative power, representation, and mandate: A formal analysis. In: T. Bench-Capon, A. Daskalopulu and R. Winkels, Legal Knowledge and Information Systems. JURIX 2002: The Fifteenth Annual Conference, London, (41-52). 16-17 December, 2002. 40  
Gelati, Jonathan, Governatori, Guido, Rotolo, Antonino and Sartor, Giovanni (2002). Declarative Power, Representation, and Mandate: A Formal Anaysis. In: Bench-Capon, Trevor, Daskalopulu, Aspassia and Winkels, Radboudb, Jurix 2002, London, (41-52). December, 2002. 246 1588
Governatori, Guido and Rotolo, Antonino (2004). Defeasible Logic: Agency, Intention and Obligation. In: Lomuscio, Alession and Nute, Donald, Deontic Logic In Computer Science, Proceedings. 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Spain, (114-128). 26-28 May, 2004. 188 2899 30
Governatori, Guido and Rotolo, Antonino (2000). Labelled Modal Sequents. In: Dyckhoff, Roy, TABLEAUX 2000. Position Papers and Tutorials, , (3-21). . 114 438
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 865
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 1016 10 Cited 14 times in Scopus14 0
Governatori, Guido and Rotolo, Antonino (2005) Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations. 185 1438
Governatori, Guido and Rotolo, Antonino (2006) Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4 1: 193-215. 39 1
Governatori, Guido and Rotolo, Antonino (2004). Modelling Contracts Using RuleML. In: Gordon, Thomas, Jurix 2004: The Seventeenth Annual Conference, Berlin, (). December, 2004. 346 3183
Gelati, Jonathan, Governatori, Guido, Rotolo, Antonino and Sartor, Giovanni (2004) Normative Autonomy and Normative Co-ordination: Declarative Power, Representation, and Mandate. Artificial Intelligence and Law, 12 1-2: 53-81. doi:10.1007/s10506-004-1922-2 226 1265 Cited 25 times in Scopus25 0
Governatori, Guido, Palmirani, Monica, Riveret, Regis, Rotolo, Antonio and Sartor, Giovanni (2005). Norm modifications in defeasible logic. In: Marie-Francine Moens and Peter Spyns, Proceedings of the 18th Jurix Conference on Legal Knowledge and Information Systems (JURIX 2005). JURIX 2005: The 18th Annual Conference, Brusseles, Belgium, (13-22). 8-10 December 2005. 38  
Governatori, Guido and Rotolo, Antonino (2005) On the axiomatisation of Elgesem's logic of agency and ability. Journal of Philosophical Logic, 34 4: 403-431. doi:10.1007/s10992-004-6368-1 548 835 9 Cited 20 times in Scopus20 0
Governatori, G. and Rotolo, A. (2004). Representing contracts using ruleML. In: T. Gordon, Legal Knowledge and Information Systems. Jurix'04: The Seventeenth Annual Conference, Berlin, (141-150). 8-10 December, 2004. 45  
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. 159 552
Governatori, G., Rotolo, A. and Sartor, G. (2005). Temporalised Normative Positions in Defeasible Logic. In: A. Gardner, Proceedings of the Conference: The Tenth International Conference on Artificial Intelligence and Law. 10th International Conference on Artificial Intelligence and Law (ICAIL 05), Bologna, Italy, (25-34). 6-11 June, 2005. 187 1246