publications

Davide Grossi (Publications)

2013

D. Grossi and Wiebe van der Hoek: Audience-Based Uncertainty in Abstract Argument Games. Accepted for IJCAI 2013.

Z. Salah, F. Coenen, D. Grossi: Extracting Debate Graphs from Parliamentary Transcripts. A Study Directed at the UK House of Commons Debates. To be presented at ICAIL 2013.

J. van Benthem, D. Grossi and F. Liu: Priority Structures in Deontic Logic. To appear in Theoria.

D. Grossi, E. Lorini and F. Shwarzentruber: Ceteris Paribus Structure in Logics of Game Forms. Proceedings of TARK 2013, Chennai, India, 2013

D. Grossi: Abstract Argument Games via Modal Logic. To appear in Synthese.

D. Grossi and A. Jones. Constitutive Norms and Counts-as Conditionals. To appear in the Handbook of Deontic Logic.

D. Grossi and P. Turrini. The Game of Dependence. In: F. Paglieri, L. Tummolini, R. Falcone & M. Miceli (eds.) The goals of cognition. Essays in honor of Cristiano Castelfranchi. London: College Publications, 2013.

2012

D. Grossi and G. Pigozzi: Introduction to Judgment Aggregation. In: N. Bezhanishvili and V. Goranko (eds.), Lectures on Logic and Computation (ESSLLI'10/'11 Selected Lecture Notes), Springer/FoLLI, pp. 160--209.

D. Grossi and P. Turrini: Games with Short Sight and Lack of Common Knowledge of Preference Structures. Proceedings of LOFT 2012, Sevilla, Spain, 2012

D. Grossi, L. Tummolini, P. Turrini: Norms in Game Theory. In: G. Andrighetto and C. Castelfranchi (eds.). Agreement Technology Handbook.

D. Grossi and P. Turrini. Dependence in Games and Dependence Games. Journal of Autonomous Agents and Multi-Agent Systems, Springer 2012, 25(2), 284--312.

D. Grossi: Fixpoints and Iterated Updates in Abstract Argumentation. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 2012. Note: linked version amends a mistake in Remark 2

D. Grossi and P. Turrini: Short-Sight in Extensive Games. In V. Conitzer and M. Winikoff, editors, Proceedings of the 11th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). IFAAMAS, 2012 Note: linked version is to a matching technical report of the University of Liverpool (ULCS-11-005)

2011

D. Grossi and A. Rotolo. Logic in the Law: A Concise Overview. In: A. Gupta and J. van Benthem (eds.), Logic and Philosophy Today, Studies in Logic, Vol. 30, College Publications London 2011, 251--274. Note: linked version contains one extra section on norm dynamics

D. Grossi. An Application of Model Checking Games to Abstract Argumentation. In: H. van Ditmarsch, J. Lang and S. Ju. Proceedings of the 3rd International Workshop on Logic, Rationality and Interaction (LORI'11), LNAI 6953, Springer 2011, 74--86.

D. Grossi. Argumentation Theory in the View of Modal Logic. In: P. McBurney, I. Rahwan and S. Parsons (eds.), Post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, LNAI 6614, Springer 2011, 190--208.

J. van Benthem, D. Grossi. Normal Forms for Priority Graphs. ILLC Technical Report (PP-2011-02), 2011.

M. Dastani, D. Grossi, J.-J. Ch. Meyer. A Logic for Normative Multi-Agent Programs. Journal of Logic and Computation, Oxford University Press 2011, doi:10.1093/logcom/exr026

D. Grossi. Norms as Ascriptions of Violations: An Analisys in Modal Logic. Journal of Applied Logic, Elsevier 2011, 9(2), 95--112.

2010

D. Grossi. Correspondences in the Theory of Aggregation. In: G. Bonanno, B. Loewe, W. van der Hoek (eds.) Logic and the Foundations of Game and Decision Theory – LOFT 8, Revised and selected papers. LNCS, Springer 2010, pp. 34--60.

D. Grossi, F. Velazquez-Quesada. Twelve Angry Men: A Dynamic Epistemic Study of Awareness, Implicit and Explicit Information. In D. Grossi, L. Kurzen, and F. Velazquez-Quesada (eds.) Logic and Interactive Rationality (LIRA). Yearbook 2009. Institute for Logic, Language and Computation, 2010, pp. 42--68.

J. van Benthem, D. Grossi, F. Liu. Deontics = Betterness + Priority. In G. Governatori and G. Sartor, Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON'10), Springer 2010, pp. 50--65.

P. Turrini, D Grossi, J.-J. Ch. Meyer, J. Broersen. Forbidding Undesirable Agreements. In G. Governatori and G. Sartor, Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON'10), Springer 2010, pp. 306--322.

D. Grossi. On the Logic of Argumentation Theory. In W. van der Hoek, G. Kaminka, Y. Lesperance, M. Luck and S. Sandip (eds.). Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10), IFAAMAS 2010, pp. 409--416. Note: linked version removes a mistake in secion 6.2

