Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. - Alberto Artosi; Paola Benassi; Guido Governatori; Antonino Rotolo (Advances in Modal Logic, 1996)

Labelled Proofs for Quantified Modal Logic. - Alberto Artosi; Paola Benassi; Guido Governatori; Antonino Rotolo (JELIA, 1996)

A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. - Alberto Artosi; Guido Governatori; Antonino Rotolo (TABLEAUX, 2000)

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. - Alberto Artosi; Guido Governatori; Antonino Rotolo (J. Log. Comput., 2002)

A Model of Dynamic Resource Allocation in Workflow Systems. - Guido Governatori; Antonino Rotolo; Shazia Sadiq (ADC, 2004)

Defeasible Logic: Agency, Intention and Obligation. - Guido Governatori; Antonino Rotolo (DEON, 2004)

Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. - Jonathan Gelati; Antonino Rotolo; Giovanni Sartor; Guido Governatori (Artif. Intell. Law, 2004)

Preferences of Agents in Defeasible Logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (Australian Conference on Artificial Intelligence, 2005)

Temporalised Normative Positions in Defeasible Logic. - Guido Governatori; Antonino Rotolo; Giovanni Sartor (ICAIL, 2005)

Norm Modifications in Defeasible Logic. - Guido Governatori; Monica Palmirani; Régis Riveret; Antonino Rotolo; Giovanni Sartor (JURIX, 2005)

Programming Cognitive Agents in Defeasible Logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (LPAR, 2005)

On the Axiomatisation of Elgesem's Logic of Agency and Ability. - Guido Governatori; Antonino Rotolo (J. Philos. Log., 2005)

Process modelling: the deontic way. - Vineet Padmanabhan; Guido Governatori; Shazia Sadiq; Robert M. Colomb; Antonino Rotolo (APCCM, 2006)

The cost of social agents. - Guido Governatori; Antonino Rotolo; Vineet Padmanabhan (AAMAS, 2006)

An OWL Ontology of Fundamental Legal Concepts. - Rossella Rubino; Antonino Rotolo; Giovanni Sartor (JURIX, 2006)

Rule-Based Agents in Temporalised Defeasible Logic. - Guido Governatori; Vineet Padmanabhan; Antonino Rotolo (PRICAI, 2006)

Argumentation Semantics for Temporal Defeasible Logic. - Régis Riveret; Guido Governatori; Antonino Rotolo (STAIRS, 2006)

Contextual deliberation of cognitive agents in defeasible logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Insu Song; Leendert W. N. van der Torre (AAMAS, 2007)

Characterising Deadlines in Temporal Modal Defeasible Logic. - Guido Governatori; Joris Hulstijn; Régis Riveret; Antonino Rotolo (Australian Conference on Artificial Intelligence, 2007)

Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. - Régis Riveret; Antonino Rotolo; Guido Governatori (Normative Multi-agent Systems, 2007)

Variants of temporal defeasible logics for modelling norm modifications. - Guido Governatori; Antonino Rotolo; Régis Riveret; Monica Palmirani; Giovanni Sartor (ICAIL, 2007)

Strategic argumentation: a game theoretical investigation. - Bram Roth; Régis Riveret; Antonino Rotolo; Guido Governatori (ICAIL, 2007)

On the Representation of Deadlines in a Rental Agreement. - Guido Governatori; Joris Hulstijn; Régis Riveret; Antonino Rotolo (JURIX, 2007)

Success chances in argument games: a probabilistic approach to legal disputes. - Régis Riveret; Antonino Rotolo; Giovanni Sartor; Henry Prakken; Bram Roth (JURIX, 2007)

Contextual Agent Deliberation in Defeasible Logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Insu Song; Leendert W. N. van der Torre (PRIMA, 2007)

Heuristics in Argumentation: A Game Theory Investigation. - Régis Riveret; Henry Prakken; Antonino Rotolo; Giovanni Sartor (COMMA, 2008)

Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. - Guido Governatori; Antonino Rotolo (DEON, 2008)

An Algorithm for Business Process Compliance. - Guido Governatori; Antonino Rotolo (JURIX, 2008)

Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. - Guido Governatori; Antonino Rotolo (NORMAS, 2008)

