| Categorical and Kripke semantics for constructive S4 modal logic N Alechina, M Mendler, V De Paiva, E Ritter International workshop on computer science logic, 292-307, 2001 | 174 | 2001 |
| Programming norm-aware agents N Alechina, M Dastani, B Logan Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 105 | 2012 |
| Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011 | 96 | 2011 |
| A complete and decidable logic for resource-bounded agents N Alechina, B Logan, M Whitsey Autonomous Agents and Multiagent Systems, International Joint Conference on …, 2004 | 89 | 2004 |
| Resource-bounded alternating-time temporal logic N Alechina, B Logan, NH Nga, A Rakib Proceedings of the 9th International Conference on Autonomous Agents and …, 2010 | 84 | 2010 |
| Strategic responsibility under imperfect information V Yazdanpanah, M Dastani, N Alechina, B Logan, W Jamroga 18th International Conference on Autonomous Agents and Multiagent Systems …, 2019 | 71 | 2019 |
| A modal perspective on path constraints N Alechina, S Demri, M de Rijke Journal of Logic and Computation 13 (6), 939-956, 2003 | 58 | 2003 |
| Reasoning about Normative Update. N Alechina, M Dastani, B Logan IJCAI, 20-26, 2013 | 57 | 2013 |
| A logic of agent programs N Alechina, M Dastani, B Logan, JJC Meyer PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 795, 2007 | 52 | 2007 |
| Causality, responsibility and blame in team plans N Alechina, JY Halpern, B Logan arXiv preprint arXiv:2005.10297, 2020 | 51 | 2020 |
| Geospatial information integration for authoritative and crowd sourced road vector data H Du, S Anand, N Alechina, J Morley, G Hart, D Leibovici, M Jackson, ... Transactions in GIS 16 (4), 455-476, 2012 | 51 | 2012 |
| Norm approximation for imperfect monitors N Alechina, M Dastani, B Logan Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 49 | 2014 |
| Coalition logic with individual, distributed and common knowledge T Ågotnes, N Alechina Journal of Logic and Computation 29 (7), 1041-1069, 2019 | 47 | 2019 |
| A method for matching crowd‐sourced and authoritative geospatial data H Du, N Alechina, M Jackson, G Hart Transactions in GIS 21 (2), 406-427, 2017 | 46 | 2017 |
| Reachability logic: An efficient fragment of transitive closure logic N Alechina, N Immerman Logic Journal of the IGPL 8 (3), 325-337, 2000 | 46 | 2000 |
| The dynamics of syntactic knowledge T Ågotnes, N Alechina Journal of Logic and Computation 17 (1), 83-116, 2007 | 43 | 2007 |
| Ascribing beliefs to resource bounded agents N Alechina, B Logan Proceedings of the first international joint conference on Autonomous agents …, 2002 | 42 | 2002 |
| Modal quantifiers N Alechina University of Amsterdam, 1995 | 38 | 1995 |
| Verifying time, memory and communication bounds in systems of reasoning agents N Alechina, B Logan, HN Nguyen, A Rakib Synthese 169 (2), 385-403, 2009 | 37 | 2009 |
| Resource-bounded belief revision and contraction N Alechina, M Jago, B Logan International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005 | 36 | 2005 |
