Natasha Alechina
Natasha Alechina
Department of Information and Computing Sciences, University of Utrecht
Verified email at uu.nl
Title
Cited by
Cited by
Year
Normative multi-agent systems
G Andrighetto, G Governatori, P Noriega, LWN van der Torre
Normative Multi-Agent Systems 4, 2013
1272013
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
1212001
Programming norm-aware agents
N Alechina, M Dastani, B Logan
Proceedings of the 11th International Conference on Autonomous Agents andá…, 2012
882012
A complete and decidable logic for resource-bounded agents
N Alechina, B Logan, M Whitsey
AAMAS 4, 606-613, 2004
782004
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
712011
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
592010
A modal perspective on path constraints
N Alechina, S Demri, M De Rijke
Journal of Logic and Computation 13 (6), 939-956, 2003
572003
Reachability logic: An efficient fragment of transitive closure logic
N Alechina, N Immerman
Logic Journal of the IGPL 8 (3), 325-337, 2000
492000
Reasoning about normative update
N Alechina, M Dastani, B Logan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
462013
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
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
422012
Norm approximation for imperfect monitors
N Alechina, M Dastani, B Logan
Proceedings of the 2014 international conference on Autonomous agents andá…, 2014
382014
Modal quantifiers
NA Alechina
Institute for Logic, Language and Computation, 1995
381995
The dynamics of syntactic knowledge
T ┼gotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
372007
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
321998
Resource-bounded belief revision and contraction
N Alechina, M Jago, B Logan
International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005
312005
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
302006
Epistemic coalition logic: completeness and complexity
T ┼gotnes, N Alechina
Proceedings of the 11th International Conference on Autonomous Agents andá…, 2012
292012
Decidable Model-Checking for a Resource Logic with Production of Resources.
N Alechina, B Logan, HN Nguyen, F Raimondi
ECAI 14, 9-14, 2014
282014
The system can't perform the operation now. Try again later.
Articles 1–20