BIO logical agents: Norms, beliefs, intentions in defeasible logic. - Guido Governatori; Antonino Rotolo (Auton. Agents Multi Agent Syst., 2008)

A computational framework for institutional agency. - Guido Governatori; Antonino Rotolo (Artif. Intell. Law, 2008)

Temporal Deontic Defeasible Logic: An Analytical Approach. - Régis Riveret; Antonino Rotolo (Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008)

How Do Agents Comply with Norms? - Guido Governatori; Antonino Rotolo (Web Intelligence/IAT Workshops, 2009)

Why lawyers are nice (or nasty): a game-theoretical argumentation exercise. - Giovanni Sartor; Michel Rudnianski; Antonino Rotolo; Régis Riveret; Eunate Mayor (ICAIL, 2009)

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning. - Guido Governatori; Antonino Rotolo; Rossella Rubino (JSAI-isAI Workshops, 2009)

Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. - Guido Boella; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (AICOL Workshops, 2009)

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. - Thomas F. Gordon; Guido Governatori; Antonino Rotolo (RuleML, 2009)

A Java Implementation of Temporal Defeasible Logic. - Rossella Rubino; Antonino Rotolo (RuleML, 2009)

A defeasible logic for modelling policy-based intentions and motivational attitudes. - Guido Governatori; Vineet Padmanabhan; Antonino Rotolo; Abdul Sattar 001 (Log. J. IGPL, 2009)

Good faith in contract negotiation and performance. - Antonino Rotolo; Giovanni Sartor; Clara Smith (Int. J. Bus. Process. Integr. Manag., 2009)

A conceptually rich model of business process compliance. - Guido Governatori; Antonino Rotolo (APCCM, 2010)

Retroactive Legal Changes and Revision Theory in Defeasible Logic. - Antonino Rotolo (DEON, 2010)

Representations of Time within Normative MAS. - Clara Smith; Antonino Rotolo; Giovanni Sartor (JURIX, 2010)

A Logical Understanding of Legal Interpretation. - Guido Boella; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (KR, 2010)

Norm Compliance in Business Process Modeling. - Guido Governatori; Antonino Rotolo (RuleML, 2010)

Changing legal systems: legal abrogations and annulments in Defeasible Logic. - Guido Governatori; Antonino Rotolo (Log. J. IGPL, 2010)

Collective trust and normative agents. - Clara Smith; Antonino Rotolo (Log. J. IGPL, 2010)

Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS. - Clara Smith; Diego Agustín Ambrossio; Leandro Mendoza; Antonino Rotolo (AICOL, 2011)

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance. - Guido Governatori; Antonino Rotolo (CLIMA, 2011)

Temporal accommodation of legal argumentation. - Régis Riveret; Antonino Rotolo; Giuseppe Contissa; Giovanni Sartor; Wamberto Weber Vasconcelos (ICAIL, 2011)

Norm Compliance of Rule-Based Cognitive Agents. - Antonino Rotolo (IJCAI, 2011)

Three Concepts of Defeasible Permission. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (JURIX, 2011)

LegalRuleML: XML-Based Rules and Norms. - Monica Palmirani; Guido Governatori; Antonino Rotolo; Said Tabet; Harold Boley; Adrian Paschke (RuleML America, 2011)

Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic. - Antonino Rotolo (RuleML Europe, 2011)

Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems. - Antonino Rotolo; Leendert W. N. van der Torre (RuleML Europe, 2011)

Time and defeasibility in FIPA ACL semantics. - Guido Boella; Guido Governatori; Joris Hulstijn; Régis Riveret; Antonino Rotolo; Leendert W. N. van der Torre (J. Appl. Log., 2011)

Possible World Semantics for Defeasible Deontic Logic. - Guido Governatori; Antonino Rotolo; Erica Calardo (DEON, 2012)

Norms and Learning in Probabilistic Logic-Based Agents. - Régis Riveret; Antonino Rotolo; Giovanni Sartor (DEON, 2012)

A Study of Ex Ante Law Enforcement in Norm-Governed Learning Agents. - Régis Riveret; Dídac Busquets; Jeremy Pitt; Giuseppe Contissa; Antonino Rotolo; Giovanni Sartor (JSAI-isAI Workshops, 2012)

Narrowing Legal Concepts. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (JURIX, 2012)