D. Grossi and P. Turrini. Dependence Theory via Game Theory. In W. van der Hoek, G. Kaminka, Y. Lesperance, M. Luck and S. Sandip (eds.). Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10), IFAAMAS 2010, pp. 1147--1154.

D. Grossi, D. Gabbay and L. van der Torre. The Norm Implementation Problem in Normative Multi-Agent Systems. In M. Dastani, K. Hindriks and J.-J. Ch. Meyer (eds.), Specification and Verification of Multi-Agent Systems, Springer 2010, pp. 195--224.

2009

C. Biagioli and D. Grossi. Formalizzazione del Modello DAO. In: C. Biagioli, Modelli Funzionali delle Leggi. Verso Testi Legislativi Autoesplicativi. Series in Legal Information and Communication Technologies Vol. 6, European Press Academic Publishing, Florence, Italy, 2009, pp. 141-148.

M. Dastani, D. Grossi, N. Tinnemeier, J.-J. Ch. Meyer. Normative Multi-agent Programs and Their Logics. In J.-J. Ch. Meyer and J. Broersen (eds.), Knowledge Representation for Agents and Multi-Agent Systems (Proceedings KRAMAS 2008), LNAI 5605, Springer, 2009, pp. 16--31.

G. Aucher, D. Grossi, A. Herzig, E. Lorini. Dynamic Context Logic. In X. He, J. Horty, and E. Pacuit (eds.), Logic, Rationality and Interaction: Second International Workshop (Proceedings LORI 2009), FoLLI-LNAI 5834, Springer, 2009, pp. 15--26.

D. Grossi, F. Velazquez-Quesada. Twelve Angry Men: A Study on the Fine-grain of Announcements. In X. He, J. Horty, and E. Pacuit (eds.), Logic, Rationality and Interaction: Second International Workshop (Proceedings LORI 2009), FoLLI-LNAI 5834, Springer, 2009, pp. 147--170.

D. Grossi, M. Slavkovik, G. Pigozzi. White Manipulation in Judgment Aggregation. 21st Benelux Conference on Artificial Intelligence, BNAIC'09 (Informal proceedings).

D. Grossi. Doing Argumentation Theory in Modal Logic. ILLC Technical Report (PP-2009-24), 2009. Note: this is a working paper and is constantly elaborated and improved

L. Penserini, F. Dignum, V. Dignum, H. Aldewereld, D. Grossi. Evaluating Organizational Configurations. Proceedings of 2009 IEEE/WIC/ACM International Conference on Web Intelligence (Volume 2), Milano, Italy, September 2009, pp. 153--160.

D. Grossi. Unifying Preference and Judgment Aggregation. In P. Decker, J. Sichman, C. Sierra and C. Castelfranchi (eds.). Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'09), IFAAMAS 2009, pp. 217--224.

D. Grossi. A Note on Brute vs. Institutional Facts. Modal Logic of Equivalence up to a Signature. In: Boella, G., Pigozzi, G., Noriega, P. and Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings 09121, ISSN 1862-4405, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, March, 2009.

G. Aucher, D. Grossi, E. Lorini, A. Herzig. Dynamic Context Logic and Its Application to Norm Change. In: Boella, G., Pigozzi, G., Noriega, P. and Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings 09121, ISSN 1862-4405, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, March, 2009.

