Natasha Alechina
Natasha Alechina
School of Computer Science, University of Nottingham
Verified email at cs.nott.ac.uk
TitleCited byYear
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
1032001
Normative multi-agent systems
G Andrighetto, G Governatori, P Noriega, LWN van der Torre
Normative Multi-Agent Systems 4, 2013
942013
Programming norm-aware agents
N Alechina, M Dastani, B Logan
Proceedings of the 11th International Conference on Autonomous Agents and …, 2012
752012
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
662004
A modal perspective on path constraints
N Alechina, S Demri, M De Rijke
Journal of Logic and Computation 13 (6), 939-956, 2003
532003
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
502011
Reachability logic: An efficient fragment of transitive closure logic
N Alechina, N Immerman
Logic Journal of the IGPL 8 (3), 325-337, 2000
482000
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
442007
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
392010
Reasoning about normative update
N Alechina, M Dastani, B Logan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
382013
Modal quantifiers
NA Alechina
Institute for Logic, Language and Computation, 1995
351995
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
332012
A* with bounded costs
B Logan, N Alechina
AAAI/IAAI, 444-449, 1998
311998
Norm approximation for imperfect monitors
N Alechina, M Dastani, B Logan
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
302014
The dynamics of syntactic knowledge
T Ågotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
292007
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
292006
Ascribing beliefs to resource bounded agents
N Alechina, B Logan
Proceedings of the first international joint conference on Autonomous agents …, 2002
292002
Syntax vs. semantics on finite structures
N Alechina, Y Gurevich
Structures in logic and computer science, 14-33, 1997
271997
Modal logics for communicating rule-based agents
G Brewka
ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006
252006
Resource-bounded belief revision and contraction
N Alechina, M Jago, B Logan
International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005
252005
The system can't perform the operation now. Try again later.
Articles 1–20