Davide Grossi
Davide Grossi
University of Groningen (Bernoulli Institute), University of Amsterdam (ILLC, ACLE)
Verified email at rug.nl - Homepage
Cited by
Cited by
Normative multi-agent programs and their logics
M Dastani, D Grossi, JJC Meyer, N Tinnemeier
International Workshop on Knowledge Representation for Agents and Multi …, 2008
Designing invisible handcuffs: Formal investigations in institutions and organizations for multi-agent systems
D Grossi
SIKS Dissertation Series 16, 2007
Judgment aggregation: a primer
D Grossi, G Pigozzi
Synthesis lectures on artificial intelligence and machine learning 8 (2), 1-151, 2014
Ubi lex, ibi poena: Designing norm enforcement in e-institutions
D Grossi, H Aldewereld, F Dignum
Coordination, organizations, institutions, and norms in agent systems II …, 2007
Organizational structure and responsibility
D Grossi, L Royakkers, F Dignum
Artificial Intelligence and Law 15 (3), 223-249, 2007
Foundations of organizational structures in multiagent systems
D Grossi, F Dignum, M Dastani, L Royakkers
Proceedings of the fourth international joint conference on Autonomous …, 2005
On the graded acceptability of arguments
D Grossi, S Modgil
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
On the logic of argumentation theory
D Grossi
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
Priority structures in deontic logic
J Van Benthem, D Grossi, F Liu
Theoria 80 (2), 116-152, 2014
Ontological aspects of the implementation of norms in agent-based electronic institutions
D Grossi, H Aldewereld, J Vázquez-Salceda, F Dignum
Computational & Mathematical Organization Theory 12 (2-3), 251-275, 2006
Binary voting with delegable proxy: An analysis of liquid democracy
Z Christoff, D Grossi
arXiv preprint arXiv:1707.08741, 2017
The many faces of counts-as: A formal analysis of constitutive rules
D Grossi, JJC Meyer, F Dignum
Journal of Applied Logic 6 (2), 192-217, 2008
Knowledge and Gossip.
M Attamah, H Van Ditmarsch, D Grossi, W van der Hoek
ECAI, 21-26, 2014
From abstract to concrete norms in agent institutions
D Grossi, F Dignum
International Workshop on Formal Approaches to Agent-Based Systems, 12-29, 2004
Classificatory aspects of counts-as: An analysis in modal logic
D Grossi, JJCH Meyer, F Dignum
Journal of Logic and Computation 16 (5), 613-643, 2006
From human regulations to regulated software agents’ behavior
J Vázquez-Salceda, H Aldewereld, D Grossi, F Dignum
Artificial Intelligence and Law 16 (1), 73-87, 2008
Modal logics of sabotage revisited
G Aucher, J Benthem, D Grossi
Journal of Logic and Computation 28 (2), 269-303, 2018
Argumentation in the view of modal logic
D Grossi
International workshop on argumentation in multi-agent systems, 190-208, 2010
Counts-as: Classification or constitution? An answer using modal logic
D Grossi, JJC Meyer, F Dignum
International Workshop on Deontic Logic and Artificial Normative Systems …, 2006
Epistemic protocols for distributed gossiping
KR Apt, D Grossi, W van der Hoek
arXiv preprint arXiv:1606.07516, 2016
The system can't perform the operation now. Try again later.
Articles 1–20