Natasha Alechina

186 papers A* 33A 31B 8C 12Misc 1Journal 55Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Rational Revision of Group Intentions. AAAI Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder
2026	J	`jnl`	Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. J. Artif. Intell. Res. Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2025	A	`conf`	Causes and Strategies in Multiagent Systems. AAMAS Sylvia S. Kerkhove, Natasha Alechina, Mehdi Dastani
2025	J	`jnl`	Causes and Strategies in Multiagent Systems. CoRR Sylvia S. Kerkhove, Natasha Alechina, Mehdi Dastani
2025	A	`conf`	Contributions to the ECAI-2025 Journal Track. ECAI Natasha Alechina, Esra Erdem
2025	A*	`conf`	Probabilistic Strategy Logic with Degrees of Observability. AAAI Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
2025	A*	`conf`	Pushdown Reward Machines for Reinforcement Learning. KR Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
2025	J	`jnl`	Pushdown Reward Machines for Reinforcement Learning. CoRR Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
2025	J	`jnl`	Reasoning about group responsibility for exceeding risk threshold in one-shot games. Inf. Comput. Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder
2025	—	`conf`	Run-time verification of robot-assisted surgery using visual input. OVERLAY Kristina Gogoladze, Romy C. van Jaarsveld, Natasha Alechina, Ronald L. P. D. de Jong, Yasmina Al Khalil, Gino M. Kuiper, Brian Logan, Jelle P. Ruurda
2025	A*	`conf`	Synthesising Minimum Cost Dynamic Norms. IJCAI Natasha Alechina, Brian Logan, Giuseppe Perelli
2025	A*	`conf`	Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. AAAI Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2025	J	`jnl`	Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. CoRR Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2024	A*	`conf`	Intention Progression with Temporally Extended Goals. IJCAI Yuan Yao, Natasha Alechina, Brian Logan
2024	A	`conf`	Maximally Permissive Reward Machines. ECAI Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2024	J	`jnl`	Maximally Permissive Reward Machines. CoRR Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2024	J	`jnl`	Probabilistic Strategy Logic with Degrees of Observability. CoRR Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
2024	A	`ed.`	Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024 AAMAS Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum
2024	A*	`conf`	Pure-Past Action Masking. AAAI Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2024	A*	`conf`	Revising Beliefs and Intentions in Stochastic Environments. IJCAI Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder
2024	—	`conf`	Run-time Monitoring for Robot-Assisted Surgery. OVERLAY Kristina Gogoladze, Natasha Alechina, Zhaoyang Jacopo Hu, Haozheng Xu, Romy C. van Jaarsveld, Jelle P. Ruurda
2023	J	`jnl`	A Logic of East and West. J. Artif. Intell. Res. Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
2023	A*	`conf`	Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). IJCAI Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan
2023	A	`conf`	Dynamic Causality. ECAI Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2023	B	`conf`	Dynamics of Causal Dependencies in Multi-agent Settings. EMAS Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder
2023	A*	`conf`	Group Responsibility for Exceeding Risk Threshold. KR Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder
2023	A	`conf`	Intention Progression with Maintenance Goals. AAMAS Di Wu, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2023	—	`ed.`	Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings LORI Natasha Alechina, Andreas Herzig, Fei Liang
2023	A*	`conf`	Multi-Agent Intention Recognition and Progression. IJCAI Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah
2023	A*	`conf`	Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2023	C	`conf`	Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2023	J	`jnl`	The Expressivity of Quantified Group Announcements. J. Log. Comput. Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
2022	A*	`conf`	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2022	J	`jnl`	Data-Driven Revision of Conditional Norms in Multi-Agent Systems. J. Artif. Intell. Res. Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan
2022	—	`ed.`	Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers EMAS@AAMAS Natasha Alechina, Matteo Baldoni, Brian Logan
2022	J	`jnl`	Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina, Rustam Galimullin
2022	A*	`conf`	Multi-Agent Intention Progression with Reward Machines. IJCAI Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2022	C	`conf`	The Complexity of Norm Synthesis and Revision. COINE Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Maarten Löffler, Brian Logan
2021	A	`conf`	Intention Progression using Quantitative Summary Information. AAMAS Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2021	J	`jnl`	The Complexity of Data-Driven Norm Synthesis and Revision. CoRR Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani
2021	J	`jnl`	Verification and Strategy Synthesis for Coalition Announcement Logic. J. Log. Lang. Inf. Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang
2020	A*	`conf`	A Logic of Directions. IJCAI Heshan Du, Natasha Alechina, Anthony G. Cohn
2020	J	`jnl`	Causality, Responsibility and Blame in Team Plans. CoRR Natasha Alechina, Joseph Y. Halpern, Brian Logan
2020	J	`jnl`	Editorial Foreword. J. Log. Lang. Inf. Natasha Alechina, Valentin Goranko
2020	A*	`conf`	Intention Progression under Uncertainty. IJCAI Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2020	A*	`conf`	Parameterised Resource-Bounded ATL. AAAI Natasha Alechina, Stéphane Demri, Brian Logan
2020	—	`conf`	State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III Natasha Alechina, Brian Logan
2019	J	`jnl`	Coalition logic with individual, distributed and common knowledge1. J. Log. Comput. Thomas Ågotnes, Natasha Alechina
2019	A	`conf`	Decidable Model Checking with Uniform Strategies. AAMAS Natasha Alechina, Mehdi Dastani, Brian Logan
2019	—	`conf`	Group Announcement Logic with Distributed Knowledge. LORI Rustam Galimullin, Thomas Ågotnes, Natasha Alechina
2019	A	`conf`	Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina
2019	—	`conf`	Public Group Announcements and Trust in Doxastic Logic. LORI Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina
2019	A*	`conf`	Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. AAAI Heshan Du, Natasha Alechina
2019	A	`conf`	Strategic Responsibility Under Imperfect Information. AAMAS Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan
2019	A*	`conf`	Unbounded Orchestrations of Transducers for Manufacturing. AAAI Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
2018	C	`ed.`	25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018 TIME Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek
2018	J	`jnl`	Alternating-time temporal logic with resource bounds. J. Log. Comput. Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
2018	J	`jnl`	Coalition and Group Announcement Logic. CoRR Rustam Galimullin, Natasha Alechina
2018	J	`jnl`	Efficient minimal preference change. J. Log. Comput. Natasha Alechina, Fenrong Liu, Brian Logan
2018	A*	`conf`	Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2018	J	`jnl`	Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2018	J	`jnl`	Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. Charles A. Stewart, Valeria de Paiva, Natasha Alechina
2018	Misc	`conf`	Model Checking for Coalition Announcement Logic. KI Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch
2018	J	`jnl`	Modeling Norm Specification and Verification in Multiagent Systems. FLAP Natasha Alechina, Brian Logan, Mehdi Dastani
2018	J	`jnl`	On the complexity of resource-bounded logics. Theor. Comput. Sci. Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
2018	A	`conf`	Resource Logics with a Diminishing Resource. AAMAS Natasha Alechina, Brian Logan
2018	J	`jnl`	Resource Logics with a Diminishing Resource. CoRR Natasha Alechina, Brian Logan
2018	A*	`conf`	Synthesis of Orchestrations of Transducers for Manufacturing. AAAI Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan
2017	J	`jnl`	A Method for Matching Crowd-sourced and Authoritative Geospatial Data. Trans. GIS Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart
2017	A	`conf`	Causality, Responsibility and Blame in Team Plans. AAMAS Natasha Alechina, Joseph Y. Halpern, Brian Logan
2017	B	`conf`	Coalition and Group Announcement Logic. TARK Rustam Galimullin, Natasha Alechina
2017	J	`jnl`	Fair decomposition of group obligations. J. Log. Comput. Natasha Alechina, Wiebe van der Hoek, Brian Logan
2017	A*	`conf`	Incentivising Monitoring in Open Normative Systems. AAAI Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2017	J	`jnl`	Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
2017	J	`jnl`	The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
2016	J	`jnl`	Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2016	A	`conf`	Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2016	J	`jnl`	Expressibility of norms in temporal logic. CoRR Natasha Alechina, Mehdi Dastani, Brian Logan
2016	—	`conf`	On the Complexity of Resource-Bounded Logics. RP Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
2016	J	`jnl`	Qualitative Spatial Logics for Buffered Geometries. J. Artif. Intell. Res. Heshan Du, Natasha Alechina
2016	—	`conf`	The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. BDAS Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
2016	A*	`conf`	Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI Natasha Alechina, Mehdi Dastani, Brian Logan
2016	C	`conf`	Verifying Systems of Resource-Bounded Agents. CiE Natasha Alechina, Brian Logan
2015	—	`conf`	A Comparison of Five HSV Color Selection Interfaces for Mobile Painting Search. INTERACT (2) Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson
2015	C	`conf`	A Preliminary Examination of the User Behavior in Query-by-Drawing Portrait Painting Search on Mobile Devices. MoMM Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson
2015	—	`conf`	A tool for matching crowd-sourced and authoritative geospatial data. ICMCIS Heshan Du, Natasha Alechina, Glen Hart, Michael Jackson
2015	A*	`conf`	On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
2015	A	`conf`	Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan
2015	A*	`conf`	Symbolic Model Checking for One-Resource RB+-ATL. IJCAI Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
2015	A	`conf`	Symbolic Model-checking for Resource-Bounded ATL. AAMAS Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda
2015	J	`jnl`	Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi
2015	A*	`conf`	Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin
2014	J	`jnl`	A Logic for Reasoning About Knowledge of Unawareness. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina
2014	A	`conf`	A Logic of Part and Whole for Buffered Geometries. ECAI Heshan Du, Natasha Alechina
2014	—	`conf`	A Logic of Part and Whole for Buffered Geometries. STAIRS Heshan Du, Natasha Alechina
2014	—	`conf`	Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. JIST (Workshops & Posters) Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
2014	C	`conf`	Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone? MoMM Min Zhang, Sarah Atkinson, Guoping Qiu, Natasha Alechina
2014	A	`conf`	Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
2014	—	`conf`	Fair Allocation of Group Tasks According to Social Norms. CLIMA Natasha Alechina, Wiebe van der Hoek, Brian Logan
2014	J	`jnl`	Formal Models of Awareness. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina
2014	—	`conf`	N-Jason: Run-Time Norm Compliance in AgentSpeak(L). EMAS@AAMAS JeeHang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
2014	A	`conf`	Norm approximation for imperfect monitors. AAMAS Natasha Alechina, Mehdi Dastani, Brian Logan
2014	A	`conf`	Run-time norm compliance in BDI agents. AAMAS JeeHang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
2014	A	`conf`	Verifying heterogeneous multi-agent programs. AAMAS Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan
2013	—	`conf`	'A Is for Art' - My Drawings, Your Paintings. ICIAP Workshops Min Zhang, Sarah Atkinson, Natasha Alechina, Guoping Qiu
2013	—	`ch.`	Computational Models for Normative Multi-Agent Systems. Normative Multi-Agent Systems Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik
2013	C	`conf`	Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC Xiaofan Liu, Natasha Alechina, Brian Logan
2013	C	`conf`	Logic and Agent Programming Languages. WoLLIC Natasha Alechina
2013	—	`conf`	Matching Formal and Informal Geospatial Ontologies. AGILE Conf. Heshan Du, Natasha Alechina, Mike Jackson, Glen Hart
2013	—	`conf`	Matching geospatial instances. OM Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart
2013	—	`conf`	Minimal Preference Change. LORI Natasha Alechina, Fenrong Liu, Brian Logan
2013	A*	`conf`	Multi-Cycle Query Caching in Agent Programming. AAAI Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee
2013	A*	`conf`	Reasoning about Normative Update. IJCAI Natasha Alechina, Mehdi Dastani, Brian Logan
2013	—	`conf`	The Logic of NEAR and FAR. COSIT Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson
2012	—	`conf`	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics Hai H. Nguyen, Natasha Alechina, Brian Logan
2012	A	`conf`	Consensus games. AAMAS Julian Zappala, Natasha Alechina, Brian Logan
2012	A	`conf`	Epistemic coalition logic: completeness and complexity. AAMAS Thomas Ågotnes, Natasha Alechina
2012	J	`jnl`	Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data. Trans. GIS Heshan Du, Suchith Anand, Natasha Alechina, Jeremy G. Morley, Glen Hart, Didier G. Leibovici, Mike Jackson, J. Mark Ware
2012	—	`conf`	Matching geospatial ontologies. OM Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart
2012	J	`jnl`	Modal logics for reasoning about infinite unions and intersections of binary relations. J. Appl. Non Class. Logics Natasha Alechina, Philippe Balbiani, Dmitry Shkatov
2012	A	`conf`	Programming norm-aware agents. AAMAS Natasha Alechina, Mehdi Dastani, Brian Logan
2012	—	`conf`	Query Caching in Agent Programming Languages. ProMAS Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan
2012	C	`conf`	Reasoning about Plan Revision in Agent Programs. TIME Natasha Alechina
2011	A	`conf`	Agent programming with priorities and deadlines. AAMAS Konstantin Vikhorev, Natasha Alechina, Brian Logan
2011	J	`jnl`	Completeness of Epistemic Coalition Logic with Group Knowledge CoRR Thomas Ågotnes, Natasha Alechina
2011	J	`jnl`	Logic for coalitions with bounded resources. J. Log. Comput. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2011	—	`conf`	Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA Thomas Ågotnes, Natasha Alechina
2011	J	`jnl`	Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2011	J	`jnl`	Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2010	—	`conf`	Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2010	J	`jnl`	Belief ascription under bounded resources. Synth. Natasha Alechina, Brian Logan
2010	—	`conf`	Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW Natasha Alechina, Brian Logan
2010	A	`conf`	Resource-bounded alternating-time temporal logic. AAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2010	—	`conf`	Syntax and Semantics for Business Rules. KES (4) Xiaofan Liu, Natasha Alechina, Brian Logan
2009	A*	`conf`	A Logic for Coalitions with Bounded Resources. IJCAI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	J	`jnl`	A Logic of Situated Resource-Bounded Agents. J. Log. Lang. Inf. Natasha Alechina, Brian Logan
2009	J	`jnl`	Editorial. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina
2009	—	`conf`	Expressing Properties of Coalitional Ability under Resource Bounds. LORI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	—	`conf`	The ARTS Real-Time Agent Architecture. LADS Konstantin Vikhorev, Natasha Alechina, Brian Logan
2009	—	`conf`	The ARTS Real-Time Agent Architecture. MALLOW Konstantin Vikhorev, Natasha Alechina, Brian Logan
2009	—	`conf`	Verifying Dribble Agents. DALT Doan Thu Trang, Brian Logan, Natasha Alechina
2009	J	`jnl`	Verifying time, memory and communication bounds in systems of reasoning agents. Synth. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan
2008	J	`jnl`	Preference-based belief revision for rule-based agents. Synth. Natasha Alechina, Mark Jago, Brian Logan
2008	A*	`conf`	Reasoning about Agent Deliberation. KR Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2008	—	`conf`	Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Reasoning about agent execution strategies. AAMAS (3) Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer
2008	—	`conf`	Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2007	A*	`conf`	A Logic of Agent Programs. AAAI Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2007	B	`conf`	Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK Thomas Ågotnes, Natasha Alechina
2007	J	`jnl`	The Dynamics of Syntactic Knowledge. J. Log. Comput. Thomas Ågotnes, Natasha Alechina
2006	J	`jnl`	A general method for proving decidability of intuitionistic modal logics. J. Appl. Log. Natasha Alechina, Dmitry Shkatov
2006	—	`conf`	Automating Belief Revision for AgentSpeak. DALT Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
2006	A	`conf`	Belief revision for AgentSpeak agents. AAMAS Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
2006	A	`conf`	Knowing Minimum/Maximum n Formulae. ECAI Thomas Ågotnes, Natasha Alechina
2006	B	`conf`	Logics with an existential modality. Advances in Modal Logic Natasha Alechina, Dmitry Shkatov
2006	A	`conf`	Modal Logics for Communicating Rule-Based Agents. ECAI Natasha Alechina, Mark Jago, Brian Logan
2006	A*	`conf`	Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
2006	A*	`conf`	Semantics for Dynamic Syntactic Epistemic Logics. KR Thomas Ågotnes, Natasha Alechina
2006	—	`conf`	Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
2006	A	`conf`	Verifying space and time requirements for resource-bounded agents. AAMAS Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini
2005	J	`jnl`	Editorial. J. Log. Lang. Inf. Natasha Alechina
2005	—	`conf`	Resource-Bounded Belief Revision and Contraction. DALT Natasha Alechina, Mark Jago, Brian Logan
2005	C	`conf`	Verifying Bounds on Deliberation Time in Multi-Agent Systems. EUMAS Natasha Alechina, Brian Logan
2004	A	`conf`	A Complete and Decidable Logic for Resource-Bounded Agents. AAMAS Natasha Alechina, Brian Logan, Mark Whitsey
2004	B	`conf`	Modelling Communicating Agents in Timed Reasoning Logics. JELIA Natasha Alechina, Brian Logan, Mark Whitsey
2003	J	`jnl`	A Modal Perspective on Path Constraints. J. Log. Comput. Natasha Alechina, Stéphane Demri, Maarten de Rijke
2003	C	`conf`	Classifying Sketches of Animals Using an Agent-Based System. CAIP Graham Mackenzie, Natasha Alechina
2002	A	`conf`	Ascribing beliefs to resource bounded agents. AAMAS Natasha Alechina, Brian Logan
2001	B	`conf`	Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
2001	B	`conf`	Logical Omniscience and the Cost of Deliberation. LPAR Natasha Alechina, Brian Logan
2001	—	`conf`	Path Constraints from a Modal Logic Point of View. KRDB Natasha Alechina, Stéphane Demri, Maarten de Rijke
2001	J	`jnl`	State Space Search with Prioritised Soft Constraints. Appl. Intell. Natasha Alechina, Brian Logan
2000	J	`jnl`	Functional Dependencies between Variables. Stud Logica Natasha Alechina
2000	J	`jnl`	Reachability Logic: An Efficient Fragment of Transitive Closure Logic. Log. J. IGPL Natasha Alechina, Neil Immerman
1999	—	`conf`	(Modal) Logics for Semistructed Data. Description Logics Natasha Alechina
1998	—	`conf`	A* with Bounded Costs. AAAI/IAAI Brian Logan, Natasha Alechina
1998	—	`conf`	Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD Natasha Alechina, Maarten de Rijke
1997	—	`conf`	Syntax vs. Semantics on Finite Structures. Structures in Logic and Computer Science Natasha Alechina, Yuri Gurevich
1996	J	`jnl`	Generalized Quantification as Substructural Logic. J. Symb. Log. Natasha Alechina, Michiel van Lambalgen
1996	B	`conf`	Interpolation for a Sequent Calculus of Generalized Quantifiers. TABLEAUX Natasha Alechina
1995	J	`jnl`	Correspondence and Completeness for Generalized Quantifiers. Log. J. IGPL Natasha Alechina, Michiel van Lambalgen
1995	C	`conf`	For All Typical. ECSQARU Natasha Alechina
1995	J	`jnl`	On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. J. Log. Lang. Inf. Natasha Alechina