Regis Riveret
Regis Riveret
Data61, The Commonwealth Scientific and Industrial Research Organisation
Verified email at data61.csiro.au - Homepage
Title
Cited by
Cited by
Year
Untrusted business process monitoring and execution using blockchain
I Weber, X Xu, R Riveret, G Governatori, A Ponomarev, J Mendling
International Conference on Business Process Management, 329-347, 2016
3032016
Evaluation of logic-based smart contracts for blockchain systems
F Idelberger, G Governatori, R Riveret, G Sartor
International symposium on rules and rule markup languages for the semantic …, 2016
1202016
Heuristics in argumentation: a game-theoretical investigation
R Riveret, A Prakken, Henry, Rotolo, G Sartor
822008
On legal contracts, imperative and declarative smart contracts, and blockchain systems
G Governatori, F Idelberger, Z Milosevic, R Riveret, G Sartor, X Xu
Artificial Intelligence and Law, 1-33, 2018
752018
Characterising deadlines in temporal modal defeasible logic
G Governatori, J Hulstijn, R Riveret, A Rotolo
Australasian Joint Conference on Artificial Intelligence, 486-496, 2007
702007
Variants of temporal defeasible logics for modelling norm modifications
G Governatori, A Rotolo, R Riveret, M Palmirani, G Sartor
Proceedings of the 11th international conference on Artificial intelligence …, 2007
542007
The pursuit of computational justice in open systems
J Pitt, D Busquets, R Riveret
AI & society 30 (3), 359-378, 2015
452015
Strategic argumentation: a game theoretical investigation
B Roth, R Riveret, A Rotolo, G Governatori
Proceedings of the 11th international conference on Artificial intelligence …, 2007
442007
Success chances in argument games: a probabilistic approach to legal disputes
R Riveret, A Rotolo, G Sartor, R Bram, H Prakken
Available at SSRN 1100672, 2007
442007
Norm Modifications in Defeasible Logic
GS G Governatori, M Palmirani, R Riveret, A Rotolo
Legal Knowledge and Information Systems: JURIX 2005: the Eighteenth Annual …, 2005
41*2005
Probabilistic rule-based argumentation for norm-governed learning agents
R Riveret, A Rotolo, G Sartor
Artificial intelligence and Law 20 (4), 383-420, 2012
282012
Social coordination frameworks for social technical systems
H Aldewereld, O Boissier, V Dignum, P Noriega, J Padget, eds.
Springer International Publishing, 2016
252016
On the lower bound error for discrete maps using associative property
EG Nepomuceno, SAM Martins, GFV Amaral, R Riveret
Systems Science & Control Engineering 5 (1), 462-473, 2017
232017
On ASPIC+ and Defeasible Logic
HP Lam, G Governatori, R Riveret
COMMA, 359-370, 2016
192016
Procedural justice and ‘fitness for purpose’of self-organising electronic institutions
J Pitt, D Busquets, R Riveret
International Conference on Principles and Practice of Multi-Agent Systems …, 2013
192013
On learning attacks in probabilistic abstract argumentation
R Riveret, G Governatori
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
152016
Self-governance by transfiguration: From learning to prescription changes
R Riveret, A Artikis, J Pitt, EG Nepomuceno
2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014
122014
Development of the ALIS IP Ontology: Merging Legal and Technical Perspectives
C Cevenini, G Contissa, M Laukyte, R Riveret, R Rubino
Computer-Aided Innovation (CAI), 169-180, 2008
122008
A labelling framework for probabilistic argumentation
R Riveret, P Baroni, Y Gao, G Governatori, A Rotolo, G Sartor
Annals of mathematics and artificial intelligence 83 (1), 21-71, 2018
112018
On labelling statements in multi-labelling argumentation
P Baroni, G Governatori, R Riveret
Proceedings of the Twenty-second European Conference on Artificial …, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20