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. 161 496
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, 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. 250 814
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. 311 798
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 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. 153 370
Governatori, Guido and Rotolo, Antonino (2008). Changing Legal Systems: Abrogation and Annulment Part II: Temporalised Defeasible Logic. 57 24
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. 57 281
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 83 800 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. 66 489 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 58 240 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 84 391 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. 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
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. 1109 656
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. 129 362
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 1426
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, Antonino and Sartor, Giovanni (2005). Normative Modifications in Defeasible Logic. In: Moens, Marie-Francine, Jurix 2005, Brussels, (). 8-10 December, 2005. 167 688
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, 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. 336 521
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. 188 629
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. 324 1223
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
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 206 1187 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 119 540 Cited 18 times in Scopus18 0