Natasha Alechina
Orcid: 0000-0003-3306-9891Affiliations:
- University of Utrecht, The Netherlands
- University of Nottingham, UK (former)
According to our database1,
Natasha Alechina
authored at least 159 papers
between 1995 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2025
Inf. Comput., 2025
2024
Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.
J. Log. Lang. Inf., 2022
J. Artif. Intell. Res., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV, 2022
2021
J. Log. Lang. Inf., 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Fields of Logic and Computation III, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
J. Log. Comput., 2019
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
J. Artif. Intell. Res., 2018
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Trans. GIS, 2017
Model-checking for Resource-Bounded ATL with production and consumption of resources.
J. Comput. Syst. Sci., 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Artif. Intell., 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016
Proceedings of the Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources.
CoRR, 2015
A Preliminary Examination of the User Behavior in Query-by-Drawing Portrait Painting Search on Mobile Devices.
Proceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia, 2015
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the International Conference on Military Communications and Information Systems, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone?
Proceedings of the 12th International Conference on Advances in Mobile Computing and Multimedia, 2014
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment.
Proceedings of the Workshop and Poster Proceedings of the 4th Joint International Semantic Technology Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014
Proceedings of the Computational Logic in Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Proceedings of the Logic, Language, Information, and Computation, 2013
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control.
Proceedings of the Information Security Practice and Experience, 2013
Proceedings of the New Trends in Image Analysis and Processing - ICIAP 2013, 2013
Proceedings of the Normative Multi-Agent Systems, 2013
Proceedings of the Spatial Information Theory - 11th International Conference, 2013
Proceedings of the Geographic Information Science at the Heart of Europe, 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data.
Trans. GIS, 2012
Modal logics for reasoning about infinite unions and intersections of binary relations.
J. Appl. Non Class. Logics, 2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Proceedings of the 7th International Workshop on Ontology Matching, 2012
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
2010
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
2009
Synth., 2009
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
2008
Proceedings of the Rule Representation, 2008
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008
Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
J. Appl. Log., 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Proceedings of the Proceedings, 2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the Declarative Agent Languages and Technologies IV, 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the Advances in Modal Logic 6, 2006
Proceedings of the Proceedings, 2006
2005
Verifying Bounds on Deliberation Time in Multi-Agent Systems.
Proceedings of the EUMAS 2005, 2005
Proceedings of the Declarative Agent Languages and Technologies III, 2005
2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
2003
Proceedings of the Computer Analysis of Images and Patterns, 10th International Conference, 2003
2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
Proceedings of the Logic for Programming, 2001
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001
Proceedings of the Computer Science Logic, 15th International Workshop, 2001
2000
Log. J. IGPL, 2000
1999
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999
1998
Proceedings of the Advances in Databases, 16th British National Conferenc on Databases, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Structures in Logic and Computer Science, 1997
1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
1995
On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic.
J. Log. Lang. Inf., 1995
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995