Probabilistic rule-based argumentation for norm-governed learning agents. - Régis Riveret; Antonino Rotolo; Giovanni Sartor (Artif. Intell. Law, 2012)

Law enforcement in norm-governed learning agents. - Régis Riveret; Giuseppe Contissa; Antonino Rotolo; Jeremy V. Pitt (AAMAS, 2013)

Norms in MAS: Definitions and Related Concepts. - Tina Balke; Célia da Costa Pereira; Frank Dignum; Emiliano Lorini; Antonino Rotolo; Wamberto Weber Vasconcelos; Serena Villata (Normative Multi-Agent Systems, 2013)

Legal contractions: a logical analysis. - Guido Governatori; Antonino Rotolo; Francesco Olivieri; Simone Scannapieco (ICAIL, 2013)

Vicarious reinforcement and ex ante law enforcement: a study in norm-governed learning agents. - Régis Riveret; Giuseppe Contissa; Dídac Busquets; Antonino Rotolo; Jeremy Pitt; Giovanni Sartor (ICAIL, 2013)

A deontic logic semantics for licenses composition in the web of data. - Antonino Rotolo; Serena Villata; Fabien Gandon (ICAIL, 2013)

Heuristics for Licenses Composition. - Guido Governatori; Ho-Pun Lam; Antonino Rotolo; Serena Villata; Fabien Gandon (JURIX, 2013)

Reflex Responsibility of Agents. - Clara Smith; Antonino Rotolo; Giovanni Sartor (JURIX, 2013)

Picking Up the Best Goal - An Analytical Study in Defeasible Logic. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco; Matteo Cristani (RuleML, 2013)

Computing Temporal Defeasible Logic. - Guido Governatori; Antonino Rotolo (RuleML, 2013)

One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data. - Guido Governatori; Antonino Rotolo; Serena Villata; Fabien Gandon (ISWC (1), 2013)

Computing Strong and Weak Permissions in Defeasible Logic. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (J. Philos. Log., 2013)

A Preference-Based Semantics for CTD Reasoning. - Erica Calardo; Guido Governatori; Antonino Rotolo (DEON, 2014)

Strategic Argumentation is NP-Complete. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Antonino Rotolo; Matteo Cristani (ECAI, 2014)

Strategic Argumentation Under Grounded Semantics is NP-Complete. - Guido Governatori; Michael J. Maher; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (EUMAS, 2014)

Two Faces of Strategic Argumentation in the Law. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco; Giovanni Sartor (JURIX, 2014)

Argumentation Schemes for Statutory Interpretation: A Logical Analysis. - Giovanni Sartor; Doug Walton; Fabrizio Macagno; Antonino Rotolo (JURIX, 2014)

Legal Responsibility for the Acts of Others: A Logical Analysis. - Clara Smith; Erica Calardo; Antonino Rotolo; Giovanni Sartor (RuleML, 2014)

Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data. - Cristian Cardellino; Serena Villata; Fabien Gandon; Guido Governatori; Ho-Pun Lam; Antonino Rotolo (ISWC (Posters & Demos), 2014)

LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data. - Guido Governatori; Ho-Pun Lam; Antonino Rotolo; Serena Villata; Ghislain Auguste Atemezing; Fabien Gandon (ISWC (Posters & Demos), 2014)

Checking Licenses Compatibility between Vocabularies and Data. - Guido Governatori; Ho-Pun Lam; Antonino Rotolo; Serena Villata; Ghislain Auguste Atemezing; Fabien Gandon (COLD, 2014)

Variants of multi-relational semantics for propositional non-normal modal logics. - Erica Calardo; Antonino Rotolo (J. Appl. Non Class. Logics, 2014)

Logics for Legal Dynamics. - Guido Governatori; Antonino Rotolo (Logic in the Theory and Practice of Lawmaking, 2015)

Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments. - Antonino Rotolo; Guido Governatori; Giovanni Sartor (ICAIL, 2015)

Semantics for Modelling Reason-Based Preferences. - Erica Calardo; Guido Governatori; Antonino Rotolo (PRIMA, 2015)

Sequence Semantics for Norms and Obligations. - Guido Governatori; Francesco Olivieri; Erica Calardo; Antonino Rotolo (DEON, 2016)

