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
Journal ArticleDOI
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
Heshan Du,Natasha Alechina +1 more
TL;DR: It is shown that the axiomatisations presented in (Du et al. 2013; Du and Alechina 2016) are not complete for 2D Euclidean spaces and, moreover, the logics are not finitelyAxiomatisable.
Consensus Games (Extended Abstract).
TL;DR: A novel approach to modelling coalition formation in multi-agent systems inspired by thresh- old models in sociology, where agents are willing to form a coalition only if a quorum consensus can be achieved amongst all agents of the coalition.
Journal ArticleDOI
A Logic of East and West
TL;DR: In this article , the authors propose a logic of east and west (LEW) for points in 1D Euclidean space, which formalises primitive direction relations: east (E), west (W) and indeterminate east/west (Iew).