N. Alechina

Most-cited papers

Strategic Responsibility Under Imperfect Information
V. Yazdanpanah, M. Dastani, Wojciech Jamroga, N. Alechina +1 more
2019Adaptive Agents and Multi-Agent Systems55 citations
Semantic Scholar
Coalition logic with individual, distributed and common knowledge1
Thomas Ågotnes, N. Alechina
2018Journal of Logic and Computation45 citations Open access
Semantic Scholar
Causality, Responsibility and Blame in Team Plans
N. Alechina, Joseph Y. Halpern, B. Logan
2017Adaptive Agents and Multi-Agent Systems42 citations
Semantic Scholar
Norm approximation for imperfect monitors
N. Alechina, M. Dastani, B. Logan
2014Adaptive Agents and Multi-Agent Systems37 citations
Semantic Scholar
A Method for Matching Crowd‐sourced and Authoritative Geospatial Data
H. Du, N. Alechina, Michael Jackson, G. Hart
2017Trans. GIS35 citations Open access
Semantic Scholar
Model-checking for Resource-Bounded ATL with production and consumption of resources
N. Alechina, B. Logan, Nga Hoang Nguyen, F. Raimondi
2015Journal of computer and system sciences (Print)29 citations Open access
Semantic Scholar
On the Complexity of Resource-Bounded Logics
N. Alechina, N. Bulling, Stephane Demri, B. Logan
2016Reachability Problems25 citations Open access
Semantic Scholar
Practical Run-Time Norm Enforcement with Bounded Lookahead
N. Alechina, N. Bulling, M. Dastani, B. Logan
2015Adaptive Agents and Multi-Agent Systems23 citations Open access
Semantic Scholar
Symbolic Model-checking for Resource-Bounded ATL
N. Alechina, B. Logan, H. Nguyen, F. Raimondi +1 more
2015Adaptive Agents and Multi-Agent Systems22 citations Open access
Semantic Scholar
N-Jason: Run-Time Norm Compliance in AgentSpeak(L)
Jeehang Lee, J. Padget, B. Logan, Daniela Dybalova +1 more
2014EMAS@AAMAS22 citations Open access
Semantic Scholar
Decidable Model-Checking for a Resource Logic with Production of Resources
N. Alechina, B. Logan, H. Nguyen, F. Raimondi
2014European Conference on Artificial Intelligence19 citations Open access
Semantic Scholar
Verifying heterogeneous multi-agent programs
Thu Trang Doan, Yuan Yao, N. Alechina, B. Logan
2014Adaptive Agents and Multi-Agent Systems19 citations Open access
Semantic Scholar
A Logic for Reasoning About Knowledge of Unawareness
Thomas Ågotnes, N. Alechina
2014Journal of Logic, Language and Information18 citations Open access
Semantic Scholar
Coalition and Group Announcement Logic
R. Galimullin, N. Alechina
2017Theoretical Aspects of Rationality and Knowledge17 citations Open access
Semantic Scholar
Intuitionistic Modal Logic: A 15-year retrospective
Charles Stewart, Valeria C V de Paiva, N. Alechina
2018Journal of Logic and Computation16 citations
Semantic Scholar
The virtues of idleness: A decidable fragment of resource agent logic
N. Alechina, N. Bulling, B. Logan, H. Nguyen
2017Artificial Intelligence16 citations Open access
Semantic Scholar
Computational Models for Normative Multi-Agent Systems
N. Alechina, Nick Bassiliades, M. Dastani, Marina De Vos +4 more
2013Normative Multi-Agent Systems16 citations
Semantic Scholar
Modeling Norm Specification and Verification in Multiagent Systems
N. Alechina, B. Logan, M. Dastani
2018FLAP14 citations
Semantic Scholar
Alternating-time temporal logic with resource bounds
H. Nguyen, N. Alechina, B. Logan, Abdur Rakib
2018Journal of Logic and Computation14 citations Open access
Semantic Scholar
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
N. Alechina, N. Bulling, B. Logan, H. Nguyen
2015International Joint Conference on Artificial Intelligence14 citations
Semantic Scholar
Synthesis of Orchestrations of Transducers for Manufacturing
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, N. Alechina +1 more
2018AAAI Conference on Artificial Intelligence13 citations Open access
Semantic Scholar
Multi-Agent Intention Progression with Reward Machines
Michael Dann, Yuan Yao, N. Alechina, B. Logan +1 more
2022International Joint Conference on Artificial Intelligence12 citations Open access
Semantic Scholar
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL
T. French, R. Galimullin, Hans van Ditmarsch, N. Alechina
2019Adaptive Agents and Multi-Agent Systems11 citations Open access
Semantic Scholar
Multi-Agent Intention Recognition and Progression
Michael Dann, Yuan Yao, N. Alechina, B. Logan +2 more
2023International Joint Conference on Artificial Intelligence9 citations Open access
Semantic Scholar
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
N. Alechina, Giuseppe De Giacomo, B. Logan, Giuseppe Perelli
2022International Conference on Principles of Knowledge Representation and Reasoning9 citations Open access
Semantic Scholar
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data
H. Du, H. Nguyễn, N. Alechina, B. Logan +2 more
2015AAAI Conference on Artificial Intelligence9 citations Open access
Semantic Scholar
Run-time norm compliance in BDI agents
Jeehang Lee, J. Padget, B. Logan, Daniela Dybalova +1 more
2014Adaptive Agents and Multi-Agent Systems9 citations
Semantic Scholar
Pure-Past Action Masking
Giovanni Varricchione, N. Alechina, Mehdi Dastani, G. De Giacomo +2 more
2024AAAI Conference on Artificial Intelligence8 citations Open access
Semantic Scholar
Group Responsibility for Exceeding Risk Threshold
M. Gladyshev, N. Alechina, M. Dastani, Dragan Doder
2023International Conference on Principles of Knowledge Representation and Reasoning8 citations Open access
Semantic Scholar
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Thomas Ågotnes, N. Alechina, R. Galimullin
2022Journal of Logic, Language and Information8 citations Open access
Semantic Scholar
Verification and Strategy Synthesis for Coalition Announcement Logic
N. Alechina, Hans van Ditmarsch, R. Galimullin, Tuo Wang
2021Journal of Logic, Language and Information8 citations Open access
Semantic Scholar
Verifying Existence of Resource-Bounded Coalition Uniform Strategies
N. Alechina, M. Dastani, B. Logan
2016International Joint Conference on Artificial Intelligence8 citations
Semantic Scholar
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
N. Alechina, B. Logan
2020Fields of Logic and Computation III7 citations Open access
Semantic Scholar
Group Announcement Logic with Distributed Knowledge
R. Galimullin, Thomas Ågotnes, N. Alechina
2019Logic, Rationality, and Interaction7 citations
Semantic Scholar
Resource Logics with a Diminishing Resource
N. Alechina, B. Logan
2018Adaptive Agents and Multi-Agent Systems7 citations Open access
Semantic Scholar
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)
N. Alechina, Joseph Y. Halpern, Ian A. Kash, B. Logan
2018International Joint Conference on Artificial Intelligence7 citations Open access
Semantic Scholar
Qualitative Spatial Logics for Buffered Geometries
H. Du, N. Alechina
2016Journal of Artificial Intelligence Research7 citations Open access
Semantic Scholar
Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract)
N. Alechina, Joseph Y. Halpern, Ian A. Kash, B. Logan
2016Adaptive Agents and Multi-Agent Systems7 citations
Semantic Scholar
Symbolic Model Checking for One-Resource RB+-ATL
N. Alechina, B. Logan, H. Nguyen, F. Raimondi
2015International Joint Conference on Artificial Intelligence7 citations
Semantic Scholar
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment
Abba Lawan, Abdur Rakib, N. Alechina, A. Karunaratne
2014Joint International Conference of Semantic Technology7 citations
Semantic Scholar
Intention Progression using Quantitative Summary Information
Yuan Yao, N. Alechina, B. Logan, John Thangarajah
2021Adaptive Agents and Multi-Agent Systems6 citations
Semantic Scholar
Parameterised Resource-Bounded ATL
N. Alechina, Stephane Demri, B. Logan
2020AAAI Conference on Artificial Intelligence6 citations Open access
Semantic Scholar
Public Group Announcements and Trust in Doxastic Logic
Elise Perrotin, R. Galimullin, Quentin Canu, N. Alechina
2019Logic, Rationality, and Interaction6 citations
Semantic Scholar
Unbounded Orchestrations of Transducers for Manufacturing
N. Alechina, T. Brázdil, Giuseppe De Giacomo, Paolo Felli +2 more
2019AAAI Conference on Artificial Intelligence6 citations Open access
Semantic Scholar
Pushdown Reward Machines for Reinforcement Learning
Giovanni Varricchione, Toryn Q. Klassen, N. Alechina, Mehdi Dastani +2 more
2025International Conference on Principles of Knowledge Representation and Reasoning5 citations
Semantic Scholar
A Logic of Part and Whole for Buffered Geometries
H. Du, N. Alechina
2014Starting AI Researchers' Symposium5 citations
Semantic Scholar
Dynamic Causality
M. Gladyshev, N. Alechina, Mehdi Dastani, Dragan Doder +1 more
2023European Conference on Artificial Intelligence4 citations Open access
Semantic Scholar
Data-Driven Revision of Conditional Norms in Multi-Agent Systems
Davide Dell’Anna, N. Alechina, F. Dalpiaz, M. Dastani +1 more
2022Journal of Artificial Intelligence Research4 citations Open access
Semantic Scholar
Incentivising Monitoring in Open Normative Systems
N. Alechina, Joseph Y. Halpern, Ian A. Kash, B. Logan
2017AAAI Conference on Artificial Intelligence4 citations Open access
Semantic Scholar
Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection
Thomas Ågotnes, N. Alechina
20154 citations
Semantic Scholar