Follow
Natasha Alechina
Natasha Alechina
Department of Information and Computing Sciences, University of Utrecht
Verified email at uu.nl
Title
Cited by
Cited by
Year
Categorical and Kripke semantics for constructive S4 modal logic
N Alechina, M Mendler, V Paiva, E Ritter
International Workshop on Computer Science Logic, 292-307, 2001
1282001
Programming norm-aware agents
N Alechina, M Dastani, B Logan
Proceedings of the 11th International Conference on Autonomous Agents andá…, 2012
912012
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
812004
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
752011
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
622010
A modal perspective on path constraints
N Alechina, S Demri, M De Rijke
Journal of Logic and Computation 13 (6), 939-956, 2003
562003
Reachability logic: An efficient fragment of transitive closure logic
N Alechina, N Immerman
Logic Journal of the IGPL 8 (3), 325-337, 2000
502000
Reasoning about normative update
N Alechina, M Dastani, B Logan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
492013
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
462012
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
Norm approximation for imperfect monitors
N Alechina, M Dastani, B Logan
412014
The dynamics of syntactic knowledge
T ┼gotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
392007
Modal quantifiers
NA Alechina
Institute for Logic, Language and Computation, 1995
381995
Coalition logic with individual, distributed and common knowledge
T ┼gotnes, N Alechina
Journal of Logic and Computation 29 (7), 1041-1069, 2019
362019
Resource-bounded belief revision and contraction
N Alechina, M Jago, B Logan
International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005
342005
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
332006
Ascribing beliefs to resource bounded agents
N Alechina, B Logan
Proceedings of the first international joint conference on Autonomous agentsá…, 2002
332002
A* with bounded costs
B Logan, N Alechina
AAAI/IAAI, 444-449, 1998
331998
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
312017
Syntax vs. semantics on finite structures
N Alechina, Y Gurevich
Structures in logic and computer science, 14-33, 1997
301997
The system can't perform the operation now. Try again later.
Articles 1–20