For All Typical. - Natasha Alechina (ECSQARU, 1995)

Correspondence and Completeness for Generalized Quantifiers. - Natasha Alechina; Michiel van Lambalgen (Log. J. IGPL, 1995)

On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. - Natasha Alechina (J. Log. Lang. Inf., 1995)

Interpolation for a Sequent Calculus of Generalized Quantifiers. - Natasha Alechina (TABLEAUX, 1996)

Generalized Quantification as Substructural Logic. - Natasha Alechina; Michiel van Lambalgen (J. Symb. Log., 1996)

Syntax vs. Semantics on Finite Structures. - Natasha Alechina; Yuri Gurevich (Structures in Logic and Computer Science, 1997)

A* with Bounded Costs. - Brian Logan 001; Natasha Alechina (AAAI/IAAI, 1998)

Describing and Quering Semistructured Data: Some Expressiveness Results. - Natasha Alechina; Maarten de Rijke (BNCOD, 1998)

(Modal) Logics for Semistructed Data. - Natasha Alechina (Description Logics, 1999)

Reachability Logic: An Efficient Fragment of Transitive Closure Logic. - Natasha Alechina; Neil Immerman (Log. J. IGPL, 2000)

Functional Dependencies between Variables. - Natasha Alechina (Stud Logica, 2000)

Categorical and Kripke Semantics for Constructive S4 Modal Logic. - Natasha Alechina; Michael Mendler; Valeria de Paiva; Eike Ritter (CSL, 2001)

Path Constraints from a Modal Logic Point of View. - Natasha Alechina; Stéphane Demri; Maarten de Rijke (KRDB, 2001)

Logical Omniscience and the Cost of Deliberation. - Natasha Alechina; Brian Logan 001 (LPAR, 2001)

State Space Search with Prioritised Soft Constraints. - Natasha Alechina; Brian Logan 001 (Appl. Intell., 2001)

Ascribing beliefs to resource bounded agents. - Natasha Alechina; Brian Logan 001 (AAMAS, 2002)

Classifying Sketches of Animals Using an Agent-Based System. - Graham Mackenzie; Natasha Alechina (CAIP, 2003)

A Modal Perspective on Path Constraints. - Natasha Alechina; Stéphane Demri; Maarten de Rijke (J. Log. Comput., 2003)

A Complete and Decidable Logic for Resource-Bounded Agents. - Natasha Alechina; Brian Logan 001; Mark Whitsey (AAMAS, 2004)

Modelling Communicating Agents in Timed Reasoning Logics. - Natasha Alechina; Brian Logan 001; Mark Whitsey (JELIA, 2004)

Resource-Bounded Belief Revision and Contraction. - Natasha Alechina; Mark Jago; Brian Logan 001 (DALT, 2005)

Verifying Bounds on Deliberation Time in Multi-Agent Systems. - Natasha Alechina; Brian Logan 001 (EUMAS, 2005)

Editorial. - Natasha Alechina (J. Log. Lang. Inf., 2005)

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

Logics with an existential modality. - Natasha Alechina; Dmitry Shkatov (Advances in Modal Logic, 2006)

Belief revision for AgentSpeak agents. - Natasha Alechina; Rafael H. Bordini; Jomi Fred Hübner; Mark Jago; Brian Logan 001 (AAMAS, 2006)

Automating Belief Revision for AgentSpeak. - Natasha Alechina; Rafael H. Bordini; Jomi Fred Hübner; Mark Jago; Brian Logan 001 (DALT, 2006)

Knowing Minimum/Maximum n Formulae. - Thomas Ågotnes; Natasha Alechina (ECAI, 2006)

Modal Logics for Communicating Rule-Based Agents. - Natasha Alechina; Mark Jago; Brian Logan 001 (ECAI, 2006)

Semantics for Dynamic Syntactic Epistemic Logics. - Thomas Ågotnes; Natasha Alechina (KR, 2006)

Verifying Space and Time Requirements for Resource-Bounded Agents. - Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan 001; Luciano Serafini (MoChArt, 2006)

