Silvano Colombo Tosatto

32 papers A* 1A 4B 2C 2Journal 11Unranked 12

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