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 | 116 | 2001 |

Normative multi-agent systems G Andrighetto, G Governatori, P Noriega, LWN van der Torre Normative Multi-Agent Systems 4, 2013 | 113 | 2013 |

Programming norm-aware agents N Alechina, M Dastani, B Logan Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 79 | 2012 |

A complete and decidable logic for resource-bounded agents N Alechina, B Logan, M Whitsey Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 72 | 2004 |

Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011 | 62 | 2011 |

A modal perspective on path constraints N Alechina, S Demri, M De Rijke Journal of Logic and Computation 13 (6), 939-956, 2003 | 57 | 2003 |

Resource-bounded alternating-time temporal logic. N Alechina, B Logan, NH Nga, A Rakib AAMAS 10, 481-488, 2010 | 52 | 2010 |

Reachability logic: An efficient fragment of transitive closure logic N Alechina, N Immerman Logic Journal of the IGPL 8 (3), 325-337, 2000 | 50 | 2000 |

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 | 45 | 2007 |

Reasoning about normative update N Alechina, M Dastani, B Logan Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 41 | 2013 |

Modal quantifiers NA Alechina Institute for Logic, Language and Computation, 1995 | 38 | 1995 |

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 | 36 | 2012 |

Norm approximation for imperfect monitors N Alechina, M Dastani, B Logan | 35 | 2014 |

The dynamics of syntactic knowledge T Ågotnes, N Alechina Journal of Logic and Computation 17 (1), 83-116, 2007 | 33 | 2007 |

Ascribing beliefs to resource bounded agents N Alechina, B Logan Proceedings of the first international joint conference on Autonomous agents …, 2002 | 32 | 2002 |

Belief revision for AgentSpeak agents N Alechina, RH Bordini, JF Hübner, M Jago, B Logan Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 31 | 2006 |

A* with bounded costs B Logan, N Alechina AAAI/IAAI, 444-449, 1998 | 31 | 1998 |

Resource-bounded belief revision and contraction N Alechina, M Jago, B Logan International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005 | 30 | 2005 |

Syntax vs. semantics on finite structures N Alechina, Y Gurevich Structures in logic and computer science, 14-33, 1997 | 27 | 1997 |

Modal quantification over structured domains J van Benthem, N Alechina Institute for Logic, Language and Computation, 1993 | 27* | 1993 |