Natasha Alechina
21 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(12)
πΊοΈ
Taxonomy Completionist
(31)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Renaissance Researcher
(8)
π
Conference Polyglot
(2)
π
Academic Marathon
(12)
π£
Hot Topic Early Bird
π€
Dynamic Duo
(16)
π₯
Unstoppable
(5)
π
Century Club
(19)
π
Conference Pioneer
ποΈ
Keyword Collector
(82)
Conferences
IJCAI (14)
AAAI (7)
Top co-authors
Keywords
multi-agent system
(6)
temporal logic
(4)
model checking
(4)
monte carlo tree search
(3)
formal methods
(3)
autonomous agent
(2)
euclidean space
(2)
intention recognition
(2)
probabilistic temporal logic
(2)
spatial reasoning
(2)
intention progression
(2)
belief revision
(2)
satisfiability problem
(1)
markov decision process
(1)
action prediction
(1)
pareto optimality
(1)
mechanism design
(1)
causal reasoning
(1)
multi-agent planning
(1)
stochastic game
(1)
Papers
Rational Revision of Group Intentions
AAAI 2026
Synthesising Minimum Cost Dynamic Norms
IJCAI 2025
Pure-Past Action Masking
AAAI 2024
Intention Progression under Uncertainty
IJCAI 2020
A Logic of Directions
IJCAI 2020
Parameterised Resource-Bounded ATL
AAAI 2020
Reasoning about Normative Update
IJCAI 2013