Interpretation Across Legal Systems. - Alessandra Malerba; Antonino Rotolo; Guido Governatori (JURIX, 2016)

Sequence Semantics for Normative Agents. - Guido Governatori; Francesco Olivieri; Erica Calardo; Antonino Rotolo; Matteo Cristani (PRIMA, 2016)

The rationale behind the concept of goal. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Antonino Rotolo; Matteo Cristani (Theory Pract. Log. Program., 2016)

Changes to temporary norms. - Matteo Cristani; Francesco Olivieri; Antonino Rotolo (ICAIL, 2017)

Combining fuzzy logic and formal argumentation for legal interpretation. - Célia da Costa Pereira; Andrea G. B. Tettamanzi; Beishui Liao; Alessandra Malerba; Antonino Rotolo; Leendert W. N. van der Torre (ICAIL, 2017)

Temporalised Belief Revision in the Law. - Luciano H. Tamargo; Diego C. Martínez 001; Antonino Rotolo; Guido Governatori (JURIX, 2017)

Meaning Negotiation with Defeasible Logic. - Matteo Cristani; Antonino Rotolo (KES-AMSTA, 2017)

Handling Norms in Multi-agent Systems by Means of Formal Argumentation. - Célia da Costa Pereira; Beishui Liao; Alessandra Malerba; Antonino Rotolo; Andrea G. B. Tettamanzi; Leendert W. N. van der Torre; Serena Villata (FLAP, 2017)

Quantification in Some Non-normal Modal Logics. - Erica Calardo; Antonino Rotolo (J. Philos. Log., 2017)

Dialogues on Moral Theories. - Guido Governatori; Francesco Olivieri; Régis Riveret; Antonino Rotolo; Serena Villata (DEON, 2018)

Dealing with Qualitative and Quantitative Features in Legal Domains. - Maximiliano Celmo David Budán; Maria Laura Cobo; Diego C. Martínez 001; Antonino Rotolo (JURIX, 2018)

A Deontic Argumentation Framework Based on Deontic Defeasible Logic. - Guido Governatori; Antonino Rotolo; Régis Riveret (PRIMA, 2018)

A labelling framework for probabilistic argumentation. - Régis Riveret; Pietro Baroni; Yang Gao 021; Guido Governatori; Antonino Rotolo; Giovanni Sartor (Ann. Math. Artif. Intell., 2018)

Sequence Semantics for Modelling Reason-based Preferences. - Erica Calardo; Guido Governatori; Antonino Rotolo (Fundam. Informaticae, 2018)

Modelling Dialogues for Optimal Legislation. - Guido Governatori; Antonino Rotolo; Régis Riveret; Serena Villata (ICAIL, 2019)

Legislative Dialogues with Incomplete Information. - Guido Governatori; Antonino Rotolo (JURIX, 2019)

A Computational Model for Pragmatic Oddity. - Guido Governatori; Antonino Rotolo (JURIX, 2019)

A probabilistic argumentation framework for reinforcement learning agents - Towards a mentalistic approach to agent profiles. - Régis Riveret; Yang Gao 021; Guido Governatori; Antonino Rotolo; Jeremy Pitt; Giovanni Sartor (Auton. Agents Multi Agent Syst., 2019)

An axiomatic characterization of temporalised belief revision in the law. - Luciano H. Tamargo; Diego C. Martínez 001; Antonino Rotolo; Guido Governatori (Artif. Intell. Law, 2019)

Hypotheses and their dynamics in legal argumentation. - Martín O. Moguillansky; Antonino Rotolo; Guillermo Ricardo Simari (Expert Syst. Appl., 2019)

Time and Compensation Mechanisms in Checking Legal Compliance. - Guido Governatori; Antonino Rotolo (FLAP, 2019)

A Deontic Argumentation Framework Towards Doctrine Reification. - Régis Riveret; Antonino Rotolo; Giovanni Sartor (FLAP, 2019)

Principles and Semantics: Modelling Violations for Normative Reasoning. - Silvano Colombo Tosatto; Guido Governatori; Antonino Rotolo (AICOL, 2020)

Free Choice Permission in Defeasible Deontic Logic. - Guido Governatori; Antonino Rotolo (JURIX, 2020)

Is Free Choice Permission Admissible in Classical Deontic Logic? - Guido Governatori; Antonino Rotolo (DEON, 2021)

