Natasha Alechina

Open University Netherlands; University of Utrecht

15 papers in the IJCAI proceedings

IJCAI 2025

Synthesising Minimum Cost Dynamic Norms

with Brian Logan, Giuseppe Perelli

doi:10.24963/ijcai.2025/1

Details PDF

IJCAI 2024

Intention Progression with Temporally Extended Goals

with Yuan Yao, Brian Logan

doi:10.24963/ijcai.2024/33

Details PDF

Revising Beliefs and Intentions in Stochastic Environments

with Nima Motamed, Mehdi Dastani, Dragan Doder

doi:10.24963/ijcai.2024/389

Details PDF

IJCAI 2023

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

with Davide Dell'Anna, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan

doi:10.24963/ijcai.2023/773

Details PDF

Multi-Agent Intention Recognition and Progression

with Michael Dann, Yuan Yao, Brian Logan, Felipe Meneguzzi, John Thangarajah

doi:10.24963/ijcai.2023/11

Details PDF

Probabilistic Temporal Logic for Reasoning about Bounded Policies

with Nima Motamed, Mehdi Dastani, Dragan Doder, Brian Logan

doi:10.24963/ijcai.2023/367

Details PDF

IJCAI 2022

Multi-Agent Intention Progression with Reward Machines

with Michael Dann, Yuan Yao, Brian Logan, John Thangarajah

doi:10.24963/ijcai.2022/31

Details PDF

IJCAI 2020

A Logic of Directions

with Heshan Du, Anthony G. Cohn

doi:10.24963/ijcai.2020/235

Details PDF

Intention Progression under Uncertainty

with Yuan Yao, Brian Logan, John Thangarajah

doi:10.24963/ijcai.2020/2

Details PDF

IJCAI 2018

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)

with Joseph Y. Halpern, Ian A. Kash, Brian Logan

doi:10.24963/ijcai.2018/781

Details PDF

IJCAI 2016

Verifying Existence of Resource-Bounded Coalition Uniform Strategies

with Mehdi Dastani, Brian Logan

Details PDF

IJCAI 2015

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

with Nils Bulling, Brian Logan, Nguyen Hoang Nga

Details PDF

Symbolic Model Checking for One-Resource RB+-ATL

with Brian Logan, Nguyen Hoang Nga, Franco Raimondi

Details PDF

IJCAI 2013

Reasoning about Normative Update

with Mehdi Dastani, Brian Logan

Details PDF

IJCAI 2009

A Logic for Coalitions with Bounded Resources

with Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Details PDF