dr. M.M. (Mehdi) Dastani
M.M.Dastani@uu.nl
Gegenereerd op 2017-09-26 13:03:28


Profiel


I am an Associate Professor at the Intelligent Systems Group of the department of Information and Computing Sciences at Utrecht university. I have obtained master degrees in computer science (1991) and philosophy (1992) at the University of Amsterdam, and a PhD degree at the Uinversity of Amstedam (ILLC) with a thesis titled  Languages of Perception. My general research interests concern formal and computational techniques in artificial intelligence. My current research focuses on theories and applications of multi-agent systems, in particular specification and programming languages for autonomous agents and multi-agent systems, logics to reason about (multi-)agent specifications and programs, agent-based social simulation, and formal modelling of social and cognitive phenomena such as norm enforcement, control, responsibility, decision making and emotion.

Gegenereerd op 2017-09-26 13:03:28
Curriculum vitae

 

Employment

  • 2012-now: Associate Professor, Utrecht University
  • 2002-2011: Assistant Professor, Utrecht University
  • 2001-2002: Postdoc, ICS, Utrecht University
  • 1999-2001: Postdoc, Vrije Universiteit Amsterdam

 

Academic Qualifications

  • Senior Research Qualification Certificate, Issued by Utrecht University, 2007.
  • Basis Education Qualification Certificate, Issued by Utrecht University, 2003.
  • Ph.D. in Humanities, University of Amsterdam, December 1998.
  • M.Sc. in Philosophy, University of Amsterdam, August 1992.
  • M.Sc. in Computer Science, University of Amsterdam, August 1991.

 

Member of scientific committees

 

  • Member of Editorial Review Board of International Journal of Agent-Oriented Software Engineering (IJAOSE).
  • Member of Editorial Review Board of International Journal of Agent Technologies and Systems (IJATS).
  • Guest Editor of the Special Issue of International Journal of Autonomous Agents and multi-agent systems (JAAMAS) on Multi-Agent Programming, Volume 23(2), 2011.
  • Guest Editor of the Special Issue of International Journal Annals of Mathematics and Artificial Intelligence (AMAI) on The Multi-Agent Programming Contest, Volume 59(3-4), 2010.
  • Guest Editor of the Special Issue of International Journal of Autonomous Agents and multi-agent systems (JAAMAS) on European workshop on Multi-Agent Systems (EUMAS 2007), Volume 20(3), 2010.
  • Guest Editor of the Special Issue of International Journal of Agent-Oriented Software Engineering (IJAOSE) on Programming Multi-Agent Systems, volume 1 (3-4), 2007.
  • Vice-chair of European Association for Multi-Agent Systems (EURAMAS).
  • Senior PC member of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), 2008-2011.
  • Senior PC member of the International Joint Conference on Artificial Intelligence (IJCAI), 2011.
  • PC member of the European Conference on Artificial Intelligence (ECAI), 2010.
  • PC member of the AAAI Conference on Artificial Intelligence (AAAI). 2008-2010
  • PC member of the European Conference on Logics in Artificial Intelligence (JELIA), 2008-2010.
  • PC member of the 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), 2011.
  • PC member of the International Workshop on Normative Multiagent Systems (NorMAS), 2008-2009.
  • PC member of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) 2010-2011.
  • PC member of the German Conference on Multi-agent Systems Technologies (MATES), 2008-2009.
  • PC member of the International workshop on Engineering Societies in the Agents' World (ESAW), 2008-2009.
  • PC member of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), 2009-2011.
  • PC member of the International Workshop on Multi-Agent Systems Technology and Semantics (MASTS), 2008-2009.
  • PC member of the International workshop on Modelling with Objects, Components and Agents (MOCA), 2009.
  • PC member of the International workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS), 2009-2010.
  • PC member of the International Symposium on Programming and Systems (ISPS), 2009.
  • PC member of the International workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), 2008.
  • PC member of the International workshop on From Agent Theory to Agent Implementation (AT2AI), 2006-2007.
  • PC member of Agent-Directed Simulation (ADS), 2010.
  • PC member of the European Workshop on Multi-Agent Systems (EUMAS), 2009.
  • PC member of the International Workshop on Declarative Agent Languages and Technologies (DALT), 2004.
  • PC member of the International Workshop on Agent Communication (AC), 2003.
  • PC member of the International Conference on Information Integration and Web-based Applications & Services (IIWAS).
  • PC member of the International Workshop on Coordination and Organization (CoOrg), 2005.

 

Organised Events

  • Program Chair of the seventh International Conference on Fundamental of Software Engineering (FSEN 2017).
  • General Co-chair of the Eight International Conference on Intelligent Technologies for Interactive Entertainment (Intetain 2016).
  • Co-organiser of the third International Workshop on Engineering Multiagent Systems (EMAS 2015), 2015.
  • Program Chair of the sixed International Conference on Fundamental of Software Engineering (FSEN 2015).
  • Co-organiser of the International Workshop on Programming Multiagent Systems (ProMAS 2012), 2012.
  • Publication chair of the Eleventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2012).
  • Organiser of the special session on logics for multi-agent programming in CLIMA 2012 workshop.
  • Organiser of the workshop Multi-Agent Organisation (MAO), Lorentz Center: International Center for workshops in the Sciences, Leiden, Netherlands, 2011.
  • Tutorial chair of the Eighth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2009).
  • Co-organiser of the Dagstuhl seminar on Programming Multi-Agent Systems, 2008.
  • Co-organiser of the International workshop on Languages, methodologies and Development tools for multi-agent systemS (LADS 2007-2010).
  • Sponsorship co-chairs of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007).
  • General chair of the Ninteenth Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007).
  • General chair of the Fifth European workshop on Multi-Agent Systems (EUMAS 2007).
  • General chair of the European Agent Systems Summer School (EASSS 2006-2010).
  • Co-organiser of the Dagstuhl seminar on Foundations and Practice of Programming Multi-Agent Systems, 2006.
  • Co-organiser of Multi-Agent Programming Contest (2005-2008).
  • Local chair European Agent Systems Summer School (EASSS 2005).
  • Co-organiser of the International Workshop on Programming Multiagent Systems (ProMAS), 2003-2007.
  • Co-organiser of the tutorial on Multi-Agent Programming at AAMAS and EASSS, 2005-2011.
  • Co-organiser of the Second International Workshop on Coordination and Organisation (CoOrg), 2006.
  • Co-organiser of the AgentLink Technical Forum on Programming Multi-Agent Systems, 2004-2006.
  • Co-organiser of the EurAsian Workshop on Agents for Information Management, 2002.
Gegenereerd op 2017-09-26 13:03:28

Books

Ronald Poppe, John-Jules Meyer, Remco Veltkamp and Mehdi Dastani (eds.), Intelligent Technologies for Interactive Entertainment : Revised Selected Papers of the 8th International Conference on Intelligent Technologies for Interactive Entertainment 2016. Springer International Publishing, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Vol. 178, 2016.

