Mehdi Dastani MM

View Scopus Profile

Mehdi Dastani

prof. dr.

Filter
Conference contribution

Search results

  • 2025

    Extending idioms for Bayesian network construction with qualitative constraints

    Onnes, A., Dastani, M., Dobbe, R. & Renooij, S., 5 Jan 2025, Information Processing and Management of Uncertainty in Knowledge-Based Systems: IPMU 2024. Lesot, M.-J., Vieira, S., Reformat, M. Z., Paulo Carvalho, J., Batista, F., Bouchon-Meunier, B. & Yager, R. R. (eds.). 1 ed. Springer, p. 415-426 12 p. (Lecture Notes in Networks and Systems; vol. 1174).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2024

    Bootstrapped Policy Learning for Task-oriented Dialogue through Goal Shaping

    Zhao, Y., Niu, B., Dastani, M. & Wang, S., 1 Nov 2024, Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Miami, Florida, USA: Association for Computational Linguistics (ACL), p. 4566-4580

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Causal Entropy and Information Gain for Measuring Causal Control

    Simoes, F. N. F. Q., Dastani, M. & van Ommen, T., 2024, Artificial Intelligence. ECAI 2023 International Workshops - XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, 2023, Proceedings. Nowaczyk, S., Biecek, P., Chung, N. C., Vallati, M., Skruch, P., Jaworek-Korjakowska, J., Parkinson, S., Nikitas, A., Atzmüller, M., Kliegr, T., Schmid, U., Bobek, S., Lavrac, N., Peeters, M., van Dierendonck, R., Robben, S., Mercier-Laurent, E., Kayakutlu, G., Owoc, M. L., Mason, K., Wahid, A., Bruno, P., Calimeri, F., Cauteruccio, F., Terracina, G., Wolter, D., Leidner, J. L., Kohlhase, M. & Dimitrova, V. (eds.). Springer, p. 216-231 16 p. (Communications in Computer and Information Science; vol. 1947).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games

    Ansari, S. G., Prasetya, I. S. W. B., Dastani, M., Dignum, F. & Keller, G., 27 May 2024, Proceedings - 2024 IEEE Conference on Software Testing, Verification and Validation, ICST 2024. IEEE, p. 13-24 12 p. (Proceedings - 2024 IEEE Conference on Software Testing, Verification and Validation, ICST 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Formal Specification of Actual Trust in Multiagent Systems

    Akintunde, M., Yazdanpanah, V., Salehi Fathabadi, A., Cirstea, C., Dastani, M. & Moreau, L., 5 Jun 2024, HHAI 2024: Hybrid Human AI Systems for the Social Good - Proceedings of the 3rd International Conference on Hybrid Human-Artificial Intelligence. Lorig, F., Tucker, J., Lindstrom, A. D., Dignum, F., Murukannaiah, P., Theodorou, A. & Yolum, P. (eds.). IOS Press, p. 22-35 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 386).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Learning Reward Structure with Subtasks in Reinforcement Learning

    Han, S., Dastani, M. & Wang, S., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings. Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press, p. 2282-2289 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Maximally Permissive Reward Machines

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 16 Oct 2024, European Conference on Artificial Intelligence. IOS Press, p. 1181-1188 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 392: ECAI 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Revising Beliefs and Intentions in Stochastic Environments

    Motamed, N., Alechina, N., Dastani, M. & Doder, D., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). International Joint Conferences on Artificial Intelligence Organization, p. 3513-3522 10 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2023

    Bayesian network conflict detection for normative monitoring of black-box systems

    Onnes, A., Dastani, M. & Renooij, S., May 2023, Proceedings of the Thirty-Sixth International FLAIRS Conference. Florida Online Journals, Vol. 36. 5 p. (Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Bayesian network conflict detection for normative monitoring of black-box systems (short paper)

    Onnes, A., Dastani, M. & Renooij, S., 2023, Proceedings of the Workshops at the Second International Conference on Hybrid Human-Artificial Intelligence. Murukannaiah, P. K. & Hirzle, T. (eds.). CEUR-WS.org, Vol. 3456. p. 96-104

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). IJCAI Organization, p. 6868-6872 5 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • Dynamic Causality

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 28 Sept 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press, Vol. 372. p. 867-874 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Group Responsibility for Exceeding Risk Threshold

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 322-332 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Model-Based Sparse Communication in Multi-Agent Reinforcement Learning

    Han, S., Dastani, M. & Wang, S., 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2023-May. p. 439–447 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Normative Monitoring Using Bayesian Networks: Defining a Threshold for Conflict Detection

    Onnes, A., Renooij, S. & Dastani, M., 19 Nov 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings. Bouraoui, Z. & Vesic, S. (eds.). Springer, p. 149–159 11 p. (Lecture Notes in Computer Science; vol. 14294).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Probabilistic Temporal Logic for Reasoning about Bounded Policies

    Motamed, N., Alechina, N., Dastani, M., Doder, D. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). IJCAI Organization, p. 3296-3303 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 7 Sept 2023, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Proceedings: 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023, Proceedings. Malvone, V. & Murano, A. (eds.). p. 328–344 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14282 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2022

    An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing

    Ansari, S. G., Prasetya, I. S. W. B., Dastani, M., Dignum, F. & Keller, G., 2022, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Revised Selected Papers. Alechina, N., Baldoni, M. & Logan, B. (eds.). Springer, p. 156-174 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13190 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • An online agent-based search approach in automated computer game testing with model construction

    Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Dignum, F. & Dastani, M., 7 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Kiss, A., Marin, B. & Saadatmand, M. (eds.). Association for Computing Machinery, p. 45-52 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents

    Bhattacharya, P., de Mooij, A. J., Dell’Anna, D., Dastani, M., Logan, B. & Swarup, S., 2022, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Revised Selected Papers. Alechina, N., Baldoni, M. & Logan, B. (eds.). Springer, p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13190 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation

    de Mooij, J., Dell'anna, D., Bhattacharya, P., Dastani, M., Logan, B. & Swarup, S., 15 Jan 2022, Multi-Agent-Based Simulation XXII. MABS 2021.. Van Dam, K. H. & Verstaevel, N. (eds.). Springer, p. 99-112 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13128 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • The Complexity of Norm Synthesis and Revision.

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Löffler, M. & Logan, B., 2022, 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. Ajmeri, N., Martin, A. M. & Savarimuthu, B. T. R. (eds.). Springer, p. 38-53 16 p. (Lecture Notes in Computer Science ; vol. 13549).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2021

    Exploiting Transitivity for Entity Matching

    Baas, J., Dastani, M. & Feelders, A., 31 Jul 2021, The Semantic Web: ESWC 2021 Satellite Events: Virtual Event, June 6–10, 2021, Revised Selected Papers. Verborgh, R., Dimou, A., Hogan, A., d'Amato, C., Tiddi, I., Bröring, A., Mayer, S., Ongenae, F., Tommasini, R. & Alam, M. (eds.). Springer, p. 109-114 (Lecture Notes in Computer Science; vol. 12739).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Using an Agent-based Approach for Robust Automated Testing of Computer Games

    Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Dignum, F., Dastani, M. & Keller, G., 23 Aug 2021, A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation. Association for Computing Machinery, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2020

    A multiagent framework for querying distributed digital collections

    de Mooij, J., Kurtan, C., Baas, J. & Dastani, M., 2020, ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence. Rocha, A., Steels, L. & van den Herik, J. (eds.). SciTePress, Vol. 1. p. 515-521 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • An ideal team is more than a team of ideal agents

    Kurtan, C., Yolum, P. & Dastani, M., 2020, ECAI 2020 : Proceedings of the 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 . De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarín, A. & Lang, J. (eds.). Berlin, IOS Press, p. 43-50 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Aplib: An agent programming library for testing games

    Prasetya, I. S. W. B. & Dastani, M., 1 Jan 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2020-May. p. 1972-1974 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Aplib: Tactical Agents for Testing Computer Games

    Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E., Dignum, F. & Kifetew, F., 2020, Engineering Multi-Agent Systems : 8th International Workshop , EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers. Baroglio, C., Hubner, J. F. & Winikoff, M. (eds.). Springer, Vol. 12589. p. 21-41 18 p. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Public Sentiment on Governmental COVID-19 Measures in Dutch Social Media

    Wang, S., Schraagen, M., Tjong Kim Sang, E. & Dastani, M., 16 Nov 2020, Proceedings of the 1st Workshop on NLP for COVID-19 (Part 2) at the 2020 Conference on Empirical Methods in Natural Language Processing. Verspoor, K., Bretonnel Cohen, K., Conway, M., de Bruijn, B., Dredze, M., Mihalcea, R. & Wallace, B. (eds.). Association for Computational Linguistics, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2019

    Decidable Model Checking with Uniform Strategies

    Alechina, N., Dastani, M. & Logan, B., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. p. 170-178 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Runtime revision of norms and sanctions based on agent preferences

    Dell'Anna, D., Dastani, M. & Dalpiaz, F., 2019, Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems: (AAMAS 2019). International Foundation for Autonomous Agents and Multiagent Systems, Vol. 3. p. 1609-1617 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Strategic Responsibility Under Imperfect Information

    Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N. & Logan, B., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. p. 592-600 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2018

    A SUMO Extension for Norm based Traffic Control Systems

    Baumfalk, J., Dastani, M. M., Poot, B. & Testerink, B. J. G., 2018, Simulating Urban Traffic Scenarios: 3rd SUMO Conference 2015 Berlin, Germany. Behrisch, M. & Weber, M. (eds.). Springer, p. 55–82

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Runtime Norm Revision Using Bayesian Networks

    Dell’Anna, D., Dastani, M. & Dalpiaz, F., 1 Jan 2018, PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, 2018, Proceedings. Springer, p. 279-295 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11224 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Validating Goal Models via Bayesian Networks

    Dell'Anna, D., Dalpiaz, F. & Dastani, M., 2018, Proceedings of the International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'18).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2017

    Norm Enforcement as Supervisory Control

    Dastani, M. M., Sardini, S. & Yazdanpanah, V., 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings. Springer, p. 330-348 (Lecture Notes in Artificial Intelligence; vol. 10621).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires

    Dastani, M., Lorini, E., Meyer, J. J. & Pankov, A., 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30-November 3, 2017, Proceedings. Cham, Switzerland: Springer, Vol. 10621. p. 15-33 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10621).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2016

    A Dynamic Logic of Norm Change

    Knobbout, M., Dastani, M. M. & Meyer, J. J. C., 2016, Proc. ECAI2016 (22nd European Conference on Artificial Intelligence, The Hague, The Netherlands). Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). IOS Press, p. 886-894

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • A Dynamic Logic of Norm Change (ext. abstract)

    Knobbout, M., Dastani, M. M. & Meyer, J. J. C., 2016, Proc. 28th Benelux Conference on Aritificial Intelligence . Bosse, T. & Bredeweg, B. (eds.). p. 142-143

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Commitments and Interaction Norms in Organisations

    Dastani, M. M., Torre, L. W. N. V. D. & Yorke-Smith, N., 2016, Proceedings of the fourteenth International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016). Association for Computing Machinery, p. 1261-1262

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Distant group responsibility in multi-agent systems

    Yazdanpanah, V. & Dastani, M., 2016, PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference Phuket, Thailand, August 22–26, 2016 Proceedings. Baldoni, M., Chopra, A. K., Cao Son, T., Hiryama, K. & Torroni, P. (eds.). Springer, p. 261-278 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9862).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Distributed Controllers for Norm Enforcement

    Testerink, B. J. G., Dastani, M. M. & Bulling, N., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence 29 August–2 September 2016, The Hague, The Netherlands. Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). IOS Press, p. 751-759 (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Formal Frameworks for Verifying Normative Multi-agent Systems

    Knobbout, M., Dastani, M. M. & Meyer, J. J. C., 2016, Theory and Practice of Formal Methods (Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday); LNCS 9660. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Switzerland: Springer, p. 294-308 (Lecture Notes in Computer Science ; vol. 9660).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Quantified degrees of group responsibility

    Yazdanpanah, V. & Dastani, M., 2016, 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. Dignum, V., Noriega, P., Sensoy, M. & Sichman, J. S. (eds.). Springer, p. 418-436 19 p. (Lecture Notes in Computer Science; vol. 9628)(Lecture Notes in Artificial Intelligence )(Lecture Notes in Bioinformatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Quantified group responsibility in multi-agent systems

    Yazdanpanah, V. & Dastani, M., 2016, Proceedings of the 17th Workshop "From Objects to Agents" (WOA 2016). p. 44-49 6 p. (CEUR-WS.org; vol. 1664).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Security and robustness for collaborative monitors

    Testerink, B., Bulling, N. & Dastani, M., 2016, Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. Springer, Vol. 9628. p. 376-395 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9628).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Verifying existence of resource-bounded coalition uniform strategies

    Alechina, N., Dastani, M. & Logan, B., 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York, New York, USA 9–15 July 2016. Kambhampati, S. (ed.). AAAI Press, p. 24-30 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2015

    AGM Revision of Beliefs about Action and Time

    Zee, M. V., Doder, D., Dastani, M. & Torre, L. W. N. V. D., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 3250-3256 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • A Model for Collaborative Runtime Verification

    Testerink, B., Bulling, N. & Dastani, M., 2015, AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, p. 1781-1782 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Consistency Conditions for Beliefs and Intentions

    Zee, M. V., Dastani, M., Doder, D. & Torre, L. V. D., 1 Mar 2015, Proceedings of the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review