Natasha Alechina
22 papers · 2013–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (31) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π€
Dynamic Duo
(17)
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
π
Renaissance Researcher
(6)
ποΈ
Keyword Collector
(85)
Venues
Top co-authors
Research topics
Artificial Intelligence
(15)
Core AI
(15)
Knowledge & Reasoning
(7)
Machine Learning
(7)
Reasoning
(7)
Mathematics & Optimization
(5)
Optimization & Theory
(5)
Optimization
(4)
Learning Types
(3)
Computer Science
(2)
Reinforcement Learning
(2)
Bayesian & Probabilistic
(2)
Foundations
(2)
Mathematics
(2)
Methods
(2)
Keywords
multi-agent system
(7)
temporal logic
(4)
model checking
(4)
monte carlo tree search
(3)
formal methods
(3)
euclidean space
(2)
autonomous agent
(2)
belief revision
(2)
intention progression
(2)
intention recognition
(2)
spatial reasoning
(2)
alternating-time temporal logic
(2)
probabilistic temporal logic
(2)
satisfiability problem
(1)
markov decision process
(1)
action prediction
(1)
pareto optimality
(1)
mechanism design
(1)
causal reasoning
(1)
multi-agent planning
(1)
Papers
Abstractions in Causal Models and Game Structures
CLeaR 2026
Rational Revision of Group Intentions
AAAI 2026
Probabilistic Strategy Logic with Degrees of Observability
AAAI 2025
Synthesising Minimum Cost Dynamic Norms
IJCAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
AAAI 2025
Intention Progression with Temporally Extended Goals
IJCAI 2024
Pure-Past Action Masking
AAAI 2024
Revising Beliefs and Intentions in Stochastic Environments
IJCAI 2024
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)
IJCAI 2023
Multi-Agent Intention Recognition and Progression
IJCAI 2023
Probabilistic Temporal Logic for Reasoning about Bounded Policies
IJCAI 2023
Multi-Agent Intention Progression with Reward Machines
IJCAI 2022
A Logic of Directions
IJCAI 2020
Intention Progression under Uncertainty
IJCAI 2020
Parameterised Resource-Bounded ATL
AAAI 2020
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing
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