A general method for proving decidability of intuitionistic modal logics. - Natasha Alechina; Dmitry Shkatov (J. Appl. Log., 2006)

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

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. - Thomas Ågotnes; Natasha Alechina (TARK, 2007)

The Dynamics of Syntactic Knowledge. - Thomas Ågotnes; Natasha Alechina (J. Log. Comput., 2007)

Reasoning about agent execution strategies. - Natasha Alechina; Brian Logan 001; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS (3), 2008)

Bounded-Resource Reasoning as (Strong or Classical) Planning. - Alexandre Albore; Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Brian Logan 001 (CLIMA, 2008)

Reasoning about Other Agents' Beliefs under Bounded Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (KRAMAS, 2008)

Verifying Time and Communication Costs of Rule-Based Reasoners. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2008)

Verifying Resource Requirements for Distributed Rule-Based Systems. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (RuleML, 2008)

Preference-based belief revision for rule-based agents. - Natasha Alechina; Mark Jago; Brian Logan 001 (Synth., 2008)

Verifying Dribble Agents. - Doan Thu Trang; Brian Logan 001; Natasha Alechina (DALT, 2009)

The ARTS Real-Time Agent Architecture. - Konstantin Vikhorev; Natasha Alechina; Brian Logan 001 (LADS, 2009)

Expressing Properties of Coalitional Ability under Resource Bounds. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (LORI, 2009)

Editorial. - Thomas Ågotnes; Natasha Alechina (J. Log. Lang. Inf., 2009)

A Logic of Situated Resource-Bounded Agents. - Natasha Alechina; Brian Logan 001 (J. Log. Lang. Inf., 2009)

Verifying time, memory and communication bounds in systems of reasoning agents. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (Synth., 2009)

Resource-bounded alternating-time temporal logic. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (AAMAS, 2010)

Syntax and Semantics for Business Rules. - Xiaofan Liu; Natasha Alechina; Brian Logan 001 (KES (4), 2010)

Computationally Grounded Account of Belief and Awareness for AI Agents. - Natasha Alechina; Brian Logan 001 (MALLOW, 2010)

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2010)

Belief ascription under bounded resources. - Natasha Alechina; Brian Logan 001 (Synth., 2010)

Agent programming with priorities and deadlines. - Konstantin Vikhorev; Natasha Alechina; Brian Logan 001 (AAMAS, 2011)

Reasoning about Joint Action and Coalitional Ability in K n with Intersection. - Thomas Ågotnes; Natasha Alechina (CLIMA, 2011)

Reasoning about agent deliberation. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 2011)

Completeness of Epistemic Coalition Logic with Group Knowledge - Thomas Ågotnes; Natasha Alechina (CoRR, 2011)

Logic for coalitions with bounded resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (J. Log. Comput., 2011)

Reasoning about plan revision in BDI agent programs. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (Theor. Comput. Sci., 2011)

Epistemic coalition logic: completeness and complexity. - Thomas Ågotnes; Natasha Alechina (AAMAS, 2012)

Programming norm-aware agents. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (AAMAS, 2012)

Consensus games. - Julian Zappala; Natasha Alechina; Brian Logan 001 (AAMAS, 2012)

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. - Hai H. Nguyen; Natasha Alechina; Brian Logan 001 (Description Logics, 2012)

Query Caching in Agent Programming Languages. - Natasha Alechina; Tristan M. Behrens; Koen V. Hindriks; Brian Logan 001 (ProMAS, 2012)

Matching geospatial ontologies. - Heshan Du; Natasha Alechina; Michael Jackson 005; Glen Hart (OM, 2012)

Reasoning about Plan Revision in Agent Programs. - Natasha Alechina (TIME, 2012)

Modal logics for reasoning about infinite unions and intersections of binary relations. - Natasha Alechina; Philippe Balbiani; Dmitry Shkatov (J. Appl. Non Class. Logics, 2012)

Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data. - Heshan Du; Suchith Anand; Natasha Alechina; Jeremy G. Morley; Glen Hart; Didier G. Leibovici; Mike Jackson 004; J. Mark Ware (Trans. GIS, 2012)

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