M. Dastani, D. Grossi, J.-J. Ch. Meyer, N. Tinnemeier. Normative Multi-Agent Programs and Their Logics. In: Boella, G., Pigozzi, G., Noriega, P. and Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings 09121, ISSN 1862-4405, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, March, 2009.

D. Grossi, F. Dignum. Structural Aspects of Agent Organizations. Chapter VIII in: V. Dignum (ed.) Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Igi Global, 2009, pp.190--219.

2008

C. Biagioli, D. Grossi. Formal Aspects of Legislative Meta-Drafting. Proceedings of the 21st International Conference on Legal Knowledge and Information Systems (JURIX’08), Florence, Italy, 10-13th December 2008, pp. 192--201.

D. Grossi. Linguistic Relevance in Modal Logic. In: Nijholt, A. and Pantic, M. and Poel, M. and Hondorp, G.H.W. (eds.) Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC’08), University of Twente, Enschede, 2008, pp. 89--96.

D. Grossi. From Preferences to Judgments and Back. U. Endriss and P. Goldberg (eds.), Proceedings of the 2nd International Workshop on Computational Social Choice (COMSOC’08), Liverpool, September 2008, (Informal proceedings). [the paper contained a mistake, this is an amended version]

D. Grossi. Pushing Anderson’s Envelope. The Modal Logic of Ascription. R. van der Meyden and L. van der Torre (eds.), Proceedings of the 9th International Conference on Deontic Logic in Computer Science (DEON’08), Luxembourg, July 2008, LNAI 5076, Springer 2008, pp. 263--277.

D. Grossi, J.-J. Ch. Meyer, F. Dignum. The Many Faces of Counts-as: A Formal Analysis of Constitutive Rules. Journal of Applied Logic, Elsevier 2008, 6(2), 192--217.

D. Grossi. Proving Judgment Aggregation Theorems as Corollaries of Preference Aggregation Theorems. Presented at the 8th Conference on Logic and the Foundations of Game and Decision Theory (LOFT’08), Amsterdam, July 2008, (Informal proceedings).

D. Grossi, D. Gabbay, L. van der Torre. A Normative View on the Blocks World. G. Boella, M. Singh, G. Pigozzi and H. Verhagen (eds.), Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS’08), Luxembourg, July 2008, pp. 128--142.

J. Vazquez-Salceda, H. Aldewereld, D. Grossi, F. Dignum. From Human Regulations to Regulated Software Agents' Behaviour. Connecting the abstract declarative norms with the concrete operational implementation. A position paper. Journal of Artificial Intelligence & Law, Springer 2008, 16(1), 73--87.

2007

D. Grossi. Desigining Invisible Hancuffs. Formal Investigations in Institutions and Organizations for Multi-Agent Systems. SIKS Dissertation Series 2007-16, Utrecht University, 2007. (One of the ten nominees for the Christiaan Huygens Wetenschapsprijs 2009)

D. Grossi, J-J. Ch. Meyer, F. Dignum. On the Logic of Constitutive Rules. In: Boella, G. and van der Torre, L. and Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings 07122, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, March, 2007. (Best paper award)

