Natasha Alechina

Brian Logan, Natasha Alechina, Mark Whitsey, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Decidable Model-Checking for a Resource Logic with Production of Resources

Nguyen Hoang Nga, Brian Logan, Natasha Alechina, 2014, ECAI.

Intention Progression under Uncertainty

John Thangarajah, Natasha Alechina, Brian Logan, 2020, IJCAI.

Query Caching in Agent Programming Languages

Koen V. Hindriks, Brian Logan, Natasha Alechina, 2012, ProMAS.

Verifying Space and Time Requirements for Resource-Bounded Agents

Piergiorgio Bertoli, Brian Logan, Natasha Alechina, 2006, MoChArt.

Matching geospatial instances

Glen Hart, Natasha Alechina, Heshan Du, 2013, OM.

The virtues of idleness: A decidable fragment of resource agent logic

Nguyen Hoang Nga, Brian Logan, Natasha Alechina, 2017, Artif. Intell..

Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract)

Joseph Y. Halpern, Brian Logan, Natasha Alechina, 2016, AAMAS.

A Preliminary Examination of the User Behavior in Query-by-Drawing Portrait Painting Search on Mobile Devices

Min Zhang, Sarah Atkinson, Natasha Alechina, 2015, MoMM.

Qualitative Spatial Logics for Buffered Geometries

Natasha Alechina, Heshan Du, N. Alechina, 2016, J. Artif. Intell. Res..

Agent programming with priorities and deadlines

Brian Logan, Natasha Alechina, Konstantin Vikhorev, 2011, AAMAS.

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Nguyen Hoang Nga, Brian Logan, Natasha Alechina, 2015, IJCAI.

The ARTS Real-Time Agent Architecture

Brian Logan, Natasha Alechina, Konstantin Vikhorev, 2009, MALLOW.

Editorial

Natasha Alechina, 2005, J. Log. Lang. Inf..

Practical Run-Time Norm Enforcement with Bounded Lookahead

Mehdi Dastani, Brian Logan, Natasha Alechina, 2015, AAMAS.

Epistemic coalition logic: completeness and complexity

Natasha Alechina, Thomas Ågotnes, N. Alechina, 2012, AAMAS.

Interpolation for a Sequent Calculus of Generalized Quantifiers

Natasha Alechina, 1996, TABLEAUX.

Verifying space and time requirements for resource-bounded agents

Piergiorgio Bertoli, Brian Logan, Natasha Alechina, 2006, AAMAS '06.

Logic and Agent Programming Languages

Natasha Alechina, N. Alechina, 2013, WoLLIC.

The Dynamics of Syntactic Knowledge

Natasha Alechina, Thomas Ågotnes, N. Alechina, 2006, J. Log. Comput..

Reasoning about Other Agents' Beliefs under Bounded Resources

Abdur Rakib, Nguyen Hoang Nga, Brian Logan, 2008, KRAMAS.

Reasoning about plan revision in BDI agent programs

Mehdi Dastani, Brian Logan, Natasha Alechina, 2011, Theor. Comput. Sci..

Coalition and Group Announcement Logic

Natasha Alechina, Rustam Galimullin, N. Alechina, 2017, TARK.

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

Natasha Alechina, Thomas Ågotnes, N. Alechina, 2007, TARK '07.

The Logic of NEAR and FAR

Natasha Alechina, Heshan Du, Kristin Stock, 2013, COSIT.

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System

Brian Logan, Natasha Alechina, Hai H. Nguyen, 2012, Description Logics.

Formal Models of Awareness

Natasha Alechina, Thomas Ågotnes, 2014, J. Log. Lang. Inf..

State Space Search with Prioritised Soft Constraints

Brian Logan, Natasha Alechina, 2004, Applied Intelligence.

Model-checking for Resource-Bounded ATL with production and consumption of resources

Nguyen Hoang Nga, Brian Logan, Natasha Alechina, 2015, J. Comput. Syst. Sci..

Fair decomposition of group obligations

Brian Logan, Natasha Alechina, Wiebe van der Hoek, 2017, J. Log. Comput..

Semantics for Dynamic Syntactic Epistemic Logics

Natasha Alechina, Thomas Ågotnes, 2006, KR.

Parameterised Resource-Bounded ATL

Natasha Alechina, Stéphane Demri, Brian Logan, 2020, AAAI.

Fair Allocation of Group Tasks According to Social Norms

Brian Logan, Natasha Alechina, Wiebe van der Hoek, 2014, CLIMA.

Intuitionistic Modal Logic: A 15-year retrospective

Natasha Alechina, Valeria de Paiva, Charles Stewart, 2018, J. Log. Comput..

Public Group Announcements and Trust in Doxastic Logic

Natasha Alechina, Rustam Galimullin, Elise Perrotin, 2019, LORI.

Group Announcement Logic with Distributed Knowledge

Natasha Alechina, Thomas Ågotnes, Rustam Galimullin, 2019, LORI.

A Logic of Agent Programs

Mehdi Dastani, Brian Logan, Natasha Alechina, 2007, AAAI.

Modal quantification over structured domains

Johan van Benthem, Natasha Alechina, 1997 .

Reasoning about Joint Action and Coalitional Ability in K n with Intersection

Natasha Alechina, Thomas Ågotnes, N. Alechina, 2011, CLIMA.

Editorial

Natasha Alechina, Thomas Ågotnes, 2009, J. Log. Lang. Inf..

Symbolic Model-checking for Resource-Bounded ATL