Mehdi Dastani and Marjan Sirjani (eds.), Fundamentals of Software Engineering (FSEN 2015). Lecture Notes in Computer Science 9392, ISBN 978-3-319-24643-7, Springer 2015.

Matteo Baldoni, Luciano Baresi and Mehdi Dastani (eds.), Engineering Multi-Agent Systems (EMAS 2015). Lecture Notes in Computer Science 9318, ISBN 978-3-319-26183-6, Springer 2015.

Mehdi Dastani, Brian Logan, Jomi Hubner (eds.), Programming Multi-Agent Systems ProMAS’12, Post-WS proceedings. Lecture Notes in Artificial Intelligence, 7837. Springer, 2013.

Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (eds.), Computational Logic in Multi-Agent Systems (CLIMA’12), Lecture Notes in Computer Science 7486, Springer 2012.

Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hubner, João Leite (eds.), Languages, Methodologies and Development Tools for Multi-Agent Systems LADS '10, Post-WS Proceedings. Lecture Notes in Computer Science, 6822. Springer, 2011.

Mehdi Dastani, Koen Hindriks, John-Jules Meyer (Eds.), Specification and Verification of Multi-Agent Systems, Springer, 2010.

Mehdi Dastani, Joao Leite, Amal El-Fallah Segrouchni, Paolo Torroni (Eds.). Languages, Methodologies and Development Tools for Multi-Agent Systems LADS '09, Post-WS Proceedings. Lecture Notes in Artificial Intelligence, 6039. Springer, 2010.

Rafael Bordini, Mehdi Dastani, Jurgen Dix and Amal El Fallah Seghrouchni (Eds.), Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009.

Mehdi Dastani, Amal El Fallah Segrouchni, Alessandro Ricci, Michael Winikoff (Eds.), Programming Multi-Agent-Systems. ProMAS'07, Post-WS Proceedings. Lecture Notes in Artificial Intelligence, 4908. Springer, 2008.

Mehdi Dastani, Amal El Fallah-Seghrouchni, Joao Leite, Paolo Torroni (Eds.), Languages, Methodologies and Development Tools for Multi-Agent Systems. LADS '07, Post-WS Proceedings. Lecture Notes in Artificial Intelligence, 5118. Springer, 2008.

Mehdi Dastani, Edwin de Jong (Eds.), The Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007). Utrecht, 2007.

Rafael Bordini, Mehdi Dastani, Jurgen Dix, Amal El Fallah Segrouchni (Eds.), Programming Multi-Agent-Systems. ProMAS'06, Post-WS Proceedings. Lecture Notes in Artificial Intelligence, 4411. Springer, March 2007.

Rafael Bordini, Mehdi Dastani, Jurgen Dix and Amal El Fallah Seghrouchni (Eds.), Multi-Agent Programming: Languages, Platforms and Applications. International book series on Multiagent Systems, Artificial Societies, and Simulated Organizations, edited by Gerhard Weiss. Springer. July, 2005.

Bordini, R.H.; Dastani, M.; Dix, J.; Seghrouchni, A.E.F. (Eds.), Programming Multi-Agent Systems. Third International Workshop ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Selected Revised and Invited Papers, Series: Lecture Notes in Computer Science, Subseries: Lecture Notes in Artificial Intelligence, Vol. 3862, 2006, 267 p. Softcover ISBN: 3-540-32616-2.

Bordini, R.H.; Dastani, M.; Dix, J.; Seghrouchni, A.E.F. (Eds.), Programming Multi-Agent Systems. Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers, Series: Lecture Notes in Computer Science, Subseries: Lecture Notes in Artificial Intelligence, Vol. 3346, 2005, 249 p. Softcover ISBN: 3-540-24559-6.

Dastani, Mehdi; Dix, Juergen; EL Fallah-Seghrouchni, Amal (Eds.), Programming Multi-Agent Systems. First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers Series: Lecture Notes in Computer Science, Subseries: Lecture Notes in Artificial Intelligence, Vol. 3067, 2004, 221 p., Softcover ISBN: 3-540-22180-8.

 
Journal Papers

Nils Bulling and Mehdi Dastani. Norm-based mechanism design. Artificial Intelligence Journal, 239: 97-142, 2016.

Mehdi Dastani and Alexander Pankov. Other-Condemning Moral Emotions: Anger, Comtemt and Disgust. ACM Transactions on Internet Technology. Accepted.

Mehdi Dastani and Bas Testrink. Design Patterns for Multi-Agent Programming. International Journal of Agent-Oriented software Engineering. Accepted.

Mehdi Dastani, Leendert van der Torre and Neil Yorke-Smith. Commitments and interaction norms in organisations. In Autonomous Agents and Multi-Agent Systems (JAAMAS), Springer US, DOI 10.1007/s10458-015-9321-5, 2015.

Mehdi Dastani. Programming multi-agent systems. Knowledge Engineering Review, 30(4): 394-418, 2015.

Michael Fisher, Leendert van der Torre, Mehdi Dastani and Guido Governatori. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). Journal of Logic and computation 24(6): 1251-1252, 2014.

Mehdi Dastani, Davide Grossi, and John-Jules Meyer. A Logic for Normative Multi-Agent Programs. Journal of Logic and Computation, 23(2): 335-354, 2013.

Lacramioara Astefanoaei, Frank de Boer, Mehdi Dastani, John-Jules Meyer. A Weakest Precondition Calculus for BUnity. Science of Computer Programming 78(9): 1278-1293, 2013.

Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer. Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. IEEE Transactions on Affective Computing 4(3): 246-266, 2013.

Mehdi Dastani, John-Jules Meyer, and Nick Tinnemeier. Programming Norm Change. Journal of Applied Non-Classical Logics 22(1-2): 151-180, 2012.

Tristan M. Behrens, Mehdi Dastani, Jurgen Dix, Jomi Hubner, Michael Koster, Peter Novak and Federico Schlesinger. The Multi-Agent Programming Contest. AI Magazine, Vol. 33(4), pages 111-113, 2012.

Bas Steunebrink, Mehdi Dastani, John-Jules Meyer. A Formal Model of Emotion Triggers: An Approach for BDI Agents. Synthese, Volume 185, Issue 1, Pages 83-129, 2012.

Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Meyer. Reasoning about Plan Revision in BDI Agent Programs. Theoretical Computer Science, Volume 412, Issue 4, Pages 6115-6134 , 2011.

Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, and Amal El Fallah-Seghrouchni. Guest editorial: Special issue on Multi-Agent Programming, International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Vol. 23(2), 155-157, 2011.

Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Meyer. Reasoning About Agent Deliberation. International Journal of Autonomous Agents and Multiagent Systems (JAAMAS), Volume 22, Number 2, Pages 356-381, 2011.

Mehdi Dastani and John-Jules Meyer. Agents with Emotions. International Journal of Intelligent Systems, Volume 25, Issue 7, pages 636-654, 2010.

Tristan Behrens, Mehdi Dastani, Jurgen Dix, Michael Koster and Peter Novak. The Multi-Agent Programming Contest from 2005–2010: From gold collecting to herding cows. Annals of Mathematics and Artificial Intelligence. Vol. 59 (3-4), pages 277--311, 2010.

