Silvano Colombo Tosatto
Silvano Colombo Tosatto
Data61, CSIRO
Bestätigte E-Mail-Adresse bei data61.csiro.au
Titel
Zitiert von
Zitiert von
Jahr
Business process regulatory compliance is hard
SC Tosatto, G Governatori, P Kelsen
IEEE Transactions on Services Computing 8 (6), 958-970, 2014
252014
Abstract normative systems: Semantics and proof theory
S Colombo Tosatto, G Boella, L van der Torre, S Villata
Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2012
202012
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
162013
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
82012
Towards an abstract framework for compliance
SC Tosatto, G Governatori, P Kelsen
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
72013
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
62015
Detecting deontic conflicts in dynamic settings
SC Tosatto, G Governatori, P Kelsen
International Conference on Deontic Logic in Computer Science, 65-80, 2014
62014
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
52019
Business process compliance is hard
SC Tosatto, G Governatori, P Kelsen, L van der Torre
NICTA, Tech. Rep., 2012
42012
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
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
32019
Algorithms for basic compliance problems
SC Tosatto, M El Kharbili, G Governatori, P Kelsen, Q Ma, L van der Torre
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
32013
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
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
Bridging social network analysis and judgment aggregation
SC Tosatto, M Van Zee
International conference on social informatics, 17-33, 2014
22014
Social network analysis for judgment aggregation
S Colombo Tosatto, M Van Zee
Proceedings of the 13th International Conference on Autonomous Agents and …, 2014
22014
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
12020
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
12019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20