Nguyen Hoang Nga, Brian Logan, Natasha Alechina, 2015, AAMAS.

Decidable Model Checking with Uniform Strategies

Mehdi Dastani, Brian Logan, Natasha Alechina, 2019, AAMAS.

Symbolic Model-checking for Resource-Bounded ATL (Extended Abstract)

Brian Logan, Natasha Alechina, Leonardo Mostarda, 2015 .

Resource-bounded alternating-time temporal logic

Abdur Rakib, Nguyen Hoang Nga, Brian Logan, 2010, AAMAS.

Belief revision for AgentSpeak agents

Rafael H. Bordini, Brian Logan, Natasha Alechina, 2006, AAMAS '06.

Model Checking for Coalition Announcement Logic

Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, 2018, KI.

Verifying Bounds on Deliberation Time in Multi-Agent Systems

Brian Logan, Natasha Alechina, 2005, EUMAS.

Resource-Bounded Belief Revision and Contraction

Brian Logan, Natasha Alechina, Mark Jago, 2005, DALT.

Run-time norm compliance in BDI agents

Julian Padget, Brian Logan, Natasha Alechina, 2014, AAMAS.

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems

Joseph Y. Halpern, Brian Logan, Natasha Alechina, 2018, J. Artif. Intell. Res..

(Modal) Logics for Semistructed Data

Natasha Alechina, 1999, Description Logics.

Editorial Foreword

Valentin Goranko, Natasha Alechina, V. Goranko, 2020, Journal of Logic, Language and Information.

Minimal Preference Change

Brian Logan, Natasha Alechina, Fenrong Liu, 2013, LORI.

Logical Omniscience and the Cost of Deliberation

Brian Logan, Natasha Alechina, B. Logan, 2001, LPAR.

On the Complexity of Resource-Bounded Logics

Brian Logan, Natasha Alechina, Stéphane Demri, 2016, RP.

Synthesis of Orchestrations of Transducers for Manufacturing

Giuseppe De Giacomo, Brian Logan, Natasha Alechina, 2018, AAAI.

Knowing Minimum/Maximum n Formulae

Natasha Alechina, Thomas Ågotnes, 2006, ECAI.

Verifying Resource Requirements for Distributed Rule-Based Systems

Abdur Rakib, Nguyen Hoang Nga, Brian Logan, 2008, RuleML.

Strategic Responsibility Under Imperfect Information

Wojciech Jamroga, Mehdi Dastani, Brian Logan, 2019, AAMAS.

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Natasha Alechina, Brian Logan, 2020, Fields of Logic and Computation III.

On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

Natasha Alechina, 1995, J. Log. Lang. Inf..

Verifying time, memory and communication bounds in systems of reasoning agents

Abdur Rakib, Nguyen Hoang Nga, Brian Logan, 2009, Synthese.

Model-Checking Memory Requirements of Resource-Bounded Reasoners

Piergiorgio Bertoli, Brian Logan, Natasha Alechina, 2006, AAAI.

Describing and Quering Semistructured Data: Some Expressiveness Results

Maarten de Rijke, Natasha Alechina, 1998, BNCOD.

Programming norm-aware agents

Mehdi Dastani, Brian Logan, Natasha Alechina, 2012, AAMAS.

Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone?

Min Zhang, Sarah Atkinson, Natasha Alechina, 2014, MoMM.

Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data

Glen Hart, Natasha Alechina, Heshan Du, 2012, Trans. GIS.

A Logic for Reasoning About Knowledge of Unawareness

Natasha Alechina, Thomas Ågotnes, N. Alechina, 2014, J. Log. Lang. Inf..

Modal logics for reasoning about infinite unions and intersections of binary relations

Natasha Alechina, Philippe Balbiani, Dmitry Shkatov, 2012, J. Appl. Non Class. Logics.

Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data

Brian Logan, Natasha Alechina, Heshan Du, 2015, AAAI.

Consensus games

Brian Logan, Natasha Alechina, Julian Zappala, 2012, AAMAS.

Matching geospatial ontologies

Glen Hart, Natasha Alechina, Heshan Du, 2012, OM.

Reachability Logic: An Efficient Fragment of Transitive Closure Logic

Neil Immerman, Natasha Alechina, N. Immerman, 2000, Log. J. IGPL.

Computational Models for Normative Multi-Agent Systems

Marina De Vos, Mehdi Dastani, Nick Bassiliades, 2013, Normative Multi-Agent Systems.

The Complexity of Data-Driven Norm Synthesis and Revision pdf

Maarten Löffler, Mehdi Dastani, Brian Logan, 2021, ArXiv.

Verification and Strategy Synthesis for Coalition Announcement Logic

Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, 2021, Journal of Logic, Language and Information.

Intention Progression using Quantitative Summary Information

John Thangarajah, Brian Logan, Natasha Alechina, 2021, AAMAS.

Model-checking space and time requirements for resource-bounded agents

Piergiorgio Bertoli, Brian Logan, Natasha Alechina, 2006 .

On Decidability of Intuitionistic Modal Logics

Natasha Alechina, Dmitry Shkatov, 2004 .

Grounding Knowledge and Action Selection in Agent-Based Systems

Brian Logan, Natasha Alechina, B. Logan, 2002 .

Categorical and Kripke Semantics for Constructive Modal Logics

Natasha Alechina, Valeria de Paiva, Michael Mendler, 2001 .

Logic with Probabilistic Operators

Natasha Alechina, N. Alechina, 1995 .