A Defeasible Deontic Logic for Pragmatic Oddity. - Guido Governatori; Silvano Colombo Tosatto; Antonino Rotolo (DEON, 2021)

Modelling legal procedures. - Antonino Rotolo; Clara Smith (ICAIL, 2021)

Pathways to legal dynamics in robotics. - Antonino Rotolo; Luciano H. Tamargo; Diego C. Martínez 001 (ICAIL, 2021)

Computing Private International Law. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Abdul Sattar 001; Matteo Cristani (JURIX, 2021)

Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics. - Luciano H. Tamargo; Diego C. Martínez 001; Antonino Rotolo; Guido Governatori (FLAP, 2021)

Stable Normative Explanations. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Matteo Cristani (JURIX, 2022)

Modelling and Explaining Legal Case-Based Reasoners Through Classifiers. - Xinghan Liu; Emiliano Lorini; Antonino Rotolo; Giovanni Sartor (JURIX, 2022)

Inference to the Stable Explanations. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Matteo Cristani (LPNMR, 2022)

From Defeasible Logic to Counterfactual Reasoning. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Antonino Rotolo (RuleML+RR, 2022)

Thirty years of Artificial Intelligence and Law: overviews. - Michal Araszkiewicz; Trevor J. M. Bench-Capon; Enrico Francesconi; Marc Lauritsen; Antonino Rotolo (Artif. Intell. Law, 2022)

Deontic Meta-Rules. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Antonino Rotolo; Abdul Sattar 001 (CoRR, 2022)

Deontic Ambiguities in Legal Reasoning. - Guido Governatori; Antonino Rotolo (ICAIL, 2023)

Stable Normative Explanations: From Argumentation to Deontic Logic. - Cecilia Di Florio; Antonino Rotolo; Guido Governatori; Giovanni Sartor (JELIA, 2023)

Inferring New Classifications in Legal Case-Based Reasoning. - Cecilia Di Florio; Xinghan Liu; Emiliano Lorini; Antonino Rotolo; Giovanni Sartor (JURIX, 2023)

Automating Business Process Compliance for the EU AI Act. - Claudio Novelli; Guido Governatori; Antonino Rotolo (JURIX, 2023)

Argumentation and explanation in the law. - Antonino Rotolo; Giovanni Sartor (Frontiers Artif. Intell., 2023)

When Precedents Clash. - Cecilia Di Florio; Huimin Dong; Antonino Rotolo (JURIX, 2024)

A Logical Framework for Weak Permissions in Criminal Procedure. - Guido Governatori; Antonino Rotolo (JURIX, 2024)

Judicial Explanations. - Cecilia Di Florio; Antonino Rotolo (RuleML+RR, 2024)

Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic. - Guido Governatori; Silvano Colombo Tosatto; Antonino Rotolo (J. Log. Comput., 2024)

AI Risk Assessment: A Scenario-Based, Proportional Methodology for the AI Act. - Claudio Novelli; Federico Casolari; Antonino Rotolo; Mariarosaria Taddeo; Luciano Floridi (Digit. Soc., 2024)

An approach to temporalised legal revision through addition of literals. - Martín O. Moguillansky; Diego C. Martínez 001; Luciano H. Tamargo; Antonino Rotolo (Artif. Intell. Law, 2024)

Taking AI risks seriously: a new assessment model for the AI Act. - Claudio Novelli; Federico Casolari; Antonino Rotolo; Mariarosaria Taddeo; Luciano Floridi (AI Soc., 2024)

A Replica for our Democracies? On Using Digital Twins to Enhance Deliberative Democracy. - Claudio Novelli; Javier Argota Sánchez-Vaquerizo; Dirk Helbing; Antonino Rotolo; Luciano Floridi (CoRR, 2025)

Rule-based Classifier Models. - Cecilia Di Florio; Huimin Dong; Antonino Rotolo (CoRR, 2025)

Judicial Permission. - Guido Governatori; Antonino Rotolo (CoRR, 2025)

Foundations for Risk Assessment of AI in Protecting Fundamental Rights. - Antonino Rotolo; Beatrice Ferrigno; Jose Miguel Angel Garcia Godinez; Claudio Novelli; Giovanni Sartor (CoRR, 2025)