Concepedia

Antonino Rotolo

AR

47

Publications

1.7K

Citations

24

H-Index

1990

Active since

Affiliations

University of Bologna(Current)

The University of Queensland

European University Institute

University of Palermo

Antonino Rotolo is an author at University of Bologna specializing in engineering, law, and automated reasoning.

Top concepts

EngineeringAutomated ReasoningLawFormal MethodsSemanticsComputer ScienceSystems EngineeringLanguageLinguisticsSocial Sciences

Publications per year

1990–2024

47

Publications

47

Temporalised normative positions in defeasible logic

Guido Governatori, Antonino Rotolo, Giovanni Sartor · 2005 · 143 citations

Temporalised Agency, Non-classical Logic, Philosophy Of Language +12

Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations

Guido Governatori, Antonino Rotolo · The Australasian Journal of Logic · 2018 · 131 citations · Full text

Reasoning, Non-classical Logic, Public Policy +13

BIO logical agents: Norms, beliefs, intentions in defeasible logic

Guido Governatori, Antonino Rotolo · Autonomous Agents and Multi-Agent Systems · 2008 · 126 citations

Automated Reasoning, Defeasible Logic, Epistemology +4

Taking AI risks seriously: a new assessment model for the AI Act

Claudio Novelli, Federico Casolari, Antonino Rotolo et al. · AI & Society · 2023 · 94 citations · Full text

A conceptually rich model of business process compliance

Guido Governatori, Antonino Rotolo · 2010 · 71 citations

Compliance Problem, Engineering, Verification +21

Rows per page

1–5 of 47