N
Natasha Alechina
Researcher at University of Nottingham
Publications - 163
Citations - 2036
Natasha Alechina is an academic researcher from University of Nottingham. The author has contributed to research in topics: Decidability & Model checking. The author has an hindex of 23, co-authored 156 publications receiving 1879 citations. Previous affiliations of Natasha Alechina include Information Technology University & University of Amsterdam.
Papers
More filters
Book ChapterDOI
Categorical and Kripke Semantics for Constructive S4 Modal Logic
TL;DR: Duality results are proved which show how to relate Kripke models to algebraic models and these in turn to the appropriate categorical models for these logics.
Proceedings ArticleDOI
Programming norm-aware agents
TL;DR: It is shown that N-2APL agents are rational in the sense of committing to a set of plans that will achieve the agent's most important goals and obligations by their deadlines while respecting its most important prohibitions.
Proceedings Article
A logic for coalitions with bounded resources
TL;DR: This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL.
Proceedings ArticleDOI
A Complete and Decidable Logic for Resource-Bounded Agents
TL;DR: It is shown that TRL can capture various rule application and conflict resolution strategies that a rule-based agent may employ, and it is proved a general completeness and decidability results for TRL(STEP).
Proceedings ArticleDOI
Resource-bounded alternating-time temporal logic
TL;DR: This paper extends ATL with costs of actions and hence of strategies, and gives a complete and sound axiomatisation of the resulting logic Resource-Bounded ATL (RB-ATL) and an efficient model-checking algorithm for it.