Natasha Alechina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
65
Venues
24
Active years
1995–2026
Best venue rank
A*
Where they publish
- A*IJCAI15 papers
- A*AAAI14 papers
- AECAI7 papers
- A*KR5 papers
- AAAMAS3 papers
- CEUMAS2 papers
- CMOMM2 papers
- BEMAS1 paper
- NationalKI1 paper
- CCiE1 paper
- BInteract1 paper
- NationalICIAP1 paper
- CISPEC1 paper
- CWoLLIC1 paper
- CTIME1 paper
- BKES1 paper
- BTARK1 paper
- BAiML1 paper
- BJELIA1 paper
- CCAIP1 paper
- BCSL1 paper
- BLPAR1 paper
- BTABLEAUX1 paper
- CECSQARU1 paper
Papers
65 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Rational Revision of Group Intentions. | Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder |
| 2025 | AAAI | Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan |
| 2025 | AAAI | Probabilistic Strategy Logic with Degrees of Observability. | Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan |
| 2025 | ECAI | Contributions to the ECAI-2025 Journal Track. | Natasha Alechina, Esra Erdem |
| 2025 | IJCAI | Synthesising Minimum Cost Dynamic Norms. | Natasha Alechina, Brian Logan, Giuseppe Perelli |
| 2025 | KR | Pushdown Reward Machines for Reinforcement Learning. | Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith |
| 2024 | AAAI | Pure-Past Action Masking. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2024 | ECAI | Maximally Permissive Reward Machines. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2024 | IJCAI | Intention Progression with Temporally Extended Goals. | Yuan Yao, Natasha Alechina, Brian Logan |
| 2024 | IJCAI | Revising Beliefs and Intentions in Stochastic Environments. | Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder |
| 2023 | ECAI | Dynamic Causality. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan |
| 2023 | EMAS | Dynamics of Causal Dependencies in Multi-agent Settings. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder |
| 2023 | EUMAS | Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2023 | IJCAI | Multi-Agent Intention Recognition and Progression. | Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah |
| 2023 | IJCAI | Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). | Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan |
| 2023 | IJCAI | Probabilistic Temporal Logic for Reasoning about Bounded Policies. | Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan |
| 2023 | KR | Group Responsibility for Exceeding Risk Threshold. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder |
| 2022 | IJCAI | Multi-Agent Intention Progression with Reward Machines. | Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah |
| 2022 | KR | Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. | Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2020 | AAAI | Parameterised Resource-Bounded ATL. | Natasha Alechina, Stphane Demri, Brian Logan |
| 2020 | IJCAI | Intention Progression under Uncertainty. | Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah |
| 2020 | IJCAI | A Logic of Directions. | Heshan Du, Natasha Alechina, Anthony G. Cohn |
| 2019 | AAAI | Unbounded Orchestrations of Transducers for Manufacturing. | Natasha Alechina, Toms Brzdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi |
| 2019 | AAAI | Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. | Heshan Du, Natasha Alechina |
| 2018 | AAAI | Synthesis of Orchestrations of Transducers for Manufacturing. | Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan |
| 2018 | IJCAI | Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). | Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan |
| 2018 | KI | Model Checking for Coalition Announcement Logic. | Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch |
| 2017 | AAAI | Incentivising Monitoring in Open Normative Systems. | Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan |
| 2016 | CiE | Verifying Systems of Resource-Bounded Agents. | Natasha Alechina, Brian Logan |
| 2016 | IJCAI | Verifying Existence of Resource-Bounded Coalition Uniform Strategies. | Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2015 | AAAI | Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. | Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin |
| 2015 | IJCAI | 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 |
| 2015 | IJCAI | Symbolic Model Checking for One-Resource RB+-ATL. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2015 | Interact | A Comparison of Five HSV Color Selection Interfaces for Mobile Painting Search. | Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson |
| 2015 | MOMM | 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 |
| 2014 | ECAI | Decidable Model-Checking for a Resource Logic with Production of Resources. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2014 | ECAI | A Logic of Part and Whole for Buffered Geometries. | Heshan Du, Natasha Alechina |
| 2014 | MOMM | Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone? | Min Zhang, Sarah Atkinson, Guoping Qiu, Natasha Alechina |
| 2013 | AAAI | Multi-Cycle Query Caching in Agent Programming. | Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hbner, Brian Logan, Hai H. Nguyen, Marc van Zee |
| 2013 | ICIAP | 'A Is for Art' - My Drawings, Your Paintings. | Min Zhang, Sarah Atkinson, Natasha Alechina, Guoping Qiu |
| 2013 | IJCAI | Reasoning about Normative Update. | Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2013 | ISPEC | Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. | Xiaofan Liu, Natasha Alechina, Brian Logan |
| 2013 | WoLLIC | Logic and Agent Programming Languages. | Natasha Alechina |
| 2012 | AAMAS | Epistemic coalition logic: completeness and complexity. | Thomas gotnes, Natasha Alechina |
| 2012 | AAMAS | Programming norm-aware agents. | Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2012 | AAMAS | Consensus games. | Julian Zappala, Natasha Alechina, Brian Logan |
| 2012 | TIME | Reasoning about Plan Revision in Agent Programs. | Natasha Alechina |
| 2010 | KES | Syntax and Semantics for Business Rules. | Xiaofan Liu, Natasha Alechina, Brian Logan |
| 2009 | IJCAI | A Logic for Coalitions with Bounded Resources. | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
| 2008 | KR | Reasoning about Agent Deliberation. | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2007 | AAAI | A Logic of Agent Programs. | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2007 | TARK | Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. | Thomas gotnes, Natasha Alechina |
| 2006 | AAAI | Model-Checking Memory Requirements of Resource-Bounded Reasoners. | Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini |
| 2006 | AiML | Logics with an existential modality. | Natasha Alechina, Dmitry Shkatov |
| 2006 | ECAI | Knowing Minimum/Maximum n Formulae. | Thomas gotnes, Natasha Alechina |
| 2006 | ECAI | Modal Logics for Communicating Rule-Based Agents. | Natasha Alechina, Mark Jago, Brian Logan |
| 2006 | KR | Semantics for Dynamic Syntactic Epistemic Logics. | Thomas gotnes, Natasha Alechina |
| 2005 | EUMAS | Verifying Bounds on Deliberation Time in Multi-Agent Systems. | Natasha Alechina, Brian Logan |
| 2004 | JELIA | Modelling Communicating Agents in Timed Reasoning Logics. | Natasha Alechina, Brian Logan, Mark Whitsey |
| 2003 | CAIP | Classifying Sketches of Animals Using an Agent-Based System. | Graham Mackenzie, Natasha Alechina |
| 2001 | CSL | Categorical and Kripke Semantics for Constructive S4 Modal Logic. | Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter |
| 2001 | LPAR | Logical Omniscience and the Cost of Deliberation. | Natasha Alechina, Brian Logan |
| 1998 | AAAI | A* with Bounded Costs. | Brian Logan, Natasha Alechina |
| 1996 | TABLEAUX | Interpolation for a Sequent Calculus of Generalized Quantifiers. | Natasha Alechina |
| 1995 | ECSQARU | For All Typical. | Natasha Alechina |