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. 205 448 1
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 738
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  
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. 243 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 114 816 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 489 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. 39  
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. 243 1583
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 2884 30
Governatori, Guido and Rotolo, Antonino (2000). Labelled Modal Sequents. In: Dyckhoff, Roy, TABLEAUX 2000. Position Papers and Tutorials, , (3-21). . 112 428
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). . 179 856
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 189 1011 9 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. 183 1430
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. 345 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 223 1253 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. 37  
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 544 831 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. 157 543
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 1242