L. Astefanoaei, M. Dastani, J.J. Meyer, and F. de Boer, On the Semantics and Verification of Normative Multi-Agent Systems, International Journal of Universal Computer Science, Vol. 15, No. 13, pp. 2629-2652, 2009.

Rafael H. Bordini and Mehdi Dastani, Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS), International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), ISSN 1387-2532 (Print) 1573-7454 (Online), April 2009.

Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Goals in Conflict: Semantic Foundations of Goals in Agent Programming. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 18(3):471-500, 2009.

Mehdi Dastani, 2APL: A Practical Agent Programming Language, International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 16(3):214-248, Special Issue on Computational Logic-based Agents, (eds.) Francesca Toni and Jamal Bentahar, 2008.

R.H. Bordini, L. Braubach, M. Dastani, A. El F. Seghrouchni, J.J. Gomez-Sanz, J. Leite, G. O'Hare, A. Pokahr, A. Ricci, A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica. vol. 30(1), pp. 33-44, 2006.

Dastani, M., Gomez-Sanz, J., Programming multi-agent systems. The Knowledge Engineering Review. vol. 20(2), pp. 151-164, 2006.

Dastani, M., Jacobs, N., Jonker, C.M., and Treur, J., Modelling User Preferences and Mediating Agents in Electronic Commerce. Knowledge-Based Systems Journal. vol. 18(7), pp. 335-352, 2005.

J. Broersen, M. Dastani and L. van der Torre, Beliefs, Obligations, Intentison and Desires as components in agent architectures. International Journal of Intelligent Systems, vol 20(9), pp. 893-919, 2005.

M. Dastani, J. Hulstijn and L. van der Torre, How to decide what to do? European Journal of Operational Research, vol. 160(3), pp. 762-784, 2005.

M. Dastani, C.M. Jonker, and J. Treur, A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems. International Journal of Intelligent Systems, vol 19(3), pp. 277-300, 2004.

M. Dastani, B. Indurkhya, R. Scha, Analogical Projection in Pattern Perception, Journal of Experimental and Theoretical Artificial Intelligence, Vol. 15(4), pp. 489-511, 2003.

M. Dastani, R. Scha, Languages for Gestalts of Line Patterns. Journal of Mathematical Psychology, vol. 47(4), pp. 429-449, 2003.

J. Broersen, M. Dastani, J. Hulstijn and L. van der Torre, Goal Generation in the BOID Architecture, Cognitive Science Quarterly Journal, Special issue on "Desires, Goals,  Intentions, and Values: Computational Architectures", vol. 2(3-4), pp. 428-447, 2002.

M. Dastani, The Role of Visual Perception in Data Visualization, Journal of Visual Languages and Computing, vol. 13(6), pp. 601-622, 2002.

J. Broersen, M. Dastani and L. van der Torre, Realistic Desires. Journal of Applied Non-Classical Logics, vol. 12(2), pp. 287-308, 2002.


Book Chapters

Mehdi Dastani, Christiaan Floor, John-Jules Ch. Meyer. Programming Agents with Emotions. Emotion Modeling, Lecture Notes in Computer Science 8750, 57-75, Springer 2014.

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik. Computational Models for Normative Multi-Agent Systems. Normative Multi-Agent Systems, 71-92, Dagstuhl Follow-Ups 4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-51-4, 2013.

Dastani, M.M. and Meyer, J-J.Ch. Correctness of Multi-Agent Programs: A Hybrid Approach. In M. Dastani, K.V. Hindriks and J.-J.Ch. Prof.dr. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 161-194). Springer, New York / Dordrecht / Heidelberg / London, 2010.

Alechina, N., Dastani, M.M., Kahn, F., Logan, B. and Meyer, J-J.Ch. Using Theorem Proving to Verify Properties of Agent Programs. In M. Dastani, K.V. Hindriks and J.-J.Ch. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 1-33). Springer, New York / Dordrecht / Heidelberg / London, 2010.

Mehdi Dastani. Modular Rule-Based Programming in 2APL. In A. Giurca, D. Gasevic, and K.Taveter (eds.), Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pages 25-49, Information Science Reference, Hershey, PA, USA, 2009.

Mehdi Dastani, Nick Tinnemeier, John-Jules CH. Meyer. A Programming Language for Normative Multi-Agent Systems. In V. Dignum (ed.), Multi-Agent Systems: Semantics and Dynamics of Organizational Models, Information Science Reference, Hershey, PA, USA, 2009.

Martijn van Otterlo and Marco Wiering and Mehdi Dastani and John-Jules Meyer. A Characterization of Sapient Agents. In Mayorga, Rene V. and Perlovsky, Leonid (eds.), Toward Artificial Sapience: Principles and Methods for Wise Systems, Springer, 2007.

M. Dastani, M. B. van Riemsdijk, and J.-J. Ch. Meyer. Programming multi-agent systems in 3APL, In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.

M. Dastani and L. van der Torre, Decisions, deliberation, and agent types: CDT, QDT, BDI, 3APL, BOID. Artificial Intelligence and Computer Science, Nova Science, ISBN: 1-59454-411-5, 2005.

M. Dastani, F. Dignum, J.J. Meyer. 3APL: A Programming Language for Cognitive Agents. ERCIM News, European Research Consortium for Informatics and Mathematics, Special issue on Cognitive Systems, No. 53, 2003.

M. Dastani, Z. Huang and L. van der Torre. Dynamic desires. In Simon Parsons, Piotr Gmytrasiewicz, and Michael Wooldridge (eds) Game Theory and Decision Theory in Agent-Based Computing, Kluwer, 2001.


Conference and workshop papers

Natasha Alechina, Mehdi Dastani, Brian Logan. Verifying Existence of Resource-Bounded Coalition Uniform Strategies. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), 24-30, 2016.

Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. A Dynamic Logic of Norm Change. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 886-894, 2016.

Bas Testerink, Mehdi Dastani, Nils Bulling. Distributed Controllers for Norm Enforcement. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 751-759, 2016.

Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods, Lecture Notes in Computer Science 9660, 294-308, 2016.

Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith. Commitments and Interaction Norms in Organisations. Proceedings of the fourteenth International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), 1261-1262, 2016.

Vahid Yazdanpanah, Mehdi Dastani. Distant Group Responsibility in Multi-agent Systems. Proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), 261-278, 2016.

Vahid Yazdanpanah, Mehdi Dastani. Quantified Group Responsibility in Multi-Agent Systems. Proceedings of the 17th Workshop "From Objects to Agents" (WOA 2016), CEUR-WS.org 1664, 44-49, 2016.

Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre. AGM Revision of Beliefs about Action and Time. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 3250-3256, 2015.

Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan. Practical Run-Time Norm Enforcement with Bounded Lookahead. Proceedings of the Thirteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 443-451.

