home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. D. Grossi

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. D. Grossi

• contact information
• my technical reports
• former member of group intelligent systems

some publications

Dastani, M.M., Meyer, J-J.Ch. & Grossi, D. (2011). A logic for normative multi-agent programs. International Journal of Logic and Computation.

Grossi, D. & Turrini, P. (2010). Dependence in Games and Dependence Games. In Third International Workshop on Computational Social Choice (COMSOC 2010); D�sseldorf, Germany, September 13�16, 2010 (pp. 295-306).

Turrini, P., Grossi, D., Broersen, J.M. & Meyer, J-J.Ch. (2010). Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. In Deontic Logic in Computer Science, 10th International Conference (DEON 2010) Vol. 6181. Lecture Notes in Computer Science (pp. 306-322). Springer.

Penserini, L., Grossi, D., Dignum, F.P.M., Dignum, M.V. & Aldewereld, H.M. (2009). Evaluating Organizational Configuaations. In Proceedings of the 2009 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology (IAT-2009) (pp. 153-160). IEEE CS Press.

Grossi, D. & Dignum, F.P.M. (2009). Multi-Agent Systems: Semantics and Dynamics of Organizational Models. In M.V. Dignum (Ed.), IGI Publications (pp. 190-219).

Dastani, M.M., Grossi, D., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2008). Normative Multi-Agent Programs and Their Logics. In Proceedings of Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08).

Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). A Formal Road from Institutional Norms to Organizational Structures. In E. Durfee, M. Yokoo, M. Huhns & O. Shehory (Eds.), Proceedings of AAMAS'07 (pp. 616-623).

Grossi, D. (2007, September 17). Designing invisible handcuffs. Formal investigations in institutions and organizations for multi-agent systems. UU Universiteit Utrecht (248 pag.) (Utrecht: Utrecht University). Prom./coprom.: prof. dr. J-J.Ch. Meyer & dr. F.P.M. Dignum.

Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2007). On the Logic of Constitutive Rules. In G. Boella, L. van der Torre & H. Verhagen (Eds.), Dagstuhl Seminar Proc. 07122 "Normative Multi-Agent Systems" (pp. 1-33). Dagstuhl.

Grossi, D., Royakkers, L. & Dignum, F.P.M. (2007). Organizational Structure and Responsibility. An Analysis in a Dynamic Logic of Organized Collective Agency. Journal of Artificial Intelligence & Law, 15, 223-249.

Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2007). Structural aspects of the Evaluation of Agent Organizations. In P. Noriega, J. Vázquez-Salceda, G. Boella, O. Boissier, M.V. Dignum, N. Fornara & E. Matson (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems II (pp. 3-18). Springer.

Grossi, D., Aldewereld, H.M. & Dignum, F.P.M. (2007). Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Iinstitutions. In P. Noriega, J. Vázquez-Salceda, G. Boella, O. Boissier, M.V. Dignum, N. Fornara & E. Matson (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems II (pp. 101-114). Springer.

Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2006). Classificatory Aspects of Counts-as: An Analysis in Modal Logic. Journal of logic and computation, 16(5), 613-643.

Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2006). Contextual Terminologies. In F. Toni & P. Torroni (Eds.), Post-proceedings of CLIMA VI, 6th International Workshop on Computational Logic in Multi-Agent Systems Vol. 3900. Lecture Notes in Artificial Intelligence (pp. 284-302). Springer-Verlag.

Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2006). Counts as: Classification or Constitution? An Answer Using Modal Logic. In L. Goble & J.-J.Ch. Meyer (Eds.), Proceedings of DEON 2006 Vol. 4048. Lecture Notes in Artificial Intelligence (pp. 115-130).

Aldewereld, H.M., Grossi, D., Dignum, F.P.M. & Vazquez Salceda, J. (2006). Designing Normative Behavior via Landmarks. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowsk, J. Sichman & J. Vazquez Salceda (Eds.), Post-proceedings of the International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems Vol. 3913. Lecture Notes in Computer Science (pp. 157-169). Springer_Verlag.

Aldewereld, H.M., Grossi, D., Vázquez-Salceda, J. & Dignum, F.P.M. (2006). Designing Normative Behaviour via Landmarks. In O. Bossier, J. Padget, V. Dignum, G. Lindeman, E. Matson, S. Ossowski, J. Sichman & J. Vázquez-Salceda (Eds.), Coordination, Organisation, Institutions and Norms in Agent System I Vol. 3919. Lecture Notes in Artificial Intelligence (pp. 150-162). Berlin: Springer-Verlag.

Grossi, D., Aldewereld, H.M., Vazquez Salceda, J. & Dignum, F.P.M. (2006). Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions. Computational & Mathematical Organization Theory, 12(2/3), 251-275.

Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2006). Structural Aspects of the Evaluation of Agent Organizations. In Preproceedings of COIN@ECAI'06.

Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2006). Structural Evaluation of Agent Organizations. In Proceedings of AAMAS'06 (pp. 1110-1112). ACM Press.

Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2006). Structural Evaluation of Agent Organizations (Short Paper). In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06). ACM Press.

Grossi, D., Aldewereld, H.M. & Dignum, F.P.M. (2006). Ubi lex ibi poena. Designing norm enforcement in electronic institutions. In Preproceedings of COIN@AAMAS'06.

Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Context in Categorization. In L. Serafini & P. Bouquet (Eds.), Proceedings of CRR'05, Workshop on Context Representation and Reasoning. Paris.

Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Contextual Taxonomies. In J. Leite & P. Toroni (Eds.), Proceedings of CLIMA V Workshop, Lisbon, September (pp. 33-51). Springer.

Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Contextual Terminologies. In F. Toni & P. Toroni (Eds.), Pre-proceedings of CLIMA VI (pp. 151-167). London.

Aldewereld, H.M., Grossi, D., Vázquez-Salceda, J. & Dignum, F.P.M. (2005). Designing Normative Behaviour byt the Use of Landmarks. In G. Lindeman, S. Ossowski, J. Padget & J. Vázquez-Salceda (Eds.), AAMAS-05 International Workshop on Agents, Norms and Institution for Regulated Multi Agent Systems (ANI@REM) (pp. 5-18). Utrecht.

Grossi, D., Dignum, F.P.M., Dastani, M.M. & Royakkers, L. (2005). Foundations of Organizational Structures in Multiagent Systems. In Proceedings of AAMAS'05, Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 690-697). ACM Press.

Grossi, D. & Dignum, F.P.M. (2005). From Abstract to Concrete Norms in Agent Institutions. In Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004 (pp. 12-29). Springer-Verlag.

Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2005). Modal Logic Investigations in the Semantics of Counts-as. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL'05) (pp. 1-9). ACM.

Grossi, D. & Dignum, F.P.M. (2004). Abstract and Concrete Norms in Institutions. (UU-CS 2004-016). Utrecht: Utrecht University: Information and Computing Sciences.

Grossi, D., Dignum, F.P.M., Royakkers, L. & Meyer, J-J.Ch. (2004). Collective Obligations and Agents: Who Gets the Blame? In A. Lomuscio & D. Nute (Eds.), Proc. Deontic Logic in Computer Science (DEON 2004) (pp. 129-145). Berlin: Springer-Verlag.

Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Contextual Taxonomies. In J. Leite & P. Toroni (Eds.), Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems) (pp. 2-17).