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 logicN Alechina, M Mendler, V Paiva, E RitterInternational Workshop on Computer Science Logic, 292-307, 20011362001
2-) Programming norm-aware agentsN Alechina, M Dastani, B LoganProceedings of the 11th International Conference on Autonomous Agents and …, 2012952012
3-) A complete and decidable logic for resource-bounded agentsN Alechina, B Logan, M WhitseyAAMAS 4, 606-613, 2004862004
4-) Logic for coalitions with bounded resourcesN Alechina, B Logan, HN Nguyen, A RakibJournal of Logic and Computation 21 (6), 907-937, 2011852011
5-) Resource-bounded alternating-time temporal logicN Alechina, B Logan, NH Nga, A RakibProceedings of the 9th International Conference on Autonomous Agents and …, 2010772010