Silvano Colombo Tosatto
Silvano Colombo Tosatto
Data61, CSIRO
Verified email at data61.csiro.au
Title
Cited by
Cited by
Year
Business process regulatory compliance is hard
SC Tosatto, G Governatori, P Kelsen
IEEE Transactions on Services Computing 8 (6), 958-970, 2014
282014
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
212012
Integrating legal-urn and eunomos: Towards a comprehensive compliance management solution
G Boella, SC Tosatto, S Ghanavati, J Hulstijn, L Humphreys, R Muthuri, ...
International Workshop on AI Approaches to the Complexity of Legal Systems …, 2013
172013
Checking regulatory compliance: Will we live to see it?
SC Tosatto, G Governatori, N van Beest
International Conference on Business Process Management, 119-138, 2019
92019
Algorithms for tractable compliance problems
SC Tosatto, P Kelsen, Q Ma, M El Kharbili, G Governatori, L van der Torre
Frontiers of computer Science 9 (1), 55-74, 2015
92015
Visualizing normative systems: An abstract approach
SC Tosatto, G Boella, L van der Torre, S Villata
International Conference on Deontic Logic in Computer Science, 16-30, 2012
92012
Towards an abstract framework for compliance
SC Tosatto, G Governatori, P Kelsen
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
72013
Detecting deontic conflicts in dynamic settings
SC Tosatto, G Governatori, P Kelsen
International Conference on Deontic Logic in Computer Science, 65-80, 2014
62014
Business process compliance is hard
SC Tosatto, G Governatori, P Kelsen, L van der Torre
NICTA, Tech. Rep., 2012
62012
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
42019
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
42012
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
42011
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
42011
Automatic extraction of legal norms: Evaluation of natural language processing tools
G Ferraro, HP Lam, SC Tosatto, F Olivieri, MB Islam, N van Beest, ...
JSAI International Symposium on Artificial Intelligence, 64-81, 2019
32019
Social network analysis for judgment aggregation
S Colombo Tosatto, M Van Zee
Proceedings of the 13th International Conference on Autonomous Agents and …, 2014
32014
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
32010
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
22020
Resource-driven substructural defeasible logic
F Olivieri, G Governatori, M Cristani, N van Beest, S Colombo-Tosatto
International Conference on Principles and Practice of Multi-Agent Systems …, 2018
22018
Proving Regulatory Compliance: Business Processes, Logic, Complexity
S Colombo Tosatto
University of Luxembourg, Luxembourg, Luxembourg, 2015
22015
Bridging social network analysis and judgment aggregation
SC Tosatto, M Van Zee
International conference on social informatics, 17-33, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20