Business process regulatory compliance is hard SC Tosatto, G Governatori, P Kelsen IEEE Transactions on Services Computing 8 (6), 958-970, 2014 | 29 | 2014 |
Abstract normative systems: Semantics and proof theory SC Tosatto, G Boella, L van der Torre, S Villata Thirteenth International Conference on the Principles of Knowledge …, 2012 | 24 | 2012 |
Integrating legal-urn and eunomos: Towards a comprehensive compliance management solution G Boella, S Colombo Tosatto, S Ghanavati, J Hulstijn, L Humphreys, ... International Workshop on AI Approaches to the Complexity of Legal Systems …, 2013 | 22 | 2013 |
Checking regulatory compliance: Will we live to see it? S Colombo Tosatto, G Governatori, N Beest International Conference on Business Process Management, 119-138, 2019 | 11 | 2019 |
Visualizing normative systems: An abstract approach S Colombo Tosatto, G Boella, L Torre, S Villata International Conference on Deontic Logic in Computer Science, 16-30, 2012 | 10 | 2012 |
Algorithms for tractable compliance problems S Colombo Tosatto, P Kelsen, Q Ma, M El Kharbili, G Governatori, ... Frontiers of computer Science 9 (1), 55-74, 2015 | 9 | 2015 |
Automatic extraction of legal norms: Evaluation of natural language processing tools G Ferraro, HP Lam, SC Tosatto, F Olivieri, MB Islam, N Beest, ... JSAI International Symposium on Artificial Intelligence, 64-81, 2019 | 8 | 2019 |
Towards an abstract framework for compliance SC Tosatto, G Governatori, P Kelsen 2013 17th IEEE International Enterprise Distributed Object Computing …, 2013 | 7 | 2013 |
Learning and reasoning about norms using neural-symbolic systems A Perotti, G Boella, S Colombo Tosatto, AS d’Avila Garcez, V Genovese, ... International Conference on Autonomous Agents and Multiagent Systems, AAMAS …, 2012 | 7 | 2012 |
Efficient Full Compliance Checking of Concurrent Components for business Process Models. SC Tosatto, G Governatori, N van Beest, F Olivieri FLAP 6 (5), 963-998, 2019 | 6 | 2019 |
Detecting deontic conflicts in dynamic settings S Colombo Tosatto, G Governatori, P Kelsen International Conference on Deontic Logic in Computer Science, 65-80, 2014 | 6 | 2014 |
Business process compliance is hard SC Tosatto, G Governatori, P Kelsen, L van der Torre NICTA, Tech. Rep., 2012 | 6 | 2012 |
Social network analysis for judgment aggregation S Colombo Tosatto, M Van Zee Proceedings of the 13th International Conference on Autonomous Agents and …, 2014 | 4 | 2014 |
Neural symbolic systems for normative agents G Boella, SC Tosatto, ASA Garcez, D Ienco, V Genovese, L van der Torre 10th International Conference on Autonomous Agents and Multiagent Systems, 2011 | 4 | 2011 |
Embedding normative reasoning into neural symbolic systems G Boella, S Colombo Tosatto, A d'Avila Garcez, V Genovese, ... Proceedings of the Seventh International Workshop on Neural-Symbolic …, 2011 | 4 | 2011 |
Business process full compliance with respect to a set of conditional obligation in polynomial time SC Tosatto, G Governatori, N Van Beest arXiv preprint arXiv:2001.10148, 2020 | 3 | 2020 |
Resource-driven substructural defeasible logic F Olivieri, G Governatori, M Cristani, N Beest, S Colombo-Tosatto International Conference on Principles and Practice of Multi-Agent Systems …, 2018 | 3 | 2018 |
On the relationship between io logic and connectionism G Boella, S Colombo Tosatto, AS d'Avila Garcez, V Genovese In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning …, 2010 | 3 | 2010 |
Verifying compliance of process compositions through certification of its components SC Tosatto, G Governatori, N van Beest 2020 IEEE 24th International Enterprise Distributed Object Computing …, 2020 | 2 | 2020 |
A Defeasible Deontic Logic for Pragmatic Oddity G Governatori, S Colombo Tosatto, A Rotolo Proceedings Deontic Logic in Computer Science (DEON 2020), 2020 | 2 | 2020 |