Edit Profile Rotolo, Antonino Compute Distance To: Compute Author ID: rotolo.antonino Published as: Rotolo, A.; Rotolo, Antonino Documents Indexed: 31 Publications since 1996 all top 5 Co-Authors 1 single-authored 24 Governatori, Guido 7 Calardo, Erica 6 Oliveri, Francesco 5 Riveret, Régis 4 Artosi, Alberto 3 Cristani, Matteo 3 Scannapieco, Simone 3 van der Torre, Leendert W. N. 2 Benassi, Paola 2 Dastani, Mehdi M. 2 Sartor, Giovanni 1 Baroni, Pietro 1 Boella, Guido 1 Gao, Yang 1 Grossi, Davide 1 Hulstijn, Joris 1 Padmanabhan, Vineet 1 Sattar, Abdul 1 Smith, Clara 1 Villata, Serena all top 5 Serials 3 Journal of Philosophical Logic 3 Logic Journal of the IGPL 1 Journal of Logic and Computation 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 The Australasian Journal of Logic Fields 25 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 20 Publications have been cited 64 times in 45 Documents Cited by ▼ Year ▼ Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071Governatori, Guido; Rotolo, Antonino 12 2010 Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Zbl 1122.03013Governatori, Guido; Rotolo, Antonino 9 2006 On the axiomatisation of Elgesem’s logic of agency and ability. Zbl 1086.03013Governatori, Guido; Rotolo, Antonino 6 2005 Computing strong and weak permissions in defeasible logic. Zbl 1286.03058Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Scannapieco, Simone 5 2013 A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul 4 2009 Changing legal systems: Abrogation and annulment. I: Revision of defeasible theories. Zbl 1143.03306Governatori, Guido; Rotolo, Antonino 4 2008 Labelled tableaux for nonmonotonic reasoning: Cumulative consequence relations. Zbl 1014.03030Artosi, Alberto; Governatori, Guido; Rotolo, Antonino 3 2002 A labelling framework for probabilistic argumentation. Zbl 06909218Riveret, Régis; Baroni, Pietro; Gao, Yang; Governatori, Guido; Rotolo, Antonino; Sartor, Giovanni 2 2018 The rationale behind the concept of goal. Zbl 1379.68295Governatori, Guido; Olivieri, Francesco; Scannapieco, Simone; Rotolo, Antonino; Cristani, Matteo 2 2016 Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088Calardo, Erica; Rotolo, Antonino 2 2014 Strategic argumentation is NP-complete. Zbl 1366.68288Governatori, G.; Olivieri, F.; Scannapieco, S.; Rotolo, A.; Cristani, M. 2 2014 Norms and learning in probabilistic logic-based agents. Zbl 1297.68224Riveret, Régis; Rotolo, Antonino; Sartor, Giovanni 2 2012 Possible world semantics for defeasible deontic logic. Zbl 1297.03014Governatori, Guido; Rotolo, Antonino; Calardo, Erica 2 2012 Programming cognitive agents in defeasible logic. Zbl 1143.68597Dastani, Mehdi; Governatori, Guido; Rotolo, Antonino; van der Torre, Leendert 2 2005 Defeasible logic: Agency, intention and obligation. Zbl 1169.03336Governatori, Guido; Rotolo, Antonino 2 2004 Sequence semantics for normative agents. Zbl 1392.68416Governatori, Guido; Olivieri, Francesco; Calardo, Erica; Rotolo, Antonino; Cristani, Matteo 1 2016 Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance. Zbl 1348.68238Governatori, Guido; Rotolo, Antonino 1 2011 Preferences of agents in defeasible logic. Zbl 1175.68457Dastani, Mehdi; Governatori, Guido; Rotolo, Antonino; van der Torre, Leendert 1 2005 A labelled tableau calculus for nonmonotonic (cumulative) consequence relations. Zbl 0963.03005Artosi, Alberto; Governatori, Guido; Rotolo, Antonino 1 2000 Shakespearian modal logic: A labelled treatment of modal identity. Zbl 0909.03022Artosi, Alberto; Benassi, Paola; Governatori, Guido; Rotolo, Antonino 1 1998 A labelling framework for probabilistic argumentation. Zbl 06909218Riveret, Régis; Baroni, Pietro; Gao, Yang; Governatori, Guido; Rotolo, Antonino; Sartor, Giovanni 2 2018 The rationale behind the concept of goal. Zbl 1379.68295Governatori, Guido; Olivieri, Francesco; Scannapieco, Simone; Rotolo, Antonino; Cristani, Matteo 2 2016 Sequence semantics for normative agents. Zbl 1392.68416Governatori, Guido; Olivieri, Francesco; Calardo, Erica; Rotolo, Antonino; Cristani, Matteo 1 2016 Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088Calardo, Erica; Rotolo, Antonino 2 2014 Strategic argumentation is NP-complete. Zbl 1366.68288Governatori, G.; Olivieri, F.; Scannapieco, S.; Rotolo, A.; Cristani, M. 2 2014 Computing strong and weak permissions in defeasible logic. Zbl 1286.03058Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Scannapieco, Simone 5 2013 Norms and learning in probabilistic logic-based agents. Zbl 1297.68224Riveret, Régis; Rotolo, Antonino; Sartor, Giovanni 2 2012 Possible world semantics for defeasible deontic logic. Zbl 1297.03014Governatori, Guido; Rotolo, Antonino; Calardo, Erica 2 2012 Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance. Zbl 1348.68238Governatori, Guido; Rotolo, Antonino 1 2011 Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071Governatori, Guido; Rotolo, Antonino 12 2010 A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul 4 2009 Changing legal systems: Abrogation and annulment. I: Revision of defeasible theories. Zbl 1143.03306Governatori, Guido; Rotolo, Antonino 4 2008 Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Zbl 1122.03013Governatori, Guido; Rotolo, Antonino 9 2006 On the axiomatisation of Elgesem’s logic of agency and ability. Zbl 1086.03013Governatori, Guido; Rotolo, Antonino 6 2005 Programming cognitive agents in defeasible logic. Zbl 1143.68597Dastani, Mehdi; Governatori, Guido; Rotolo, Antonino; van der Torre, Leendert 2 2005 Preferences of agents in defeasible logic. Zbl 1175.68457Dastani, Mehdi; Governatori, Guido; Rotolo, Antonino; van der Torre, Leendert 1 2005 Defeasible logic: Agency, intention and obligation. Zbl 1169.03336Governatori, Guido; Rotolo, Antonino 2 2004 Labelled tableaux for nonmonotonic reasoning: Cumulative consequence relations. Zbl 1014.03030Artosi, Alberto; Governatori, Guido; Rotolo, Antonino 3 2002 A labelled tableau calculus for nonmonotonic (cumulative) consequence relations. Zbl 0963.03005Artosi, Alberto; Governatori, Guido; Rotolo, Antonino 1 2000 Shakespearian modal logic: A labelled treatment of modal identity. Zbl 0909.03022Artosi, Alberto; Benassi, Paola; Governatori, Guido; Rotolo, Antonino 1 1998 all cited Publications top 5 cited Publications all top 5 Cited by 89 Authors 9 Governatori, Guido 9 Rotolo, Antonino 4 Oliveri, Francesco 4 van der Torre, Leendert W. N. 3 Calardo, Erica 3 Cristani, Matteo 3 Riveret, Régis 3 Sartor, Giovanni 3 Scannapieco, Simone 2 Boella, Guido 2 Gabbay, Dov M. 2 Olivetti, Nicola 2 Pigozzi, Gabriella 2 Pozzato, Gian Luca 2 Schneider, Gerardo 1 Abraham, Michael 1 Adi, Kamel 1 Ahrendt, Wolfgang 1 Alenda, Régis 1 Amgoud, Leila 1 Argente, E. 1 Baroni, Pietro 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Botti, Vicente J. 1 Broersen, Jan M. 1 Colombo, Christian 1 Criado, Natalia 1 Dastani, Mehdi M. 1 d’Avila Garcez, Artur S. 1 Devred, Caroline 1 Dinesh, Nikhil 1 Dong, Huimin 1 Falcone, Yliès 1 Fan, Xiaocong 1 Fermé, Eduardo Leopoldo 1 Francalanza, Adrian 1 Gao, Yang 1 Gratzl, Norbert 1 Hansson, Sven Ove 1 Hashmi, Mustafa 1 Hulstijn, Joris 1 Joshi, Aravind K. 1 Kowalski, Robert A. 1 Krstić, Srđan 1 Lagasquie-Schiex, Marie-Christine 1 Lam, Ho-Pun 1 Lamb, Luís C. 1 Lee, Insup 1 Lorini, Emiliano 1 Lourenço, João M. 1 Ma, Ji 1 Maher, Michael J. 1 Menni, Matías 1 Meyer, John-Jules Charles 1 Minari, Pierluigi 1 Modgil, Sanjay 1 Nickovic, Dejan 1 Nissan, Ephraim 1 Noriega, Pablo 1 Norman, Timothy J. 1 Oren, Nir 1 Orgun, Mehmet Ali 1 Pace, Gordon J. 1 Pacuit, Eric 1 Poggiolesi, Francesca 1 Porello, Daniele 1 Potyka, Nico 1 Prakken, Henry 1 Prisacariu, Cristian 1 Reed, Chris 1 Robaldo, Livio 1 Roy, Olivier 1 Rufino, José 1 Sakama, Chiaki 1 Sánchez, César 1 Satoh, Ken 1 Schild, Uri 1 Signoles, Julien 1 Simon, Sunil 1 Smith, Christina D. 1 Sokolsky, Oleg 1 Sun, Xin 1 Svoboda, Vladimír 1 Tinnemeier, Nick 1 Traytel, Dmitry 1 Troquard, Nicolas 1 Weiss, Alexander 1 Yen, John all top 5 Cited in 13 Serials 8 Journal of Applied Non-Classical Logics 6 Journal of Philosophical Logic 5 International Journal of Approximate Reasoning 4 Journal of Applied Logic 3 Artificial Intelligence 3 Theory and Practice of Logic Programming 2 Annals of Mathematics and Artificial Intelligence 1 Studia Logica 1 Synthese 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 The Journal of Logic and Algebraic Programming 1 The Review of Symbolic Logic Cited in 4 Fields 33 Computer science (68-XX) 27 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) Citations by Year