Search results

  • 2025

    Reasoning about group responsibility for exceeding risk threshold in one-shot games

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., Mar 2025, In: Information and Computation. 303, 105257.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • 2024

    Intention Progression with Temporally Extended Goals

    Yao, Y., Alechina, N. & Logan, B., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 292-301 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Maximally Permissive Reward Machines

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings: 27th European Conference on Artificial Intelligence 19–24 October 2024, Santiago de Compostela, Spain . Endriss, U., Melo, F. S., Bach, K., Bugarín-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, Vol. 392. p. 1181-1188 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 392).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024

    Dastani, M. (Editor), Sichman, J. S. (Editor), Alechina, N. (Editor) & Dignum, V. (Editor), 2024, Association for Computing Machinery (ACM). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

    Research output: Book/ReportBook editingAcademic

  • Pure-Past Action Masking

    Varricchione, G., Alechina, N. A., Dastani, M., De Giacomo, G., Logan, B. & Perelli, G., 25 Mar 2024, Proceedings of the 38th AAAI International Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 19 ed. Association for the Advancement of Artificial Intelligence, Vol. 38. p. 21646-21655 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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: Main Track. Larson, K. (ed.). p. 3513-3522 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Run-time Monitoring for Robot-Assisted Surgery

    Gogoladze, K., Alechina, N., Hu, Z. J., Xu, H., van Jaarsveld, R. & Ruurda, J. P., 2024, OVERLAY 2024. CEUR, p. 127-133 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2023

    A Logic of East and West

    Du, H., Alechina, N., Farjudian, A., Logan, B., Zhou, C. & Cohn, A. G., 2023, In: Journal of Artificial Intelligence Research. 76, p. 527-565 39 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • 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.). Darmstadt: International Joint Conferences on Artificial Intelligence, p. 6868-6872

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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.). p. 867-874 (Frontiers in Artificial Intelligence and Applications, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Dynamics of Causal Dependencies in Multi-agent Settings.

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, Revised Selected Papers. Ciortea, A., Dastani, M. & Luo, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-112 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14378 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Intention Progression with Maintenance Goals

    Wu, D., Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2023, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. Vol. 2023-May. p. 2400-2402 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Multi-Agent Intention Recognition and Progression

    Dann, M., Yao, Y., Alechina, N., Logan, B., Meneguzzi, F. & Thangarajah, J., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 91-99 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Preface

    Alechina, N., Herzig, A. & Liang, F., 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14329 LNCS, p. v-vi

    Research output: Contribution to journalEditorialAcademic

  • 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.). p. 3296-3303 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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. Malvone, V. & Murano, A. (eds.). p. 328–344 (Lecture Notes in Computer Science, Vol. 14282).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2022

    A Probabilistic Finite Temporal Logic for Policies and Intentions

    Motamed, N., Alechina, N., Dastani, M. & Doder, D., 1 Aug 2022, International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022), 25/08/22.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

    Alechina, N., Giacomo, G. D., Logan, B. & Perelli, G., 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. p. 12-21

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Data-Driven Revision of Conditional Norms in Multi-Agent Systems

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M. & Logan, B., 2022, In: Journal of Artificial Intelligence Research. 75, p. 1549-1593 45 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers

    Alechina, N. (Editor), Baldoni, M. (Editor) & Logan, B. (Editor), 10 Mar 2022, (EMAS: International Workshop on Engineering Multi-Agent Systems - Workshop Series). (EMAS: International Workshop on Engineering Multi-Agent Systems - Workshop Series).

    Research output: Book/ReportBook editingAcademic

  • Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power

    Ågotnes, T., Alechina, N. & Galimullin, R., Jun 2022, In: Journal of Logic, Language and Information. 31, 2, p. 141-166 26 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • Multi-Agent Intention Progression with Reward Machines.

    Dann, M., Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). De Raedt, L. & De Raedt, L. (eds.). p. 215-222

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Preface

    Alechina, N., Baldoni, M. & Logan, B., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13190 LNAI, p. v-vi

    Research output: Contribution to journalEditorialAcademic

  • 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. Ajmeri, N., Morris Martin, A. & Savarimuthu, B. T. (eds.). p. 38-53

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2021

    Intention Progression using Quantitative Summary Information

    Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2021, 20th International Conference on Autonomous Agents and Multiagent Systems, 3/05/21.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2020

    A Logic of Directions

    Du, H., Alechina, N. & Cohn, A. G., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Bessiere, C. (ed.). p. 1695-1702

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Editorial Foreword

    Alechina, N. & Goranko, V., 1 Mar 2020, In: Journal of Logic, Language and Information. 29, 1

    Research output: Contribution to journalEditorialAcademic

    Open Access
  • Intention Progression under Uncertainty

    Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Bessiere, C. (ed.). p. 10-16

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Parameterised Resource-Bounded ATL

    Alechina, N., Demri, S. & Logan, B., 16 Jun 2020, Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. p. 7040-7046

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

    Alechina, N. & Logan, B., 2020, Fields of Logic and Computation III. p. 9-29

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2019

    Coalition logic with individual, distributed and common knowledge

    Ågotnes, T. & Alechina, N., Nov 2019, In: Journal of Logic and Computation. 29, 7, p. 1041-1069 29 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • 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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Group Announcement Logic with Distributed Knowledge.

    Galimullin, R., Ågotnes, T. & Alechina, N., 2019, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (eds.). Springer, p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Groups versus coalitions: On the relative expressivity of gal and cal

    French, T., Galimullin, R., Van Ditmarsch, H. & Alechina, N., 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. International Foundation for Autonomous Agents and Multiagent Systems , p. 953-961 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Public Group and Trust in Doxastic Logic

    Perrotin, E., Galimullin, R., Canu, Q. & Alechina, N., 2019, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (eds.). Springer, p. 199-213 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Qualitative spatial logic over 2d euclidean spaces is not finitely axiomatisable

    Du, H. & Alechina, N., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 2776-2783 8 p. ( AAAI Conference and Symposium Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Unbounded orchestrations of transducers for manufacturing

    Alechina, N., Brázdil, T., de Giacomo, G., Felli, P., Logan, B. & Vardi, M. Y., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 2646-2653 8 p. ( AAAI Conference and Symposium Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2018

    Alternating-time temporal logic with resource bounds

    Nguyen, H. N., Alechina, N., Logan, B. & Rakib, A., 7 Jun 2018, In: Journal of Logic and Computation. 28, 4, p. 631-663 33 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • Incentive-compatible mechanisms for norm monitoring in open multi-agent systems

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 1 Jun 2018, In: Journal of Artificial Intelligence Research. 62, p. 433-458 26 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • Incentive-compatible mechanisms for norm monitoring in open multi-agent systems

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5543-5547 5 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 2018, IJCAI. IJCAI Organization, p. 5543-5547 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Intuitionistic modal logic: A 15-year retrospective

    Stewart, C., De Paiva, V. & Alechina, N., 20 Jul 2018, In: Journal of Logic and Computation. 28, 5, p. 873-882 10 p.

    Research output: Contribution to journalReview article

  • Model checking for coalition announcement logic

    Galimullin, R., Alechina, N. & van Ditmarsch, H., 2018, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, 2018, Proceedings. Turhan, A.-Y. & Trollmann, F. (eds.). Springer Verlag, p. 11-23 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11117 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Modeling Norm Specification and Verification in Multiagent Systems

    Alechina, N., Logan, B. & Dastani, M., Apr 2018, In: Journal of applied logics. 5, 2, p. 457-490 34 p., 2.

    Research output: Contribution to journalArticleAcademicpeer-review

  • Norm specification and verification in multi-agent systems

    Alechina, N., Dastani, M. & Logan, B., Apr 2018, In: IfCoLoG Journal of Logics and their Applications. 5, 2, p. 457-489 33 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • On the complexity of resource-bounded logics

    Alechina, N., Bulling, N., Demri, S. & Logan, B., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 69-100 32 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • Preface

    Alechina, N., Nørvåg, K. & Penczek, W., 1 Oct 2018, In: Leibniz International Proceedings in Informatics, LIPIcs. 120

    Research output: Contribution to journalEditorialAcademic

  • Resource logics with a diminishing resource

    Alechina, N. & Logan, B., 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems , p. 1847-1849 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review