Matching Formal and Informal Geospatial Ontologies. - Heshan Du; Natasha Alechina; Mike Jackson 004; Glen Hart (AGILE Conf., 2013)

The Logic of NEAR and FAR. - Heshan Du; Natasha Alechina; Kristin Stock; Michael Jackson 005 (COSIT, 2013)

Computational Models for Normative Multi-Agent Systems. - Natasha Alechina; Nick Bassiliades; Mehdi Dastani; Marina De Vos; Brian Logan 001; Sergio Mera; Andreasa Morris-Martin; Fernando Schapachnik (Normative Multi-Agent Systems, 2013)

'A Is for Art' - My Drawings, Your Paintings. - Min Zhang; Sarah Atkinson; Natasha Alechina; Guoping Qiu (ICIAP Workshops, 2013)

Reasoning about Normative Update. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (IJCAI, 2013)

Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. - Xiaofan Liu; Natasha Alechina; Brian Logan 001 (ISPEC, 2013)

Minimal Preference Change. - Natasha Alechina; Fenrong Liu; Brian Logan 001 (LORI, 2013)

Matching geospatial instances. - Heshan Du; Natasha Alechina; Michael Jackson 005; Glen Hart (OM, 2013)

Logic and Agent Programming Languages. - Natasha Alechina (WoLLIC, 2013)

Norm approximation for imperfect monitors. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (AAMAS, 2014)

Verifying heterogeneous multi-agent programs. - Thu Trang Doan; Yuan Yao 007; Natasha Alechina; Brian Logan 001 (AAMAS, 2014)

Run-time norm compliance in BDI agents. - Jeehang Lee; Julian A. Padget; Brian Logan 001; Daniela Dybalova; Natasha Alechina (AAMAS, 2014)

Fair Allocation of Group Tasks According to Social Norms. - Natasha Alechina; Wiebe van der Hoek; Brian Logan 001 (CLIMA, 2014)

N-Jason: Run-Time Norm Compliance in AgentSpeak(L). - Jeehang Lee; Julian A. Padget; Brian Logan 001; Daniela Dybalova; Natasha Alechina (EMAS@AAMAS, 2014)

Decidable Model-Checking for a Resource Logic with Production of Resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (ECAI, 2014)

A Logic of Part and Whole for Buffered Geometries. - Heshan Du; Natasha Alechina (ECAI, 2014)

Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. - Abba Lawan; Abdur Rakib; Natasha Alechina; Asha Karunaratne (JIST (Workshops & Posters), 2014)

Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone? - Min Zhang; Sarah Atkinson; Guoping Qiu; Natasha Alechina (MoMM, 2014)

Formal Models of Awareness. - Thomas Ågotnes; Natasha Alechina (J. Log. Lang. Inf., 2014)

A Logic for Reasoning About Knowledge of Unawareness. - Thomas Ågotnes; Natasha Alechina (J. Log. Lang. Inf., 2014)

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

Practical Run-Time Norm Enforcement with Bounded Lookahead. - Natasha Alechina; Nils Bulling; Mehdi Dastani; Brian Logan 001 (AAMAS, 2015)

Symbolic Model-checking for Resource-Bounded ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi; Leonardo Mostarda (AAMAS, 2015)

A tool for matching crowd-sourced and authoritative geospatial data. - Heshan Du; Natasha Alechina; Glen Hart; Michael Jackson 005 (ICMCIS, 2015)

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

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

A Comparison of Five HSV Color Selection Interfaces for Mobile Painting Search. - Min Zhang; Guoping Qiu; Natasha Alechina; Sarah Atkinson (INTERACT (2), 2015)

A Preliminary Examination of the User Behavior in Query-by-Drawing Portrait Painting Search on Mobile Devices. - Min Zhang; Guoping Qiu; Natasha Alechina; Sarah Atkinson (MoMM, 2015)

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Franco Raimondi (CoRR, 2015)

Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (AAMAS, 2016)