Bas Testerink, Nils Bulling, Mehdi Dastani. A Model for Collaborative Runtime Verification. Proceedings of the Thirteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 1781-1782, 2015.

Marc van Zee, Mehdi Dastani, Dragan Doder, and Leendert van der Torre. Consistency Conditions for Beliefs and Intentions, In Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium, 2015.

Alexander Pankov, Mehdi Dastani. Towards a Formal Specification of Moral Emotions. ESSEM@AAMAS, 3-18, 2015.

Bas Testerink, Nils Bulling, Mehdi Dastani. Security and Robustness for Collaborative Monitors. COIN@AAMAS/IJCAI, 376-395, 2015.

VahidYazdanpanah and Mehdi Dastani. Quantified Degrees of Group Responsibility. Proceedings of the International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems (Revised Selected Papers COIN@AAMAS/IJCAI), LNCS 9628, pp. 418-436, 2015.

Jetze Baumfalk, Barend Poot, Bas Testerink and Mehdi Dastani. A SUMO Extension for Norm based Traffic Control Systems. Proceedings of the SUMO2015 Intermodal Simulation for Intermodal Transport, 63-83, 2015.

Natasha Alechina, Mehdi Dastani and Brian Logan. Norm Approximation for Imperfect Monitors. Thirteenth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2014.

Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. Reasoning about Dynamic Normative Systems. Fourteenth European Conference on Logics in Artificial Intelligence (JELIA), 2014.

Mehdi Dastani and Bas Testerink. From Multi-Agent Programming to Object Oriented Design Patterns. The second international workshop on Engineering Multi-Agent Systems (EMAS), 2014.

Natasha Alechina, Mehdi Dastani and Brian Logan. Reasoning about Normative Update. Twenty-third International Joint Conference on Artificial Intelligence (IJCAI-13), 2013.

Natasha Alechina, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Jomi Fred Hubner, Brian Logan, Hai H. Nguyen and Marc van Zee, Multi-Cycle Query Caching in Agent Programming, Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), 2013.

Nils Bulling and Mehdi Dastani. Coalitional Responsibility in Strategic Settings. Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2013), pp. 172-189, Spain, 2013.

Nils Bulling, Mehdi Dastani, Max Knobbout, Monitoring Norm Violations in Multi-Agent Systems, Twelfth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2013.

Pouyan Ziafati, Mehdi Dastani, John-Jules Meyer, Leendert van der Torre, Event-Processing in Autonomous Robot Programming, Twelfth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2013.

Bas Testerink, Mehdi Dastani and John-Jules Meyer, Norms in Distributed Organizations, Fifteenth International Workshop on Coordination, Organizations, Institutions, and Norms, COIN, 2013.

Daniela Dybalova, Bas Testerink, Mehdi Dastani and Brian Logan, A Framework for Programming Norm-Aware Multi-Agent Systems, Fifteenth International Workshop on Coordination, Organizations, Institutions, and Norms, COIN, 2013.

Mehdi Dastani and Marc van Zee, Belief Caching in 2APL, The First International Workshop on Engineering Multi-Agent Systems (EMAS), 2013.

Mehdi Dastani, Emiliano Lorini. A logic of emotions: from appraisal to coping. Eleventh International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2012.

Natasha Alechina, Mehdi Dastani, Brian Logan. Programming Norm-Aware Agents. Eleventh International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2012.

Max Knobbout, Mehdi Dastani. Reasoning under Compliance Assumptions in Normative Multiagent Systems. Eleventh International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2012.

Mehdi Dastani, Leendert van der Torre, Neil Yorke-Smith. A Programming Approach to Monitoring Commitments in an Organisational Environment. Eleventh International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2012.

Pouyan Ziafati, Mehdi Dastani, Leon Van Der Torre and John-Jules Meyer. Agent Programming Languages Requirements for Programming Cognitive Robots. Tenth International Workshop on Programming Multi-Agent Systems (ProMAS), 2012.

Mehdi Dastani, Leendert van der Torre, and Neil Yorke-Smith. Monitoring Communication in an Organisational Environment. Fourteenth International workshop on Coordination, Organization, Institutions and Norms (COIN), 2012.

Nils Bulling and Mehdi Dastani. Verification and Implementation of Normative Behaviours in Multi-Agent Systems. Twenty-second International Joint Conference on Artificial Intelligence (IJCAI), 2011.

Mehdi Dastani, M. Birna van Riemsdijk and Michael Winikoff. Rich Goal Types in Agent Programming. Tenth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2011.

Michal Sindlar, Mehdi Dastani and John-Jules Meyer. Programming Mental State Abduction. Tenth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2011.

Nils Bulling and Mehdi Dastani. Normative Mechanism Design. Tenth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2011.

Michal Cap, Mehdi Dastani and Maaike Harbers. Belief/Goal Sharing BDI Modules. Tenth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2011.

Mehdi Dastani. Programming Multi-Agent Systems. Twelfth International Workshop on Agent-Oriented Software Engineering (AOSE), 2011.

Michal Cap, Mehdi Dastani and Maaike Harbers. Belief/goal sharing modules for BDI languages. Computer Science and Software Engineering (CSSE), IEEE Xplore Digital Library, 87-94, 2011.

Mehdi Dastani and Wojtek Jamroga. Reasoning about Strategies of Agent Programs. Ninth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2010.

Bas Steunebrink, Mehdi Dastani, John-Jules Meyer. Emotions to Control Agent Deliberation. Ninth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2010.

Lacramioara Astefanoaei, Frank de Boer, Mehdi Dastani. Strategic Executions of Choreographed Timed Normative Multi-Agent Systems. Ninth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2010.

Nick Tinnemeier, Mehdi Dastani, John-Jules Meyer. Programming Norm Change. Ninth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2010.

Tristan Behrens, Jurgen Dix, Koen Hindriks, Mehdi Dastani, Rafael Bordini, Jomi Hubner, Alexander Pokahr and Lars Braubach. An Interface for Agent-Environment Interaction. The Eighth International Workshop on Programming Multi-agent Systems (ProMAS'10), 2010.

E. Lorini, M. Dastani, H. Ditmarsch, A. Herzig and J.J. Meyer. Intentions and Assignments, Logic, Rationality, and Interaction (LORI'09), He, X. and Horty, J. and Pacuit, E. (eds.), LNCS 5834, 2009.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. The Refinement of Choreographed Multi-Agent Systems. Declarative Agent Languages and Technologies (DALT09), Baldoni, M. and Bentahar, J. and Riemsdijk, B. and Lloyd J. (eds.), LNCS 5948, 2009.

Mehdi Dastani and Bas Steunebrink. Operational Semantics for BDI Modules in Multi-Agent Programming. In the Proceedings of the tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X), 2009, to appear.

Mehdi Dastani. Normative Multi-Agent Organizations. In the Proceedings of Engineering Societies in the Agents' World (ESAW 2009), LNAI 5881, Springer, 247-249, 2009.

Bas Steunebrink, Mehdi Dastani, and John-Jules Meyer. A Formal Model of Emotion-based Action Tendency for Intelligent Agents. In the Proceedings of the 14th Portuguese Conference on Artificial Intelligence, EPIA'09, LNAI 5816, Springer, 2009.

M.P. Sindlar, M.M. Dastani, and J.-J.Ch. Meyer. BDI-Based Development of Virtual Characters with a Theory of Mind. In the Proceedings of the 9th International Conference on Intelligent Virtual Agents, 2009.

Nick Tinnemeier, Mehdi Dastani, John-Jules Meyer, and Leon van der Torre. Programming Normative Artifacts with Declarative Obligations and Prohibitions. In the Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09), 2009.

