Davide Grossi
Davide Grossi
University of Groningen (Bernoulli Institute), University of Amsterdam (ILLC, ACLE)
Geverifieerd e-mailadres voor rug.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1212008
Designing invisible handcuffs: Formal investigations in institutions and organizations for multi-agent systems
D Grossi
SIKS Dissertation Series 16, 2007
120*2007
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
1122007
Judgment aggregation: a primer
D Grossi, G Pigozzi
Synthesis Lectures on Artificial Intelligence and Machine Learning 8 (2), 1-151, 2014
1032014
Organizational structure and responsibility
D Grossi, L Royakkers, F Dignum
Artificial Intelligence and Law 15 (3), 223-249, 2007
802007
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
802005
On the logic of argumentation theory
D Grossi
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
702010
On the graded acceptability of arguments
D Grossi, S Modgil
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON …, 2015
632015
Priority structures in deontic logic
J Van Benthem, D Grossi, F Liu
Theoria 80 (2), 116-152, 2014
582014
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
572006
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
512008
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
462006
From abstract to concrete norms in agent institutions
D Grossi, F Dignum
International Workshop on Formal Approaches to Agent-Based Systems, 12-29, 2004
462004
Knowledge and Gossip.
M Attamah, H Van Ditmarsch, D Grossi, W van der Hoek
ECAI, 21-26, 2014
422014
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
402006
Argumentation in the view of modal logic
D Grossi
International Workshop on Argumentation in Multi-Agent Systems, 190-208, 2010
392010
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
372008
Structural aspects of the evaluation of agent organizations
D Grossi, F Dignum, V Dignum, M Dastani, L Royakkers
International Workshop on Coordination, Organizations, Institutions, and …, 2006
362006
Collective obligations and agents: Who gets the blame?
D Grossi, F Dignum, LMM Royakkers, JJC Meyer
International Workshop on Deontic Logic in Computer Science, 129-145, 2004
342004
Dynamic context logic
G Aucher, D Grossi, A Herzig, E Lorini
International Workshop on Logic, Rationality and Interaction, 15-26, 2009
322009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20