Natasha Alechina

Natasha Alechina

Utrecht University - Utrecht / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1810177
Universiteit Utrecht
person_outline Natasha Alechina's MOST POPULAR ARTICLES
1-) Categorical and Kripke semantics for constructive S4 modal logic Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001
2-) Programming norm-aware agents Proceedings of the 11th International Conference on Autonomous Agents and …, 2012
3-) Logic for coalitions with bounded resources Journal of Logic and Computation 21 (6), 907-937, 2011
4-) A complete and decidable logic for resource-bounded agents AAMAS 4, 606-613, 2004
5-) Resource-bounded alternating-time temporal logic Proceedings of the 9th International Conference on Autonomous Agents and …, 2010