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 De Paiva, E Ritter
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annualá…, 2001
1542001
Programming norm-aware agents
N Alechina, M Dastani, B Logan
Proceedings of the 11th International Conference on Autonomous Agents andá…, 2012
972012
A complete and decidable logic for resource-bounded agents
N Alechina, B Logan, M Whitsey
AAMAS 4, 606-613, 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
802011
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
692010
A modal perspective on path constraints
N Alechina, S Demri, M de Rijke
Journal of Logic and Computation 13 (6), 939-956, 2003
582003
Reasoning about normative update
N Alechina, M Dastani, B Logan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
522013
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
482012
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
472007
Norm approximation for imperfect monitors
N Alechina, M Dastani, B Logan
462014
Strategic responsibility under imperfect information
V Yazdanpanah, M Dastani, N Alechina, B Logan, W Jamroga
Proceedings of the 18th International Conference on Autonomous Agents andá…, 2019
412019
The dynamics of syntactic knowledge
T ┼gotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
402007
Causality, responsibility and blame in team plans
N Alechina, JY Halpern, B Logan
arXiv preprint arXiv:2005.10297, 2020
392020
Modal quantifiers
N Alechina
University of Amsterdam, 1995
391995
Coalition logic with individual, distributed and common knowledge
T ┼gotnes, N Alechina
Journal of Logic and Computation 29 (7), 1041-1069, 2019
382019
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
372017
A* with bounded costs
B Logan, N Alechina
AAAI/IAAI, 444-449, 1998
351998
Resource-bounded belief revision and contraction
N Alechina, M Jago, B Logan
Declarative Agent Languages and Technologies III: Third Internationalá…, 2006
342006
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Synthese 169, 385-403, 2009
332009
The system can't perform the operation now. Try again later.
Articles 1–20