Alechina, Natasha

32 publications

AAAI 2025 Probabilistic Strategy Logic with Degrees of Observability Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan

IJCAI 2025 Synthesising Minimum Cost Dynamic Norms Natasha Alechina, Brian Logan, Giuseppe Perelli

AAAI 2025 Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan

IJCAI 2024 Intention Progression with Temporally Extended Goals Yuan Yao, Natasha Alechina, Brian Logan

AAAI 2024 Pure-past Action Masking Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

IJCAI 2024 Revising Beliefs and Intentions in Stochastic Environments Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder

JAIR 2023 A Logic of East and West Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn

IJCAI 2023 Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract) Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan

IJCAI 2023 Multi-Agent Intention Recognition and Progression Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah

IJCAI 2023 Probabilistic Temporal Logic for Reasoning About Bounded Policies Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan

JAIR 2022 Data-Driven Revision of Conditional Norms in Multi-Agent Systems Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan

IJCAI 2022 Multi-Agent Intention Progression with Reward Machines Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah

IJCAI 2020 A Logic of Directions Heshan Du, Natasha Alechina, Anthony G. Cohn

IJCAI 2020 Intention Progression Under Uncertainty Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah

AAAI 2020 Parameterised Resource-Bounded ATL Natasha Alechina, Stéphane Demri, Brian Logan

AAAI 2019 Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable Heshan Du, Natasha Alechina

AAAI 2019 Unbounded Orchestrations of Transducers for Manufacturing Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi

JAIR 2018 Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

IJCAI 2018 Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract) Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

AAAI 2018 Synthesis of Orchestrations of Transducers for Manufacturing Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan

AAAI 2017 Incentivising Monitoring in Open Normative Systems Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

JAIR 2016 Qualitative Spatial Logics for Buffered Geometries Heshan Du, Natasha Alechina

IJCAI 2016 Verifying Existence of Resource-Bounded Coalition Uniform Strategies Natasha Alechina, Mehdi Dastani, Brian Logan

IJCAI 2015 On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

IJCAI 2015 Symbolic Model Checking for One-Resource RB+-ATL Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

AAAI 2015 Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin

AAAI 2013 Multi-Cycle Query Caching in Agent Programming Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee

IJCAI 2013 Reasoning About Normative Update Natasha Alechina, Mehdi Dastani, Brian Logan

IJCAI 2009 A Logic for Coalitions with Bounded Resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

AAAI 2007 A Logic of Agent Programs Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer

AAAI 2006 Model-Checking Memory Requirements of Resource-Bounded Reasoners Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini

AAAI 1998 A* with Bounded Costs Brian Logan, Natasha Alechina