Spremljaj
Natasha Alechina
Natasha Alechina
Department of Information and Computing Sciences, University of Utrecht
Preverjeni e-poštni naslov na uu.nl
Naslov
Navedeno
Navedeno
Leto
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
1602001
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
872004
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
832011
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
722010
A modal perspective on path constraints
N Alechina, S Demri, M de Rijke
Journal of Logic and Computation 13 (6), 939-956, 2003
592003
Reasoning about normative update
N Alechina, M Dastani, B Logan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
532013
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
502007
Norm approximation for imperfect monitors
N Alechina, M Dastani, B Logan
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
482014
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
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
442019
The dynamics of syntactic knowledge
T Ågotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
412007
Modal quantifiers
N Alechina
University of Amsterdam, 1995
401995
Causality, responsibility and blame in team plans
N Alechina, JY Halpern, B Logan
arXiv preprint arXiv:2005.10297, 2020
392020
Coalition logic with individual, distributed and common knowledge
T Ågotnes, N Alechina
Journal of Logic and Computation 29 (7), 1041-1069, 2019
392019
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
392017
Ascribing beliefs to resource bounded agents
N Alechina, B Logan
Proceedings of the first international joint conference on Autonomous agents …, 2002
362002
A* with bounded costs
B Logan, N Alechina
AAAI/IAAI, 444-449, 1998
351998
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Synthese 169, 385-403, 2009
342009
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20