D. Grossi, F. Dignum, J-J. Ch. Meyer. A Formal Road from Institutional Norms to Organizational Structures. In Proceedings of the 6th International Conference on Agents and Multiagent Systems (AAMAS'07). IFAAMAS 2007, pp. 616--623.

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

2006

D. Grossi, J-J. Ch. Meyer, F. Dignum. Classificatory Aspects of Counts-as: An Analysis in Modal Logic. Journal of Logic and Computation, Oxford University Press 2006, 16(5), 613--643.

D. Grossi, H. Aldewereld, J. Vazquez-Salceda, F. Dignum. Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions. Proceedings of NorMAS'05, First International Symposium on Normative Multiagent Systems. Hatfield, April, 2005. Revised and extended version in: G. Boella, L. van der Torre, H. Verhagen (eds.) Journal of Computational and Mathematical Organization Theory. Special issue of Normative Multiagent Systems. Springer 2006. 12 (2-3), pp. 251--275.

D. Grossi, J-J. Ch. Meyer, F. Dignum. Counts-as: Classification or Constitution? An Answer Using Modal Logic. In L. Goble, J.-J. Ch. Meyer (eds.). Proceedings of DEON'06, Eighth International Workshop on Deontic Logic in Computer Science. Springer, Utrecht, The Netherlands, July 2006, Springer, 2006, 115–130.

D. Grossi, F. Dignum, V. Dignum, M. Dastani, L. Royakkers. Structural Aspects of the Evaluation of Agent Organizations. In: Dignum, V., Fornara, N., Noriega, P., Boella, G., Boissier, O., Matson, E. and V́azquez-Salceda, J. (eds.) Organizations, Institutions, and Norms in Multi-agents Systems. Proceedings of COIN 2006, LNCS 4386, Springer, 2007, 3-18.

D. Grossi, F. Dignum, V. Dignum, M. Dastani, L. Royakkers. Structural Evaluation of Agent Organizations. Proceedings of AAMAS'06, Fifth International Conference on Autonomous Agents and Multiagent Systems (short paper). Hakodate, Japan, May, 2006. ACM Press, 1110--1112.

D. Grossi, H. Aldewereld, F. Dignum. Ubi Lex Ibi Poena: Designing Norm Enforcement in Electronic Institutions. In: Dignum, V., Fornara, N., Noriega, P., Boella, G., Boissier, O., Matson, E. and V́azquez-Salceda, J. (eds.) Organizations, Institutions, and Norms in Multi-agents Systems. Proceedings of COIN 2006, LNCS 4386, Springer, 2007, 101--114.

D. Grossi, F. Dignum, J-J. Ch. Meyer. Contextual Terminologies. In: F. Toni and P. Torroni (eds.). Proceedings of CLIMA VI, Sixth International Workshop on Computational Logic in Multi-Agent Systems.London, June, 2005. Springer 2006. LNAI 3900. pp. 284--302.

H. Aldewereld, D. Grossi, J. Vazquez-Salceda, F. Dignum. Designing Normative Behaviour via Landmarks. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Simão Sichman, J. Vázquez-Salceda (eds.). Proceedings of AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005. Springer 2006. LNCS 3913. pp. 157--169.

2005

D. Grossi, F. Dignum, L. Royakkers, M. Dastani. Foundations of Organizational Structures in Multi-Agent Systems. In Proceedings of AAMAS'05, Fourth International Conference on Autonomous Agents and Multiagent Systems. Utrecht, July, 2005. ACM Press. pag 690--697.

D. Grossi, J-J. Ch. Meyer, F. Dignum. Modal Logic Investigations in the Semantics of Counts-as. Proceedings of ICAIL'05, Tenth International Conference on Artificial Intelligence and Law. Bologna, June, 2005. pag 1--9.

L. Royakkers, D. Grossi, F. Dignum. Responsibilities in Organizations. Proceedings of LOAIT'05, First International Workshop on Legal Ontologies and Artificial Intelligence Techniques. Bologna, June, 2005. pag 1--12.

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

D. Grossi, F. Dignum, J-J. Ch. Meyer. Contextual Taxonomies. In J. Leite, P. Torroni (Eds.). Proceedings of CLIMA V, Fifth Internationanal Workshop on Computational Logic in Multi-Agent Systems. Lisbon, September,2004. Springer 2005. LNAI 3487. pag 33--51.
D. Grossi, F. Dignum. From Abstract to Concrete Norms in Agent Institutions. G. Hinchey et al. (Eds.). Proceedings of the Third NASA Workshop on Formal Approaches to Agent-Based Systems FAABS III. Washington, April, 2004. Springer 2005. LNCS 3228. pag 12--29.

2004

D. Grossi, F. Dignum, L. Royakkers, J-J. Ch. Meyer. Collective Obligations and Agents: Who Gets the Blame?. In A. Lomuscio, D. Nute (Eds.). Proceedings of DEON'04, Seventh International Workshop on Deontic Logic in Computer Science. Madeira, May, 2004. Springer 2004. LNCS 3065. pag 129--145.