Mehdi Dastani, Bas Steunebrink. Modularity in BDI-based Agent Programming Language. In the Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09), 2009.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. Rewriting Agent Societies Strategically. In the Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09), 2009.

Nick Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer. Roles and norms for programming agent organizations. In the Proceedings of the Eight International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), pages 121-128, 2009.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. On coordination, autonomy and time. In the Proceedings of the Eight International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), pages 1357-1358, 2009.

Mehdi Dastani, Jaap Brandsema, Amco Dubel and John-Jules Meyer. Debugging BDI-based Multi-Agent Programs. In the Proceedings of the 7th International Workshop on Programming Multi-Agent Systems (ProMAS 2009), 2009.

Michal P. Sindlar, Medhi M. Dastani, Frank Dignum, and John-Jules Ch. Meyer. Explaining and Predicting the Behavior of BDI-Based Agents in Games. In the Proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), 2009.

Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer. Reasoning About Agent Deliberation, In the Proceedings of eleventh international conference on principles of knowledge representation and Reasoning (KR'08), 2008.

Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics, In the Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08), 2008.

Mehdi Dastani, Christian P. Mol, and Bas R. Steunebrink. Modularity in Agent Programming Languages: An Illustration in Extended 2APL. In the Proceedings of The 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), LNCS 5357, 139-152, Spriinger, 2009.

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Meyer, Frank S. de Boer. A Verification Framework for Normative Multi-Agent Systems. In the Proceedings of The 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), LNCS 5357, Spriinger, 2009.

Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Meyer, Nick Tinnermeier. Reo Connectors as Coordination Artifacts in 2APL Systems, In the Proceedings of The 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), LNCS 5357, Spriinger, 2009.

Bas Steunebrink, Mehdi Dastani, John-Jules Meyer. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In the Proceedings of eighteenth European conference on artificial intelligence (ECAI'08), 2008.

Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff. Goals in Agent Systems: A Unifying Framework. In the Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08), 2008.

Alessandro Ricci, Michele Piunti, Daghan Acay, Rafael Bordini, Jomi Hubner, and Mehdi Dastani. Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms. In the Proceedings of the seventh international joint conference on autonomous agents and multi-agent systems (AAMAS-08), 2008.

Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer. Reasoning about agent execution strategies (Short paper). In the Proceedings of the seventh international joint conference on autonomous agents and multi-agent systems (AAMAS-08), 2008.

Nick A.M. Tinnemeier, Mehdi Dastani, John-Jules Meyer. Orwell's Nightmare for Agents? Programming Multi-Agent Organisations. In the Proceedings of the workshop on Programming Multi-Agent Systems (ProMAS'08), 2008.

Mehdi Dastani, Koen V. Hindriks, Peter Novak, Nick A.M. Tinnemeier. Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. In the Proceedings of the workshop on Declarative Agent Languages and Technologies (DALT'08), 2008.

Michal Sindlar, Mehdi Dastani, Frank Dignum and John-Jules Ch. Meyer. Mental State Abduction of BDI -Based Agents. In the Proceedings of the workshop on Declarative Agent Languages and Technologies (DALT'08), 2008.

Bas Steunebrink, Nieske Vergunst, Christian Mol,Frank Dignum, Mehdi Dastani, and John-Jules Ch. Meyer. A Generic Architecture for a Companion Robot, In the Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics (ICINCO'08), 2008.

Bas Steunebrink, Mehdi Dastani, John-Jules Meyer. A Logic of Emotions for Intelligent Agents. In the Proceedings of the twenty-second conference on Artificial Intelligence (AAAI-07), 2007, AAAI press.

Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Meyer. A Logic of Agent Programs. In the Proceedings of the twenty-second conference on Artificial Intelligence (AAAI-07), 2007, AAAI press.

Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer. A Grounded Specification Language for Agent Programs. In the Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), 2007. ACM Press.

Mehdi Dastani and John-Jules Meyer. A Practical Agent Programming Language. In the Proceedings of the fifth International Workshop on Programming Multi-agent Systems (ProMAS'07), 2007.

N. Tinnemeier and M. Dastani and J.J. Meyer, Goal Selection Strategies for Rational Agents. In the Proceedings of the workshop LAnguages, methodologies and Development tools for multi-agent systemS (LADS'07), M. Dastani, Joao Leite, A. El Fallah Seghrouchni, and P. Torroni (eds.), 2007.

Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre. Contextual Deliberation of Cognitive Agents in Defeasible Logic. In the Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), 2007. ACM Press.

Mehdi Dastani, Dirk Hobo, John-Jules Meyer. Practical Extensions in Agent Programming Languages. In the Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), 2007. ACM Press.

Rafel H. Bordini, Mehdi Dastani, Michael Winikoff. Current Issues in Multi-Agent Systems Development. In O'Hare, G., O'Grady, M., Dikenelli, O., and Ricci, A., eds., In the Proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World, Springer LNAI 4457, 38-61, 2007.

Mehdi Dastani, Jurgen Dix and Peter Novak. The Second Contest on Multi-Agent Systems based on Computational Logic. In the Proceedings of the seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII, Hakodate, Japan, May 2006), Katsumi Inoue, Ken Satoh and Francesca Toni (Eds.). Lecture Notes in Artificial Intelligence, Vol. 4371, Springer, 2007.

N.L. Vergunst and B.R. Steunebrink and M.M. Dastani and F.P.M. Dignum and J.J.Ch. Meyer. Towards Programming Multimodal Dialogues. In the Proceedings of the Workshop on Communication between Human and Artificial Agents (CHAA'07), IEEE Computer Society Press, 2007.

Bas R. Steunebrink, Mehdi Dastani, and John-Jules Ch. Meyer. Towards a Quantitative Model of Emotions for Intelligent Agents. In the Proceedings of the second Workshop Emotion and Computing - Current Research and Future Impact (Co-located with KI 2007), Dirk Reichardt and Paul Levi (eds.), 2007.

Mehdi Dastani and John-Jules Ch. Meyer. Programming Agent with Emotions, In the Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06). 2006.

Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer, Goal Types in Agent Programming. In the Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06). 2006.

D. Grossi, F. Dignum, V. Dignum, M. Dastani, L. Royakkers. Structural Aspects of the Evaluation of Agent Organizations. In the Proceedings of COIN@ECAI'06. Trento, Italy, August, 2006.

P. Harrenstein and M. Dastani. Effectivity and Noncooperative Solution Concepts. In the Proceedings of the Seventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT06), Liverpool, 2006.

