Regis Riveret
Regis Riveret
Data61, 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
4502016
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
1702016
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
1202018
Heuristics in argumentation: a game-theoretical investigation
R Riveret, H Prakken, A Rotolo, G Sartor
902008
Characterising deadlines in temporal modal defeasible logic
G Governatori, J Hulstijn, R Riveret, A Rotolo
Australasian Joint Conference on Artificial Intelligence, 486-496, 2007
722007
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
562007
The pursuit of computational justice in open systems
J Pitt, D Busquets, R Riveret
AI & society 30 (3), 359-378, 2015
512015
Strategic argumentation: a game theoretical investigation
B Roth, R Riveret, A Rotolo, G Governatori
Proceedings of the 11th international conference on artificial intelligence …, 2007
482007
Success chances in argument games: a probabilistic approach to legal disputes
R Riveret, A Rotolo, G Sartor, H Prakken, B Roth
European University Institute, 2007
482007
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
44*2005
Social coordination frameworks for social technical systems
H Aldewereld, O Boissier, V Dignum, P Noriega, J Padget, eds.
Springer International Publishing, 2016
322016
On learning attacks in probabilistic abstract argumentation
R Riveret, G Governatori
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
282016
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
Computable models of the law: languages, dialogues, games, ontologies
R Rubino, P Casanovas, G Sartor, N Casellas, eds.
Springer, 2008
28*2008
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
252017
On ASPIC+ and Defeasible Logic
HP Lam, G Governatori, R Riveret
COMMA, 359-370, 2016
212016
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
212013
A labelling framework for probabilistic argumentation
R Riveret, P Baroni, Y Gao, G Governatori, A Rotolo, G Sartor
arXiv preprint arXiv:1708.00109, 2017
182017
On labelling statements in multi-labelling argumentation
P Baroni, G Governatori, R Riveret
Proceedings of the Twenty-second European Conference on Artificial …, 2016
132016
Probabilistic abstract argumentation: an investigation with Boltzmann machines
R Riveret, D Korkinof, M Draief, J Pitt
Argument & Computation 6 (2), 178-218, 2015
132015
The system can't perform the operation now. Try again later.
Articles 1–20