Books
Mehdi Dastani, Marjan Sirjani (eds.), Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science10522, Springer 2017.
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
Mehdi Dastani, Alexander Pankov, Other-Condemning Moral Emotions: Anger, Contempt and Disgust. ACM Transaction on Internet Technology, 17(1), 4:1-4:24, 2017.
Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith, Commitments and interaction norms in organisations. International Journal on Autonomous Agents and Multi-Agent Systems, 31(2), 207-249, 2017.
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
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer, Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods, Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 294-308, 2016.
Mehdi Dastani, A Survey of Multi-Agent Programming Languages and Frameworks. Agent-Oriented Software Engineering, 213-233, Springer, 2014.
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
Mehdi Dastani, Emiliano Lorini, John-Jules Meyer and Alexander Pankov, Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires, The 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017.
Mehdi Dastani, Sebastian Sardina and Vahid Yazdanpanah. Norm Enforcement as Supervisory Control, The 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017.
Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov, Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires.AAMAS’17, 1520-1522, 2017.
Mehdi Dastani, Bas Testerink, Design patterns for multi-agent programming. IJAOSE 5(2/3), 167-202, 2017.
Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith, Commitments and Interaction Norms in Organisations, JAAMAS Extended Abstract. AAMAS’16, 1261-1262, 2016.
Bas Testerink, Mehdi Dastani, Nils Bulling, Distributed Controllers for Norm Enforcement. ECAI’16, 751-759, 2016.
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer, A Dynamic Logic of Norm Change. ECAI’16, 886-894, 2016.
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.
Publications
2023
Scholarly publications
de Mooij, J., Bhattacharya, P., Dell’Anna, D., Dastani, M., Logan, B., & Swarup, S. (2023). A framework for modeling human behavior in large-scale agent-based epidemic simulations. Simulation. https://doi.org/10.1177/00375497231184898
Onnes, A., Dastani, M., & Renooij, S. (2023). Bayesian network conflict detection for normative monitoring of black-box systems. In Proceedings of the Thirty-Sixth International FLAIRS Conference (Vol. 36). (Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS). Florida Online Journals. https://doi.org/10.32473/flairs.36.133240
Han, S., Dastani, M., & Wang, S. (2023). Model-Based Sparse Communication in Multi-Agent Reinforcement Learning. In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (pp. 439–447). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). https://doi.org/10.5555/3545946.3598669
2022
Scholarly publications
Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Dignum, F., & Dastani, M. (2022). An Online Agent-Based Search Approach in Automated Computer Game Testing with Model Construction. arXiv.
https://dspace.library.uu.nl/bitstream/handle/1874/429172/2211.06936v1.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/429172/2211.06936v1.pdf?sequence=1
Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Dignum, F., & Dastani, M. (2022). An online agent-based search approach in automated computer game testing with model construction. In A. Kiss, B. Marin, & M. Saadatmand (Eds.), A-TEST 2022 - Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation, co-located with ESEC/FSE 2022 (pp. 45-52). (A-TEST 2022 - Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation, co-located with ESEC/FSE 2022). Association for Computing Machinery. https://doi.org/10.1145/3548659.3561309
Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., & Logan, B. (2022). Data-Driven Revision of Conditional Norms in Multi-Agent Systems. Journal of Artificial Intelligence Research, 75, 1549-1593. https://doi.org/10.1613/JAIR.1.13683
Bhattacharya, P., de Mooij, A. J., Dell’Anna, D., Dastani, M., Logan, B., & Swarup, S. (2022). PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents. In N. Alechina, M. Baldoni, & B. Logan (Eds.), Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Revised Selected Papers (pp. 1-21). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13190 LNAI). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-97457-2_1
de Mooij, J., Dell’Anna, D., Bhattacharya, P., Dastani, M., Logan, B., & Swarup, S. (2022). Using Agent-Based Simulation to Investigate Behavioral Interventions in a Pandemic Simulating Behavioral Interventions in a Pandemic. CEUR Workshop Proceedings, 3182. https://ceur-ws.org/Vol-3182
Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Löffler, M., & Logan, B. (2022). The Complexity of Norm Synthesis and Revision. In N. Ajmeri, A. M. Martin, & B. T. R. Savarimuthu (Eds.), Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV: International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers (pp. 38-53). (Lecture Notes in Computer Science ; Vol. 13549). Springer. https://doi.org/10.1007/978-3-031-20845-4_3
Ansari, S. G., Prasetya, I. S. W. B., Dastani, M., Dignum, F., & Keller, G. (2022). An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing. In N. Alechina, M. Baldoni, & B. Logan (Eds.), Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Revised Selected Papers (pp. 156-174). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13190 LNAI). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-97457-2_9
Zhang, C., Wang, S., Tjong Kim Sang, E., Adriaanse, M. A., Tummers, L., Schraagen, M., Qi, J., Dastani, M., & Aarts, H. (2022). Spatiotemporal variations of public opinion on social distancing in the Netherlands: Comparison of Twitter and longitudinal survey data. Frontiers in Public Health, 10, 1-14. [856825]. https://doi.org/10.3389/fpubh.2022.856825
Baas, J., van Wissen, L., Reinders, J., Dastani, M., & Feelders, A. (2022). Adding Domain Knowledge to Improve Entity Resolution in 17th and 18th Century Amsterdam Archival Records. 90-104. Paper presented at SEMANTiCS 2022, Vienna, Austria. https://doi.org/10.3233/SSW220012
https://dspace.library.uu.nl/bitstream/handle/1874/423192/Occasional_Poetry_SEMANTiCS_2022_pure.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/423192/Occasional_Poetry_SEMANTiCS_2022_pure.pdf?sequence=1
de Mooij, J., Dell'anna, D., Bhattacharya, P., Dastani, M., Logan, B., & Swarup, S. (2022). Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation. In K. H. Van Dam, & N. Verstaevel (Eds.), Multi-Agent-Based Simulation XXII. MABS 2021. (pp. 99-112). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13128 LNAI). Springer. https://doi.org/10.1007/978-3-030-94548-0_8
2021
Scholarly publications
Baas, J., Dastani, M., & Feelders, A. (2021). Exploiting Transitivity for Entity Matching. In R. Verborgh, A. Dimou, A. Hogan, C. d'Amato, I. Tiddi, A. Bröring, S. Mayer, F. Ongenae, R. Tommasini, & M. Alam (Eds.), The Semantic Web: ESWC 2021 Satellite Events: Virtual Event, June 6–10, 2021, Revised Selected Papers (pp. 109-114). (Lecture Notes in Computer Science; Vol. 12739). Springer. https://doi.org/10.1007/978-3-030-80418-3_20
Baas, J., Dastani, M., & Feelders, A. (2021). Entity Matching in Digital Humanities Knowledge Graphs. 1-15. Paper presented at Computational Humanities Research, Amsterdam, Netherlands.
https://dspace.library.uu.nl/bitstream/handle/1874/423193/long_paper5.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/423193/long_paper5.pdf?sequence=1
Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Dignum, F., Dastani, M., & Keller, G. (2021). Using an Agent-based Approach for Robust Automated Testing of Computer Games. 1-8. Paper presented at Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST ’21)., Athens , Greece. https://doi.org/10.1145/3472672.3473952
de Mooij, J., Kurtan, C., Baas, J., & Dastani, M. (Accepted/In press). A Computational Framework for Organizing and Querying Cultural Heritage Archives. Journal on Computing and Cultural Heritage, [1].
Bhattacharya, P., de Mooij, J., Dell'anna, D., Dastani, M., Logan, B., & Swarup, S. (Accepted/In press). PanSim+ Sim-2APL: A framework for large-scale distributed simulation with complex agents. https://parantapa.net/mypapers/bhattacharya-emas21.pdf
2020
Scholarly publications
van Zee, M., Doder, D., Torre, L. V. D., Dastani, M., Icard, T., & Pacuit, E. (2020). Intention as commitment toward time. Artificial Intelligence, 283(June 2020), [103270]. https://doi.org/10.1016/j.artint.2020.103270
Baas, J., Dastani, M. M., & Feelders, A. J. (2020). Tailored Graph Embeddings for Entity Alignment on Historical Data. 125--133. Paper presented at International Conference on Information Integration and Web-based Applications & Services. https://doi.org/10.1145/3428757.3429111
Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. EJ., Dignum, F., & Kifetew, F. (2020). Aplib: Tactical Agents for Testing Computer Games. In C. Baroglio, J. F. Hubner, & M. Winikoff (Eds.), Engineering Multi-Agent Systems : 8th International Workshop , EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers (Vol. 12589, pp. 21-41). (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-66534-0
Prasetya, I. S. W. B., & Dastani, M. (2020). Aplib: An agent programming library for testing games. In B. An, A. El Fallah Seghrouchni, & G. Sukthankar (Eds.), Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 (Vol. 2020-May, pp. 1972-1974). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). https://doi.org/10.5555/3398761.3399045
Wang, S., Schraagen, M., Tjong Kim Sang, E., & Dastani, M. (2020). Public Sentiment on Governmental COVID-19 Measures in Dutch Social Media. In K. Verspoor, K. Bretonnel Cohen, M. Conway, B. de Bruijn, M. Dredze, R. Mihalcea, & B. Wallace (Eds.), Proceedings of the 1st Workshop on NLP for COVID-19 (Part 2) at the 2020 Conference on Empirical Methods in Natural Language Processing Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/2020.nlpcovid19-2.17
Kurtan, C., Yolum, P., & Dastani, M. (2020). An ideal team is more than a team of ideal agents. In G. De Giacomo, A. Catala, B. Dilkina, M. Milano, S. Barro, A. Bugarín, & J. Lang (Eds.), ECAI 2020 : Proceedings of the 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 (pp. 43-50). (Frontiers in Artificial Intelligence and Applications; Vol. 325). Berlin, IOS Press. https://doi.org/10.3233/FAIA200074
de Mooij, J., Kurtan, C., Baas, J., & Dastani, M. (2020). A multiagent framework for querying distributed digital collections. In A. Rocha, L. Steels, & J. van den Herik (Eds.), ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence (Vol. 1, pp. 515-521). SciTePress. https://doi.org/10.5220/0009154005150521
Dell’Anna, D., Dastani, M., & Dalpiaz, F. (2020). Runtime revision of sanctions in normative multi-agent systems. Autonomous Agents and Multi-Agent Systems, 34(2), [43]. https://doi.org/10.1007/s10458-020-09465-8
2019
Scholarly publications
Yazdanpanah, V., Yazan, D. M., Hillegersberg, J. V., & Dastani, M. (2019). An Introduction to Engineering Multiagent Industrial Symbiosis Systems: Potentials and Challenges. (pp. 1-10). arXiv. https://doi.org/10.48550/arXiv.1905.12890
Baas, J., Feelders, A. J., & Dastani, M. M. (2019). Graph Embeddings for Enrichment of Historical Data. Poster session presented at Workshop on Graph Embedding and Data Mining(GEM) 2019, Würzburg, Bavaria, Germany.
https://dspace.library.uu.nl/bitstream/handle/1874/415596/ECML_PKDD_GEM_2019.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/415596/ECML_PKDD_GEM_2019.pdf?sequence=1
Baldoni, M., Dastani, M., Liao, B., Sakurai, Y., & Zalila-Wenkstern, R. (Eds.) (2019). PRIMA 2019 : principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019, proceedings. (Lecture Notes in Computer Science; Vol. 11873). Springer. https://doi.org/10.1007/978-3-030-33792-6
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 (pp. 592-600) http://dl.acm.org/citation.cfm?id=3331745
Alechina, N., Dastani, M., & Logan, B. (2019). Decidable Model Checking with Uniform Strategies. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 (pp. 170-178) http://dl.acm.org/citation.cfm?id=3331690
Dastani, M., & Sirjani, M. (2019). Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017). Science of Computer Programming, 182, 86-87. https://doi.org/10.1016/j.scico.2019.07.004
Dell'Anna, D., Dastani, M., & Dalpiaz, F. (2019). Runtime revision of norms and sanctions based on agent preferences. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems: (AAMAS 2019) (Vol. 3, pp. 1609-1617). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/10.5555/3306127.3331881
Dell'Anna, D., Dalpiaz, F., & Dastani, M. (2019). Requirements-driven evolution of sociotechnical systems via probabilistic reasoning and hill climbing. Automated Software Engineering, 26, 513–557. https://doi.org/10.1007/s10515-019-00255-5
2018
Scholarly publications
Dastani, M., Dix, J., Verhagen, H., & Villata, S. (2018). Normative Multi-Agent Systems (Dagstuhl Seminar 18171). Dagstuhl Reports, 8(4), 72-103. https://doi.org/10.4230/DagRep.8.4.72
Dell'Anna, D., Dastani, M., & Dalpiaz, F. (2018). Reasoning about Norms Revision. Manuscript submitted for publication. http://arxiv.org/abs/1810.10591
Yazdanpanah, V., & Dastani, M. (2018). Quantified Degrees of Group Responsibility (Extended Abstract). Manuscript submitted for publication. http://arxiv.org/abs/1801.07747
André, E., Koenig, S., Dastani, M., & Sukthankar, G. (Eds.) (2018). Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. http://dl.acm.org/citation.cfm?id=3237383
Dastani, M., Hojjat, H., & Sirjani, M. (2018). Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). Science of Computer Programming, 160, 1-2. https://doi.org/10.1016/j.scico.2017.11.006
Dastani, M., Torroni, P., & Yorke-Smith, N. (2018). Monitoring norms: a multi-disciplinary perspective. Knowledge Engineering Review, 33, [e25]. https://doi.org/10.1017/S0269888918000267
Dell’Anna, D., Dastani, M., & Dalpiaz, F. (2018). Runtime Norm Revision Using Bayesian Networks. In PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, 2018, Proceedings (pp. 279-295). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11224 LNAI). Springer. https://doi.org/10.1007/978-3-030-03098-8_17
Dell'Anna, D., Dalpiaz, F., & Dastani, M. (2018). Validating Goal Models via Bayesian Networks. In Proceedings of the International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'18) https://doi.org/10.1109/AIRE.2018.00012
2017
Scholarly publications
Dastani, M. M., & Sirjani, M. (Eds.) (2017). Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers. (Programming and Software Engineering; Vol. 10522). Springer. https://doi.org/10.1007/978-3-319-68972-2
Poppe, R., Meyer, J. J., Veltkamp, R., & Dastani, M. (2017). Preface. In R. Poppe, J-J. Meyer, R. Veltkamp, & M. Dastani (Eds.), Intelligent Technologies for Interactive Entertainment: 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers (pp. V-VI). (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; Vol. 178). Springer.
https://dspace.library.uu.nl/bitstream/handle/1874/359172/Preface.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/359172/Preface.pdf?sequence=1
Dastani, M. M., Sardini, S., & Yazdanpanah, V. (2017). Norm Enforcement as Supervisory Control. In PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings (pp. 330-348). (Lecture Notes in Artificial Intelligence; Vol. 10621). Springer. https://doi.org/10.1007/978-3-319-69131-2_20
Dastani, M. M., & Pankov, A. (2017). Other-Condemning Moral Emotions: Anger, Contempt and Disgust. ACM Transactions on Internet Technology, 17(1). https://doi.org/10.1145/2998570
Dastani, M. M., Torre, L. W. N. V. D., & Yorke-Smith, N. (2017). Commitments and interaction norms in organisations. International Journal of Autonomous Agents and Multiagent Systems (JAAMAS), 31(2), 207-249. https://doi.org/10.1007/s10458-015-9321-5
Dastani, M., Lorini, E., Meyer, J. J., & Pankov, A. (2017). Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. In PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30-November 3, 2017, Proceedings (Vol. 10621, pp. 15-33). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10621). Springer. https://doi.org/10.1007/978-3-319-69131-2_2
Other output
Dastani, M. M., Lorini, E., Meyer, J. J. C., & Pankov, A. (2017). Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. 1520-1522. Abstract from AAMAS 2017, Brazil.
https://dspace.library.uu.nl/bitstream/handle/1874/360019/1dfc3d6e7501862ea43028842372270916f5.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/360019/1dfc3d6e7501862ea43028842372270916f5.pdf?sequence=1
2016
Scholarly publications
Yazdanpanah, V., & Dastani, M. (2016). Quantified group responsibility in multi-agent systems. In Proceedings of the 17th Workshop "From Objects to Agents" (WOA 2016) (pp. 44-49). (CEUR-WS.org; Vol. 1664). https://www.scopus.com/inward/record.uri?eid=2-s2.0-84985931314&partnerID=40&md5=9c6df3ca431e41bc1f8869a6acffd49b
https://dspace.library.uu.nl/bitstream/handle/1874/397064/quantified.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/397064/quantified.pdf?sequence=1
Dastani, M. M., Torre, L. W. N. V. D., & Yorke-Smith, N. (2016). Commitments and Interaction Norms in Organisations. In Proceedings of the fourteenth International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016) (pp. 1261-1262). ACM. https://doi.org/10.5555/2936924.2937109
Testerink, B. J. G., Dastani, M. M., & Bulling, N. (2016). Distributed Controllers for Norm Enforcement. In G. A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, & F. van Harmelen (Eds.), ECAI 2016: 22nd European Conference on Artificial Intelligence 29 August–2 September 2016, The Hague, The Netherlands (pp. 751-759). (Frontiers in Artificial Intelligence and Applications; Vol. 285). IOS Press. https://doi.org/10.3233/978-1-61499-672-9-751
Yazdanpanah, V., & Dastani, M. (2016). Distant group responsibility in multi-agent systems. In M. Baldoni, A. K. Chopra, T. Cao Son, K. Hiryama, & P. Torroni (Eds.), PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference Phuket, Thailand, August 22–26, 2016 Proceedings (pp. 261-278). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9862). Springer Verlag. https://doi.org/10.1007/978-3-319-44832-9_16
Testerink, B., Bulling, N., & Dastani, M. (2016). Security and robustness for collaborative monitors. In Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers (Vol. 9628, pp. 376-395). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9628). Springer Verlag. https://doi.org/10.1007/978-3-319-42691-4_21
Alechina, N., Dastani, M., & Logan, B. (2016). Verifying existence of resource-bounded coalition uniform strategies. In S. Kambhampati (Ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York, New York, USA 9–15 July 2016 (pp. 24-30). AAAI Press. http://www.ijcai.org/Abstract/16/011
Bulling, N., & Dastani, M. (2016). Norm-based mechanism design. Artificial Intelligence, 239, 97-142. https://doi.org/10.1016/j.artint.2016.07.001
Yazdanpanah, V., & Dastani, M. (2016). Quantified degrees of group responsibility. In V. Dignum, P. Noriega, M. Sensoy, & J. S. Sichman (Eds.), Coordination, Organizations, Institutions, and Normes in Agent Systems XI : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers (pp. 418-436). (Lecture Notes in Computer Science; Vol. 9628), (Lecture Notes in Artificial Intelligence ), (Lecture Notes in Bioinformatics). Springer. https://doi.org/10.1007/978-3-319-42691-4_23
Knobbout, M., Dastani, M. M., & Meyer, J. J. C. (2016). A Dynamic Logic of Norm Change (ext. abstract). In T. Bosse, & B. Bredeweg (Eds.), Proc. 28th Benelux Conference on Aritificial Intelligence (pp. 142-143)
Knobbout, M., Dastani, M. M., & Meyer, J. J. C. (2016). A Dynamic Logic of Norm Change. In G. A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, & F. van Harmelen (Eds.), Proc. ECAI2016 (22nd European Conference on Artificial Intelligence, The Hague, The Netherlands) (pp. 886-894). IOS Press.
Knobbout, M., Dastani, M. M., & Meyer, J. J. C. (2016). Formal Frameworks for Verifying Normative Multi-agent Systems. In E. Ábrahám, M. Bonsangue, & E. B. Johnsen (Eds.), Theory and Practice of Formal Methods (Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday); LNCS 9660 (pp. 294-308). (Lecture Notes in Computer Science ; Vol. 9660). Springer International Publishers. https://doi.org/10.1007/978-3-319-30734-3_20
Poppe, R. W., Meyer, J. J. C., Veltkamp, R. C., & Dastani, M. M. (Eds.) (2016). Intelligent technologies for interactive entertainment: 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016 : Revised Selected Papers. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Vol. 178). Springer. https://doi.org/10.1007/978-3-319-49616-0
2015
Scholarly publications
Baumfalk, J., Poot, B., Testerink, B. J. G., & Dastani, M. M. (2015). A SUMO Extension for Norm based Traffic Control Systems. In Proceedings of the SUMO2015 Intermodal Simulation for Intermodal Transport (pp. 63-83)
https://dspace.library.uu.nl/bitstream/handle/1874/388298/baumfalk.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/388298/baumfalk.pdf?sequence=1
Testerink, B. J. G., Bulling, N., & Dastani, M. M. (2015). Security and Robustness issues in Collaborative Runtime Verification. In Proceedings of the International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN2015@IJCAI)
https://dspace.library.uu.nl/bitstream/handle/1874/327839/Security.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/327839/Security.pdf?sequence=1
Yazdanpanah, V., & Dastani, M. M. (2015). Quantified Degrees of Group Responsibility. In Proceedings of the XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems (COIN@AAMAS2015) (pp. 205-220)
Dastani, M., & Sirjani, M. (Eds.) (2015). Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers. (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-24644-4
Zee, M. V., Doder, D., Dastani, M., & Torre, L. W. N. V. D. (2015). AGM Revision of Beliefs about Action and Time. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 (pp. 3250-3256) http://ijcai.org/papers15/Abstracts/IJCAI15-458.html
https://dspace.library.uu.nl/bitstream/handle/1874/327634/IJCAI15_458.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/327634/IJCAI15_458.pdf?sequence=1
Testerink, B., Bulling, N., & Dastani, M. (2015). A Model for Collaborative Runtime Verification. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015 (pp. 1781-1782). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/10.5555/2772879.2773434
Alechina, N., Bulling, N., Dastani, M., & Logan, B. (2015). Practical Run-Time Norm Enforcement with Bounded Lookahead. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015 (pp. 443-451). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/10.5555/2772879.2772937
Pankov, A., & Dastani, M. (2015). Towards a Formal Specification of Moral Emotions. In Proceedings of the 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems co-located with 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Istanbul, Turkey, May 5, 2015. (pp. 3-18) http://ceur-ws.org/Vol-1351/paper1.pdf
Dastani, M. (2015). Programming multi-agent systems. The knowledge engineering review, 30(4), 394-418. https://doi.org/10.1017/S0269888915000077
Zee, M. V., Dastani, M., Doder, D., & Torre, L. V. D. (2015). Consistency Conditions for Beliefs and Intentions. In Proceedings of the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning https://www.academia.edu/10242297/Consistency_Conditions_for_Beliefs_and_Intentions
2014
Scholarly publications
Dastani, M., Floor, C., & Meyer, J-J. C. (2014). Programming Agents with Emotions. In T. Bosse, J. Broekens, J. Dias, & J. van der Zwaan (Eds.), Emotion Modeling, Towards Pragmatic Computational Models of Affective Processes (pp. 57-75). (Lecture Notes in Artificial Intelligence; Vol. 8750). Springer. https://doi.org/10.1007/978-3-319-12973-0_4
Zee, M. V., Dastani, M., Shoham, Y., & Torre, L. V. D. (2014). Collective Intention Revision from a Database Perspective. In Collective Intentionality Conference http://icr.uni.lu/marc/publications/ci2014.pdf
Fisher, M., Torre, L. V. D., Dastani, M., & Governatori, G. (2014). Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). Journal of Logic and Computation, 24(6), 1251-1252. https://doi.org/10.1093/logcom/ext075
2013
Scholarly publications
Ziafati, P., Voos, H., van der Torre, L., Dastani, M., & Meyer, J-J. C. (2013). A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software (Extended Abstract). In D. Brugali, N. Hochgeschwender, & R. Philippsen (Eds.), Proc. ICRA2013 Workshop on Software Development and Integration in Robotics (SDIR-VIII) (pp. 63-64)
2012
Scholarly publications
Dastani, M., Meyer, J-J. C., & Tinnemeier, N. (2012). Programming Norm Change. Journal of Applied Non-Classical Logic, 22((1-2)), 151-180.
2010
Scholarly publications
Dastani, M., Hindriks, K. V., & Meyer, J-J. C. (2010). Specification and Verification of Multi-Agent Systems. Springer.