Natasha Alechina
21 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🏃 Academic Marathon (12) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐣 Hot Topic Early Bird
🌍
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
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
AAAI 2025
Probabilistic Strategy Logic with Degrees of Observability
AAAI 2025
Synthesising Minimum Cost Dynamic Norms
IJCAI 2025
Pure-Past Action Masking
AAAI 2024
Revising Beliefs and Intentions in Stochastic Environments
IJCAI 2024
Intention Progression with Temporally Extended Goals
IJCAI 2024
Multi-Agent Intention Recognition and Progression
IJCAI 2023
Probabilistic Temporal Logic for Reasoning about Bounded Policies
IJCAI 2023
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)
IJCAI 2023
Multi-Agent Intention Progression with Reward Machines
IJCAI 2022
Intention Progression under Uncertainty
IJCAI 2020
A Logic of Directions
IJCAI 2020
Parameterised Resource-Bounded ATL
AAAI 2020
Unbounded Orchestrations of Transducers for Manufacturing
AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
AAAI 2019
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)
IJCAI 2018
Verifying Existence of Resource-Bounded Coalition Uniform Strategies
IJCAI 2016
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
IJCAI 2015
Symbolic Model Checking for One-Resource RB+-ATL
IJCAI 2015
Reasoning about Normative Update
IJCAI 2013