The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. - Abba Lawan; Abdur Rakib; Natasha Alechina; Asha Karunaratne (BDAS, 2016)

Verifying Systems of Resource-Bounded Agents. - Natasha Alechina; Brian Logan 001 (CiE, 2016)

Verifying Existence of Resource-Bounded Coalition Uniform Strategies. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (IJCAI, 2016)

Expressibility of norms in temporal logic. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (CoRR, 2016)

Decentralised Norm Monitoring in Open Multi-Agent Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (CoRR, 2016)

Qualitative Spatial Logics for Buffered Geometries. - Heshan Du; Natasha Alechina (J. Artif. Intell. Res., 2016)

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

Causality, Responsibility and Blame in Team Plans. - Natasha Alechina; Joseph Y. Halpern; Brian Logan 001 (AAMAS, 2017)

The virtues of idleness: A decidable fragment of resource agent logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (Artif. Intell., 2017)

Coalition and Group Announcement Logic. - Rustam Galimullin; Natasha Alechina (TARK, 2017)

Model-checking for Resource-Bounded ATL with production and consumption of resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (J. Comput. Syst. Sci., 2017)

Fair decomposition of group obligations. - Natasha Alechina; Wiebe van der Hoek; Brian Logan 001 (J. Log. Comput., 2017)

A Method for Matching Crowd-sourced and Authoritative Geospatial Data. - Heshan Du; Natasha Alechina; Michael Jackson 005; Glen Hart (Trans. GIS, 2017)

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

Resource Logics with a Diminishing Resource. - Natasha Alechina; Brian Logan 001 (AAMAS, 2018)

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

Model Checking for Coalition Announcement Logic. - Rustam Galimullin; Natasha Alechina; Hans van Ditmarsch (KI, 2018)

Modeling Norm Specification and Verification in Multiagent Systems. - Natasha Alechina; Brian Logan 001; Mehdi Dastani (FLAP, 2018)

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (J. Artif. Intell. Res., 2018)

Efficient minimal preference change. - Natasha Alechina; Fenrong Liu; Brian Logan 001 (J. Log. Comput., 2018)

Alternating-time temporal logic with resource bounds. - Hoang Nga Nguyen; Natasha Alechina; Brian Logan 001; Abdur Rakib (J. Log. Comput., 2018)

Intuitionistic Modal Logic: A 15-year retrospective. - Charles A. Stewart; Valeria de Paiva; Natasha Alechina (J. Log. Comput., 2018)

On the complexity of resource-bounded logics. - Natasha Alechina; Nils Bulling; Stéphane Demri; Brian Logan 001 (Theor. Comput. Sci., 2018)

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

Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. - Heshan Du; Natasha Alechina (AAAI, 2019)

Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. - Tim French 002; Rustam Galimullin; Hans van Ditmarsch; Natasha Alechina (AAMAS, 2019)

Decidable Model Checking with Uniform Strategies. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (AAMAS, 2019)

Strategic Responsibility Under Imperfect Information. - Vahid Yazdanpanah; Mehdi Dastani; Wojciech Jamroga; Natasha Alechina; Brian Logan 001 (AAMAS, 2019)

Group Announcement Logic with Distributed Knowledge. - Rustam Galimullin; Thomas Ågotnes; Natasha Alechina (LORI, 2019)

Public Group Announcements and Trust in Doxastic Logic. - Elise Perrotin; Rustam Galimullin; Quentin Canu; Natasha Alechina (LORI, 2019)

Coalition logic with individual, distributed and common knowledge1. - Thomas Ågotnes; Natasha Alechina (J. Log. Comput., 2019)

Parameterised Resource-Bounded ATL. - Natasha Alechina; Stéphane Demri; Brian Logan 001 (AAAI, 2020)

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. - Natasha Alechina; Brian Logan 001 (Fields of Logic and Computation III, 2020)

Intention Progression under Uncertainty. - Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (IJCAI, 2020)

