Silvano Colombo Tosatto

According to our database, Silvano Colombo Tosatto authored at least 28 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Cross-Instance Regulatory Compliance Checking of Business Process Event Logs.

Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke

IEEE Trans. Software Eng., November, 2023

2022

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic.

Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo

CoRR, 2022

Dealing with Unexpected Runtime Outcomes Within Process Models.

Silvano Colombo Tosatto, Nick van Beest

Proceedings of the Business Process Management Forum, 2022

2021

Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice.

Silvano Colombo Tosatto, Guido Governatori

FLAP, 2021

Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants.

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest

CoRR, 2021

A Defeasible Deontic Logic for Pragmatic Oddity.

Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time.

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest

CoRR, 2020

Verifying Compliance of Process Compositions Through Certification of its Components.

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest

Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

Principles and Semantics: Modelling Violations for Normative Reasoning.

Silvano Colombo Tosatto, Guido Governatori, Antonino Rotolo

Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020

2019

Efficient Full Compliance Checking of Concurrent Components for business Process Models.

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri

FLAP, 2019

Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.

Gabriela Ferraro, Ho-Pun Lam, Silvano Colombo Tosatto, Francesco Olivieri, Mohammad Badiul Islam, Nick van Beest, Guido Governatori

Proceedings of the New Frontiers in Artificial Intelligence, 2019

Checking Regulatory Compliance: Will We Live to See It?

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest

Proceedings of the Business Process Management - 17th International Conference, 2019

2018

Resource-Driven Substructural Defeasible Logic.

Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

2015

Business Process Regulatory Compliance is Hard.

Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen

IEEE Trans. Serv. Comput., 2015

Algorithms for tractable compliance problems.

Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre

Frontiers Comput. Sci., 2015

2014

Bridging Social Network Analysis and Judgment Aggregation.

Silvano Colombo Tosatto, Marc van Zee

Proceedings of the Social Informatics, 2014

Detecting Deontic Conflicts in Dynamic Settings.

Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Social network analysis for judgment aggregation.

Silvano Colombo Tosatto, Marc van Zee

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Algorithms for Basic Compliance Problems.

Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Towards an Abstract Framework for Compliance.

Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution.

Guido Boella, Silvano Colombo Tosatto, Sepideh Ghanavati, Joris Hulstijn, Llio Humphreys, Robert Muthuri, André Rifaut, Leendert W. N. van der Torre

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2013

2012

Abstract Normative Systems: Semantics and Proof Theory.

Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Visualizing Normative Systems: An Abstract Approach.

Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Contrary-To-Duties in Games.

Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto

Proceedings of the Logic Programs, Norms and Action, 2012

Learning and reasoning about norms using neural-symbolic systems.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Neural-Symbolic Learning: How to Play Soccer.

Silvano Colombo Tosatto

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Embedding Normative Reasoning into Neural Symbolic Systems.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Neural symbolic architecture for normative agents.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011