Browse by all authors Browse By Author Name - Rotolo,+Antonino

Browse Results (33 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
Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency. 157 453
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. 200 441 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. 248 721
Governatori, Guido and Rotolo, Antonino (2003). A Defeasible Logic of Institutional Agency. In: Brewka, Gerhard and Peppas, Pavlos, Proceedings of the IJCAI-03 Workshop on Nonmonotonic Reasoning, Action and Change. IJCAI-03 Workshop on Nonmonotonic Reasoning, Action and Change, Acapulco, Mexico, (97-104). 10-11 August, 2003. 218 777
Governatori, Guido and Rotolo, Antonino (2002). A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study. In: Jones, Andrew J. I. and Horty, John, Proceedings of the Sixth International Workshop on Deontic Logic in Computer Science. Deon 2002. Sixth International Workshop on Deontic Logic in Computer Science, London, (97-116). 22-24 May, 2002. 298 772
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 640 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 101 752 15 Cited 44 times in Scopus44 0
Governatori, Guido and Rotolo, Antonino (2007). BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. In: Guido Boella, Leendert van der Torre and Harko Verhagen, Dagstuhl Seminar Proceedings. Normative Multi-Agent Systems (NorMAS), Dagstuhl, Germany, (1-34). 18-23 March, 2007. 140 348
Governatori, Guido and Rotolo, Antonino (2008). Changing Legal Systems: Abrogation and Annulment Part II: Temporalised Defeasible Logic. 54 22
Governatori, Guido and Rotolo, Antonino (2008). Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. In: 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Luxembourg, (). 15-16 July 2008. 55 267
Governatori, Guido and Rotolo, Antonino (2008). Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories. In: Ron van der Meyden and Leon van der Torre, DEON 2008. 9th International Conference on Deontic Logic in Computer Science (DEON2008), Luxemburg, (3-18). 15-18 July 2008. doi:10.1007/978-3-540-70525-3_2 81 782 10 Cited 5 times in Scopus5 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. 64 478 14
Dastani, Mehdi, Governatori, Guido, Rotolo, Antonino, Song, Insu and van der Torre, Leendert (2008). Contextual Agent Deliberation in Defeasible Logic. In: Ghose, Aditya and Governatori, Guido, 10 Pacific Rim International Workshop on Multi-Agents (PRIMA 2008), Bangkok, (98-109). 21-23 November 2007. doi:10.1007/978-3-642-01639-4_9 57 236 Cited 0 times in Scopus0 0
Dastani, Mehdi, Governatori, Guido, Rotolo, Antonino, Song, Insu and van der Torre, Leendert (2007). Contextual Deliberation of Cognitive Agents in Defeasible Logic. In: The Sixth International Joint Confonference on Autonomous Agents and Multi-Agent Systems (AAMAS 07). The Sixth International Joint Confonference on Autonomous Agents and Multi-Agent Systems (AAMAS 07), Honolulu, Hawaii, (607-609). 14-18 May 2007. doi:10.1145/1330000/1329306/a148-dastani.pdf?key1=1329306 82 367 Cited 0 times in Scopus0 0
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. 233 1550
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. 187 2821 31
Boella, Guido, Governatori, Guido, Hulstijn, Joris, Riveret, Regis, Rotolo, Antonino and van der Torre, Leendert (2007). FIPA Communicative Acts in Defeasible Logic. In: Alankar Karol, Pavlos Peppas and Mary-Anne Williams, Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’07). Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07), Hyderabad, India, (). 7-8 January, 2007. 1090 632
Riveret, Regis, Rotolo, Antonino and Governatori, Guido (2007). Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic. In: Boella, Guido, van der Torre, Leendert and Verhagen, Harko, Normative Multi-Agent Systems (NorMAS), Dagstuhl, Germany, (). 18-23 March, 2007. 113 351
Governatori, Guido and Rotolo, Antonino (2000). Labelled Modal Sequents. In: Dyckhoff, Roy, TABLEAUX 2000. Position Papers and Tutorials, , (3-21). . 109 407
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
Governatori, Guido and Rotolo, Antonino (2005) Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations. 179 1405
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. 37 1
Governatori, Guido and Rotolo, Antonino (2004). Modelling Contracts Using RuleML. In: Gordon, Thomas, Jurix 2004: The Seventeenth Annual Conference, Berlin, (). December, 2004. 337 3168
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 221 1240 Cited 25 times in Scopus25 0
Governatori, Guido, Palmirani, Monica, Riveret, Regis, Rotolo, Antonino and Sartor, Giovanni (2005). Normative Modifications in Defeasible Logic. In: Moens, Marie-Francine, Jurix 2005, Brussels, (). 8-10 December, 2005. 162 667
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 543 819 7 Cited 19 times in Scopus19 0
Governatori, Guido and Rotolo, Antonino (2004). On the Axiomatization of Elgesem's Logic of Agency and Ability. In: Renate Schmidt, Ian Pratt-Hartmann, Mark Reynold and Heinrich Wansing, Proceedings of the International Conference on Advances in Modal Logic. Advances in Modal Logic, Manchester, (130-144). 9--11 September, 2004. 305 511
Governatori, Guido, Hulstijn, Joris, Riveret, Regis and Rotolo, Antonino (2007). On the Representation of Deadlines in a Rental Agreement. In: Lodder, Arno R. and Mommers, Laurens, Legal Knowledge and Information Systems. JURIX 2007: The Twentieth Annual Conference, Leiden, The Netherlands, (186-187). 13-14 December 2007. 183 611
Padmanabhan, Vineet, Governatori, Guido, Sadiq, Shazia, Colomb, Robert M. and Rotolo, Antonino (2006). Process Modelling: The Deontic Way. In: Marcus Stumptner, Sven Hartmann and Yasushi Kiyoki, Conceptual Modelling 2006: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. The 3rd Asia Pacific Conference on Conceptual Modelling (APCCM 2006), Hobart, Tasmania, (1-10). 16-19 January, 2006. 322 1203
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
Roth, Bram, Riveret, Regis, Rotolo, Antonino and Governatori, Guido (2007). Strategic argumentation: A game theoretical investigation. In: Radboud Winkels and Anne Gardner, Eleventh International Conference on Artificial Intelligence and Law: Proceedings. 11th International Conference on Artificial Intelligence and Law (ICAIL 2007), Stanford, California, U.S.A., (81-90). 4-8 June 2007. doi:10.1145/1276318.1276333 203 1158 Cited 13 times in Scopus13 0
Governatori, Guido, Rotolo, Antonino, Riveret, Regis, Palmirani, Monica and Sartor, Giovanni (2007). Variants of temporal defeasible logics for modelling norm modifications. In: Radboud Winkels and Anne Gardner, Eleventh International Conference on Artificial Intelligence and Law: Proceedings. 11th International Conference on Artificial Intelligence and Law (ICAIL 2007), Stanford, California, U.S.A., (155-159). 4-8 June 2007. doi:10.1145/1276318.1276347 106 524 Cited 18 times in Scopus18 0