Business process regulatory compliance is hard SC Tosatto, G Governatori, P Kelsen IEEE Transactions on Services Computing 8 (6), 958-970, 2014 | 34 | 2014 |
Integrating legal-urn and eunomos: Towards a comprehensive compliance management solution G Boella, S Colombo Tosatto, S Ghanavati, J Hulstijn, L Humphreys, ... AI Approaches to the Complexity of Legal Systems: AICOL 2013 International …, 2014 | 30 | 2014 |
Abstract normative systems: Semantics and proof theory S Colombo Tosatto, G Boella, L van der Torre, S Villata 13th International Conference on Principles of Knowledge Representation and …, 2012 | 24 | 2012 |
Automatic extraction of legal norms: Evaluation of natural language processing tools G Ferraro, HP Lam, SC Tosatto, F Olivieri, MB Islam, N van Beest, ... New Frontiers in Artificial Intelligence: JSAI-isAI International Workshops …, 2020 | 19 | 2020 |
Checking regulatory compliance: Will we live to see it? S Colombo Tosatto, G Governatori, N van Beest Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019 | 13 | 2019 |
Visualizing normative systems: An abstract approach S Colombo Tosatto, G Boella, L van Der Torre, S Villata Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012 | 13 | 2012 |
Algorithms for tractable compliance problems S Colombo Tosatto, P Kelsen, Q Ma, M El Kharbili, G Governatori, ... Frontiers of computer Science 9, 55-74, 2015 | 8 | 2015 |
Resource-driven substructural defeasible logic F Olivieri, G Governatori, M Cristani, N van Beest, S Colombo-Tosatto PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st …, 2018 | 7 | 2018 |
Towards an abstract framework for compliance SC Tosatto, G Governatori, P Kelsen 2013 17th IEEE International Enterprise Distributed Object Computing …, 2013 | 7 | 2013 |
Business process compliance is hard SC Tosatto, G Governatori, P Kelsen, L van der Torre NICTA, Tech. Rep., 2012 | 7 | 2012 |
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 Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014 | 5 | 2014 |
Cross-instance regulatory compliance checking of business process event logs N Van Beest, H Groefsema, A Cryer, G Governatori, SC Tosatto, H Burke IEEE Transactions on Software Engineering, 2023 | 4 | 2023 |
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, ... 7th Workshop on Neural-Symbolic Learning and Reasoning 2011, NeSy2011, 2011 | 4 | 2011 |
A defeasible deontic logic for pragmatic oddity G Governatori, S Colombo Tosatto, A Rotolo Proceedings Deontic Logic in Computer Science (DEON 2020), 2020 | 3 | 2020 |
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 |
Social network analysis for judgment aggregation S Colombo Tosatto, M Van Zee 13th International Conference on Autonomous Agents and Multiagent Systems, 2014 | 3 | 2014 |
On the relationship between io logic and connectionism G Boella, S Colombo Tosatto, AS d'Avila Garcez, V Genovese Workshop on Non-Monotonic Reasoning, 2010 | 3 | 2010 |