Silvano Colombo Tosatto

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 15

Top Topics

Language Processing

Business Process

Computational Complexity

Top Venues

JSAI-isAI Workshops

Publications

Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic. J. Log. Comput. 34 (4) (2024)
Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. IEEE Trans. Software Eng. 49 (11) (2023)
Silvano Colombo Tosatto, Nick van Beest
Dealing with Unexpected Runtime Outcomes Within Process Models. BPM (Forum) (2022)
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic. CoRR (2022)
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
A Defeasible Deontic Logic for Pragmatic Oddity. DEON (2021)
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants. CoRR (2021)
Silvano Colombo Tosatto, Guido Governatori
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice. FLAP 8 (4) (2021)
Silvano Colombo Tosatto, Guido Governatori, Antonino Rotolo
Principles and Semantics: Modelling Violations for Normative Reasoning. AICOL (2020)
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
Verifying Compliance of Process Compositions Through Certification of its Components. EDOC (2020)
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time. CoRR (2020)
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
Checking Regulatory Compliance: Will We Live to See It? BPM (2019)
Gabriela Ferraro, Ho-Pun Lam, Silvano Colombo Tosatto, Francesco Olivieri, Mohammad Badiul Islam, Nick van Beest, Guido Governatori
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools. JSAI-isAI Workshops (2019)
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri
Efficient Full Compliance Checking of Concurrent Components for business Process Models. FLAP 6 (5) (2019)
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
Resource-Driven Substructural Defeasible Logic. PRIMA (2018)
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
Resource-driven Substructural Defeasible Logic. CoRR (2018)
Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre
Algorithms for tractable compliance problems. Frontiers Comput. Sci. 9 (1) (2015)
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
Business Process Regulatory Compliance is Hard. IEEE Trans. Serv. Comput. 8 (6) (2015)
Silvano Colombo Tosatto, Marc van Zee
Bridging Social Network Analysis and Judgment Aggregation. SocInfo (2014)
Silvano Colombo Tosatto, Marc van Zee
Social network analysis for judgment aggregation. AAMAS (2014)
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
Detecting Deontic Conflicts in Dynamic Settings. DEON (2014)
Guido Boella, Silvano Colombo Tosatto, Sepideh Ghanavati, Joris Hulstijn, Llio Humphreys, Robert Muthuri, André Rifaut, Leendert W. N. van der Torre
Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution. AICOL (2013)
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
Towards an Abstract Framework for Compliance. EDOC Workshops (2013)
Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
Algorithms for Basic Compliance Problems. ICST Workshops (2013)
Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata
Visualizing Normative Systems: An Abstract Approach. DEON (2012)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre
Learning and reasoning about norms using neural-symbolic systems. AAMAS (2012)
Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto
Contrary-To-Duties in Games. Logic Programs, Norms and Action (2012)
Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata
Abstract Normative Systems: Semantics and Proof Theory. KR (2012)
Silvano Colombo Tosatto
Neural-Symbolic Learning: How to Play Soccer. NeSy (2011)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre
Embedding Normative Reasoning into Neural Symbolic Systems. NeSy (2011)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre
Neural symbolic architecture for normative agents. AAMAS (2011)