M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer. Prototyping 3APL in the Maude Term Rewriting Language. In the Proceedings of the seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII, Hakodate, Japan, May 2006), Katsumi Inoue, Ken Satoh and Francesca Toni (Eds.). Lecture Notes in Artificial Intelligence, Vol. 4371, Springer, 2007.

Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer. Goal Types in Agent Programming: Extended Abstract. In the Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), 2006. ACM Press.

M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer. Goal-Oriented Modularity in Agent Programming. In the Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), 2006. ACM Press.

M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer. Prototyping 3APL in the Maude Term Rewriting Language: Extended Abstract. In the Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06). 2006. ACM Press.

Davide Grossi, Frank Dignum, Virginia Dignum, Mehdi Dastani, Lamber Royakkers. Structural Evaluation of Agent Organizations (Short Paper). In the Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), 2006. ACM Press.

Mehdi Dastani, Jurgen Dix and Peter Novak. The First Contest on Multi-Agent Systems based on Computational Logic. In the Proceedings of the Sixth International Workshop, CLIMA VI, City University London, UK, June 27-29, 2005. Revised Selected and Invited Papers. Vol. 3900 of Lecture Notes in Artificial Intelligence. Francesca Toni and Paolo Torroni, editors, 2006.

M. Birna van Riemsdijk and Mehdi Dastani. Plan Generation and Plan Execution in Agent Programming. In the Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006), Matteo Baldoni and Ulle Endriss (eds.), LNAI 4327, pp. 225-238, 2006.

M. Dastani. De Opmars van Cognitieve Agenten (Dutch). In De Connectie: Het AI-blad voor studenten en andere geinteresseerden, Nummer 3, Juli 2005.

M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Subgoal Semantics in Agent Programming. In the Proceedings of 12th Portuguese Conference on Artificial Intelligence, LNCS 3808, pp. 548 - 559, 2005.

M. Dastani, G. Governatori, A. Rotolo, L. van der Torre. Programming Cognitive Agents in Defeasible Logic. In the Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05), LNAI 3835, pp. 621-637, 2005.

M. Dastani, G. Governatori, A. Rotolo, L. van der Torre. Preferences of Agents in Defeasible Logic. Advances in Artificial Intelligence. In the Proceedings of the 18th Australian Joint Conference on Artificial Intelligence (AI'05), Shichao Zhang and Ray Jarvis (eds.), LNCS 3809, pp. 695-704, 2005.

M. Dastani, F. Arbab, F. de Boer. Coordination and Composition in Multi-Agnet Systems, In the Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). Utrecht, July, 2005.

M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Semantics of Declarative Goals in Agent Programming. In the Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). Utrecht, July, 2005.

D. Grossi, F. Dignum, M. Dastani, L. Royakkers. Foundations of Organizational Structures in Multi-Agent Systems. In the Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). Utrecht, July, 2005.

J. Kwisthout, M. Dastani, Modelling Uncertainty in Agent Programming, In the Proceedings of the third International Workshop on Declarative Agent Languages and Technologies (DALT 2005), Lecture Notes in Computer Science 3904, Springer, 2006.

L. Winkelhagen, M. Dastani, J. Broersen. Beliefs in Agent Implementation. In the Proceedings of the third International Workshop on Declarative Agent Languages and Technologies (DALT 2005), Lecture Notes in Computer Science 3904, Springer, 2006.

M. Dastani, A. Herzig, J. Hulstijn, L. van der Torre. Inferring trust. In the Proceedings of the Fifth Workshop on Computational Logic in Multi-agent Systems (clima v), LNCS, Springer, 2004.

M. Dastani and L. van der Torre. Games for Cognitive Agents. In the Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), J.J. Alferes, J. Leite (eds.), Spinger LNAI 3229, p. 5-17, 2004.

M. Dastani and L. van der Torre, Programming BOID Agents: a deliberation language for conflicts between mental attitudes and plans. In the Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04), N. R. Jennings, C. Sierra, L. Sonenberg, M. Tambe (eds.), ACM, p. 706-713, 2004.

Dastani, M., Hulstijn, J., Dignum, F. Meyer, J-J. Ch. Issues in Multiagent System Development. In the Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04), N. R. Jennings, C. Sierra, L. Sonenberg, M. Tambe (eds.), ACM, p. 922-929, 2004.

van Riemsdijk, B., Dastani, M., Dignum, F. Meyer, J.-J. Ch. Dynamics of Declarative Goals in Agent Programming. In the Proceedings of Declarative Agent Languages and Technologies (DALT), New York, 2004.

Dastani, M. , van Riemsdijk, B., Hulstijn, J., Dignum, F., Meyer, J-J. Ch. Enacting and Deacting Roles in Agent Programming. In the Proceedings of Agent-Oriented Software Engineering (AOSE), New York, 2004.

Hulstijn, J., Dignum, F. Dastani, M. Coherence in Multi-agent Interaction. In the Proceedings of the Agent Communication Languages (AC), New York, 2004.

L. van der Torre, J. Hulstijn, M. Dastani, and J. Broersen. Specifying Multiagent Organizations. In the Proceedings of the Seventh Workshop on Deontic Logic in Computer Science (Deon'2004), Madeira, Sprnger, LNAI 3065, 243-257, 2004.

M. Dastani, B. van Riemsdijk, F. Dignum, J.J. Meyer. A Programming Language for Cognitive Agents: Goal Directed 3APL. In the Proceedings of the First Workshop on Programming Multiagent Systems: Languages, frameworks, techniques, and tools (ProMAS03), Mehdi Dastani, Jurgen Dix, Amal El Fallah-Seghrouchni (eds.), LNAI 3067, Springer, Berlin, 2004.

M. Dastani and L. van der Torre. What is a normative goal? Towards Goal-based Normative Agent Architectures. Regulated Agent-Based Systems. In the Proceedings RASTA02, LNAI 2934, 210-227, Springer, 2004.

M. van Otterlo, M. Wiering, M. Dastani, J.J. Meyer. A Characterization of Sapient Agents. In the Proceedings of the International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'03): Modeling, Exploration, and Engineering, H. Hexmoor (ed.), 172-177, Boston, Massachusetts, 2003.

M. Dastani, J. van der Ham, and F. Dignum. Communication for Goal Directed Agents. In Communication in Multiagent Systems – Agent Communication Languages and Conversation Policies, Marc-Philippe Huget (ed.), 239-252, LNCS, 2003.

M. Dastani, F. Dignum, J.J. Meyer. Autonomy and Agent Deliberation. In the Proceedings of The First International Workshop on Computatinal Autonomy - Potential, Risks, Solutions (Autonomous 2003), Michael Rovatsos and Matthias Nickles (eds.), 23-35, Melbourne, July 2003.

M. Dastani, B. van Riemsdijk, F. Dignum, J.J. Meyer. A Programming Language for Cognitive Agents: Goal Directed 3APL. In the Proceedings of the First Workshop on Programming Multiagent Systems: Languages, frameworks, techniques, and tools (ProMAS03), Mehdi Dastani, Jurgen Dix, Amal El Fallah-Seghrouchni, David Kinny (eds.), 9-15, Melbourne, July 2003.

M. Dastani, V. Dignum, F. Dignum. Role-Assignment in Open Agent Societies. In the Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), Melbourne, July 2003, ACM Press, 2003.