A Logic of Directions. - Heshan Du; Natasha Alechina; Anthony G. Cohn 001 (IJCAI, 2020)

Editorial Foreword. - Natasha Alechina; Valentin Goranko (J. Log. Lang. Inf., 2020)

Intention Progression using Quantitative Summary Information. - Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (AAMAS, 2021)

The Complexity of Data-Driven Norm Synthesis and Revision. - Davide Dell'Anna; Natasha Alechina; Brian Logan 001; Maarten Löffler; Fabiano Dalpiaz; Mehdi Dastani (CoRR, 2021)

Verification and Strategy Synthesis for Coalition Announcement Logic. - Natasha Alechina; Hans van Ditmarsch; Rustam Galimullin; Tuo Wang (J. Log. Lang. Inf., 2021)

The Complexity of Norm Synthesis and Revision. - Davide Dell'Anna; Natasha Alechina; Fabiano Dalpiaz; Mehdi Dastani; Maarten Löffler; Brian Logan 001 (COINE, 2022)

Multi-Agent Intention Progression with Reward Machines. - Michael Dann; Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (IJCAI, 2022)

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. - Natasha Alechina; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (KR, 2022)

Data-Driven Revision of Conditional Norms in Multi-Agent Systems. - Davide Dell'Anna; Natasha Alechina; Fabiano Dalpiaz; Mehdi Dastani; Brian Logan 001 (J. Artif. Intell. Res., 2022)

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. - Thomas Ågotnes; Natasha Alechina; Rustam Galimullin (J. Log. Lang. Inf., 2022)

Intention Progression with Maintenance Goals. - Di Wu; Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (AAMAS, 2023)

Dynamic Causality. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (ECAI, 2023)

Dynamics of Causal Dependencies in Multi-agent Settings. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder (EMAS, 2023)

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Brian Logan 001 (EUMAS, 2023)

Multi-Agent Intention Recognition and Progression. - Michael Dann; Yuan Yao 007; Natasha Alechina; Brian Logan 001; Felipe Meneguzzi; John Thangarajah (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 001 (IJCAI, 2023)

Probabilistic Temporal Logic for Reasoning about Bounded Policies. - Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (IJCAI, 2023)

Group Responsibility for Exceeding Risk Threshold. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder (KR, 2023)

A Logic of East and West. - Heshan Du; Natasha Alechina; Amin Farjudian; Brian Logan 001; Can Zhou; Anthony G. Cohn 001 (J. Artif. Intell. Res., 2023)

The Expressivity of Quantified Group Announcements. - Natasha Alechina; Hans van Ditmarsch; Tim French 002; Rustam Galimullin (J. Log. Comput., 2023)

Pure-Past Action Masking. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (AAAI, 2024)

Maximally Permissive Reward Machines. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Brian Logan 001 (ECAI, 2024)

Intention Progression with Temporally Extended Goals. - Yuan Yao 007; Natasha Alechina; Brian Logan 001 (IJCAI, 2024)

Revising Beliefs and Intentions in Stochastic Environments. - Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder (IJCAI, 2024)

Run-time Monitoring for Robot-Assisted Surgery. - Kristina Gogoladze; Natasha Alechina; Zhaoyang Jacopo Hu; Haozheng Xu; Romy C. van Jaarsveld; Jelle P. Ruurda (OVERLAY, 2024)

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

Probabilistic Strategy Logic with Degrees of Observability. - Chunyan Mu; Nima Motamed; Natasha Alechina; Brian Logan 001 (AAAI, 2025)

Causes and Strategies in Multiagent Systems. - Sylvia S. Kerkhove; Natasha Alechina; Mehdi Dastani (AAMAS, 2025)

Reasoning about group responsibility for exceeding risk threshold in one-shot games. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder (Inf. Comput., 2025)

Pushdown Reward Machines for Reinforcement Learning. - Giovanni Varricchione; Toryn Q. Klassen; Natasha Alechina; Mehdi Dastani; Brian Logan 001; Sheila A. McIlraith (CoRR, 2025)