M. Dastani, F. de Boer, F. Dignum, J.J. Meyer. Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In the Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), Melbourne, July 2003, ACM Press, 2003.

J. Broersen, M. Dastani, and L. van der Torre. BDIO_CTL: Properties of Obligation in Agent Specification Languages. In the Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03), 2003.

M. Dastani and L. van der Torre. An Extension of BDICTL with Functions and Components. In the Proceedings of the 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'02), LNCS, 2002.

M. Dastani, V. Dignum, F. Dignum. Organizations and Normative Agents. In the Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002). LNCS, Springer, 2002.

M. Dastani and L. van der Torre. Specifying the Merging of Desires into Goals in the Context of Beliefs. In the Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002). LNCS, Springer, 2002.

J. Broersen, M. Dastani, Z. Huang and L. van der Torre. Trust and Commitment in Dynamic Logic. In Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002). LNCS, Springer, 2002.

M. Dastani and L. van der Torre. What is a Normative Goal? In the Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), AAMAS'02 Workshop, Bologna Italy, 2002.

M. Dastani, J. van der Ham, and F. Dignum. Communication for Goal Directed Agents. In the Proceedings of the Agent Communication Languages and Conversation Policies AAMAS'02 Workshop, Bologna Italy, 2002.

M. Dastani and L. van der Torre. A Classification of Cognitive Agents. In the Proceedings of the 24th Annual Meeting of the Cognitive Science Society (Cogsci'02), Washington DC, 2002.

M. Dastani, F. Boer, F. Dignum, W. van der Hoek, M. Kroese, J.J. Meyer. Programming the Deliberation Cycle of Cognitive Robots. In the Proceedings of the Third International Cognitive Robotics Workshop, Held in conjunction with AAAI-2002, Edmonton, Canada 2002.

M. Dastani and L. van der Torre. Decisions and Games for BD Agents. In the Proceedings of The Workshop on Game Theoretic and Decision Theoretic Agents, GTDT'02, Held in Association with AAAI-2002, Edmonton, Canada 2002.

M. Dastani and L. van der Torre. What is a Joint Goal? Games with Beliefs and Defeasible Desires. Proceedings of NMR02, Toulouse, 2002.

J. Broersen, M. Dastani and L. van der Torre. Resolving conflicts between beliefs, obligations, intentions and desires. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty. In the Proceedings of the ECSQARU'01, Lecture Notes in Computer Science, Springer Verlag, 2001.

 Dastani, M., Jonker, C.M, and Treur, J. A Requirement Specification Language for Configuration Dynamics of Multi-Agent System. In the Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Wooldridge, M., Ciancarini, P., and Weiss, G. (eds.), Lecture Notes in Computer Science, Springer Verlag, 2001.

M. Dastani and B. Indurkhya. Modeling context effect in perceptual domains. In the Proceedings of the third International Conference on Modeling and Using Context (CONTEXT'01). Lecture Notes in Artificial Intelligence (LNAI), Springer Verlag, 2001.

Jan Broersen, Mehdi Dastani, Zhisheng Huang, Joris Hulstijn, Leendert van der Torre. An Alternative Classification of Agent Types based on BOID Conflict Resolution. In the Proceedings of the Belgium/Dutch AI Conference (BNAIC'2001), Amsterdam, 2001.

M. Dastani, Elena Marchiori, and Robert Voorn. Finding Perceived Pattern Structures using Genetic Programming. In the proceedings of Genetic and Evolutionary Computation Conference (GECCO-2001).

M. Dastani and B. Indurkhya. Discovering pattern structures: interaction between analogical reasoning and perception (Extended Abstract). In the proceedings of International Conference Model-Based Reasoning 2001 (MBR'01).

J. Broersen, M. Dastani and L. van der Torre. Wishful thinking. In the Proceedings of DGNMR01.

J. Broersen, M. Dastani, Z. Huang, J. Hulstijn, and L. van der Torre. The BOID architecture. In the proceedings of the fifth international conference on Autonomous Agents (Agents2001), Montreal, 2001.

M. Dastani, J. Hulstijn, and L. van der Torre. Dialague games and negotiation. In the Proceedings of the Agents2001.

M. Dastani, Z. Huang, J. Hulstijn and L. van der Torre. BDI and QDT. In the Proceedings of GTDT2001, Stanford, 2001.

M. Dastani, bipin Indurkhya, Remko Scha. Modeling Analogical Projection based on Pattern Perception. In the Proceedings of Evolutionary Language Engineering (CEvoLE 1 and 2) "Learning to Behave", Belgium, 2000.

M. Dastani, J. Hulstijn and L. van der Torre. Negotiation protocols and dialogue games. In the Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000.

M. Dastani, Z. Huang and L. van der Torre. Dynamic desires. In the Proceedings of the ICMAS2000 Workshop on game-theoretic and decision-theoretic approaches to agency (GTDT'2000), Boston, 2000.

J. Broersen, M. Dastani and L. van der Torre. Leveled commitment and trust in negotiation. In the Proceedings of the Autonomous Agents 2000 Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona, 2000.

Dastani, M., Jacobs, N., Jonker, C.M, and Treur, J. Modeling User Preferences in Agent-Mediated Electronic Commerce. In the Proceedings of Agent-mediated Electronic Markets in Europe, F. Dignum, C. Sierra (eds.). Springer Verlag. 2000.

Ed S. Tan, Heimo Müller and Mehdi Dastani. An object oriented user data model for content description of video images, report VICAR-T1.4-VUA-002.02-250298, Vrije Universiteit Amsterdam (NL), April 1999.

M. Dastani. Languages of Perception. Ph.D. thesis, 9 December 1998.

M. Dastani and E. Tan. Representation Systems for Video Annotations. In Object Foundation Classes, ESPRIT report, VICAR, Sentient Machine Research, Amsterdam, 1998.

M. Dastani and B. Indurkhya and R. Scha. An Algebraic Method for Solving Proportional Analogy Problems. In MindII - Computational Models of Creative Cognition, Dublin City University, School of Computer Applications, Dublin, Ireland, 1997.

M. Dastani and B. Indurkhya. An algebraic Approach to Similarity and Categorization. In the Proceedings of An Interdisciplinary Workshop On Similarity and Categorization, Edinburgh, Scotland, 1997.

B. Indurkhya and M. Dastani. An Algebraic Model of the Context Effect in Analogy. In the Proceedings of European Conference on Cognitive Science, Manchester, UK, 1997.

M. Dastani. An Algebraic Approach to Data Visualization. Accolade '96, Dutch Graduate School in Logic, 1996.

M. Dastani. Computing the perceptual structure of visual expressions. Artificial Intelligence in Design (AID'96), In the Proceedings of Workshop on Visual Representation, Reasoning, and Interaction in Design. Standford University, California, 1996.

M. Dastani and J. Oberlander and K. Stenning, 'X' marks the spot: Drawing Conclusions with Euler's Circles. In Sematical Issues in Graphical Representation, ESPRIT report, HCRC, Edinburgh University, 1993.

R. Bod and M. Dastani and R. Scha. Solving Proportional Analogies using Structural Information Theory. Preprints European Workshop on Cased-based Reasoning, Kaiserslautern, Germany, 1993.

R. Bod and M. Dastani and H. Prust and R. Scha and H. Zeevat (eds.) In HCI from a Discourse Perspective, ESPRIT (Basic Research Action P6296), 92 pp, 1993.

^ naar boven
Gegenereerd op 2017-09-26 13:03:28

Research Projects

Supervision of Autonomous Software Systems.
The main challenge of this project concerns the creation of an adaptive runtime supervision framework that continuously monitors the execution of software systems, evaluates their behavior against the current requirements, and intervenes by deciding which requirements should be added, ignored or weakened. The two main pillars of the envisioned approach are that (i) accurate requirement models can be obtained only at runtime and through learning, and (ii) requirement revision, including requirement approximation, is preferred over system adaptation.

Golden Agents: creative industry and the creation of the Dutch Golden Age.
The main challenge in this software project is to combine Semantic Web technology with multi-agent technology to simulate interactions between different data-sets, and between data-sets and users. Computer agents will not only help researchers in their search through this enormous amount of data from the Golden Age creative industry, but will actually learn from this. Golden Agents will provide their own suggestions to allow researchers ultimately understand the dynamics of the Golden Age. Patterns that explain the success of the Golden Age will possibly lead to relevant insights for the creative industry today.

Agent-based Driver Collaboration and Smart Roads for Traffic Throughput and Road Safety
The main challenge addressed in this proposal is how to improve road traffic, from the perspectives of safety, network performance and ease of driving. Our proposal is to model highways as distributed virtual organizations that continuously monitor the behaviours of vehicles and take necessary measures and sanctions such as redirecting traffic, changing maximum speed, and issuing penalties for violations.

Virtual Organisation
The main problem addressed in this project is how individual software agents can decide whether and in which way it is beneficial to participate in a virtual organization. Our proposal is to provide software agents the ability to represent and reason about the normative system that constitutes the virtual organization.

Programming Cognitive Robotics
The project is concerned with high-level programming of autonomous robots, in particular, how to facilitate the implementation of robots with cognitive architectures in an efficient and effective manner. Our proposal is to extend existing agent programming languages with sensory and action components used for the management of a robot's sensory data and the execution control of its plan/actions.

Coordination and Composition in Multi-Agent Systems
The main problem addressed in this project is how to design and develop executable coordination models at various levels within multi-agent systems and how to integrate these models. The proposal was based on integrated programming languages for exogenous coordination of roles, individual agents, and multi-agent systems.

Virtual characters: Modelling Cognitive Behaviour of Virtual Characters
The problem addressed in this project is how to build virtual characters with believable behaviour by enriching them with mindreading capabilities, i.e., the capability to infer mental states of other agents from their observed behavior. Our proposal was based on abduction mechanism applied to the BDI agents. Assuming that the agent's decision rules are known, we proposed a logical approach to describe and predict the mental state of agents based on their (complete or partial) observable behaviour.

Modularization of 2APL
The main challenge in this project was to extend 2APL, which is a BDI-based agent programming language, with modules. We proposed a modularisation approach to overcome some of the limitations of existing frameworks and unify commonly accepted characteristics of various existing approaches into one single framework. This approach is applied and implemented in the 2APL framework, which is now available on SourceForge (http://apapl.sourceforge.net/).

Dutch Boon Companion
The main problem addressed in this project is how to design and develop companion robots that interact with human users (e.g., children or elderly people) in an effective and realistic manner (e.g., a care-taking robot can entertain elderly people but also act as an alarm system when something unusual is observed). Our proposal was to integrate emotions in the decision models that control the robot's behaviours. Emotions are generally known as a mechanism that makes decisions effective and realistic.

 
PhD Students

Birna van Riemsdijk (completed)
Starting date: 2002
Defense date: 2006
Title: Cognitive Agent Programming: A Semantic Approach

Bas Steunebrink (completed)
Starting date: 2006
Defense date: 2010
Title: The Logical Structure of Emotions

Nick Tinnemeier (completed)
Starting date: 2006
Defense date: 2010
Title: Organizing Agent Organizations: Syntax and Operational Semantics of an Organization-Oriented Programming Language

Lacramioara Astefanoaei (completed)
Staring date: 2006
Defense date: 2011
Title: An Executable Theory of Multi-Agent Systems Refinement

Michal Sindler (completed)
Starting date: 2007
Expected defense date: 2011
Title: Mental State Abduction

Max Knobbout (completed)
Starting date: 2011
Expected defense date: 2015
Title: Virtual Organizations

Pouyan Ziafati (completed)
Starting date: 2011
Expected defense date: 2015
Topic: Programming Cognitive Robotics

Bas Testerink (ongoing)
Starting date: 2012
Expected defense date: 2015
Title: Distributed Normative Organisations

Mahdieh Shadi (ongoing)
Starting date: 2013
Expected defense date: 2017
Title: Collaboration Behavior Enhancement in Co-development Networks

Gegenereerd op 2017-09-26 13:03:28

Recent Courses

 

  • Multi-Agent Systems (Utrecht University)
  • Multi-Agent Programming (Utrecht University)
  • Logic for Computer Science (Utrecht University)
  • Software Project (Utrecht University)
  • Design of Interactive Systems (Utrecht University)
  • Introductory Project Computer Science (Utrecht University)

 

Previous Courses

 

  • Introduction to Intelligent Systems (Utrecht University)
  • Experimentation Project AT (Utrecht University)
  • Distributed Artificial Intelligence (Utrecht University)
  • Logical techniques in Artificial Intelligence (Vrije Universiteit Amsterdam)
  • Intelligent Information Agents I and II (Vrije Universiteit Amsterdam)
  • Aspects of Artificial Intelligence (Vrije Universiteit Amsterdam)
  • Automatic Visualization (University of Amsterdam)
  • Visual information, Visual Reasoning, and Visual Languages (University of Amsterdam)
  • Formal Models of Gestalt Perception (University of Amsterdam)
  • Algorithmic description of organic structures (University of Amsterdam)
Gegenereerd op 2017-09-26 13:03:28
Volledige naam
dr. M.M. Dastani Contactgegevens
Buys Ballotgebouw

Princetonplein 5
Kamer BBL-521
3584 CC  UTRECHT

Telefoonnummer direct 030 253 3599
Telefoonnummer afdeling 030 253 4109
Postadres
Postbus 80.089
3508 TB    UTRECHT
Gegenereerd op 2017-09-26 13:03:28
Laatst bijgewerkt op 31-01-2017