School of Computer Science
   
   
  
 

Image of Natasha Alechina

Natasha Alechina

Associate Professor, Faculty of Science

Contact

Research Summary

Applications of logic in computer science and artificial intelligence.

Recent Publications

  • N. ALECHINA, N. BULLING, B. LOGAN and H.N. NGUYEN, 2017. The virtues of idleness: A decidable fragment of resource agent logic Artificial Intelligence.
  • NATASHA ALECHINA, JOE HALPERN, IAN KASH and BRIAN LOGAN, 2017. Incentivising Monitoring in Open Normative Systems In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017).
  • ALECHINA, NATASHA, HALPERN, JOSEPH Y. and LOGAN, BRIAN, 2017. Causality, Responsibility and Blame in Team Plans In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2017. Model-checking for Resource-Bounded ATL with production and consumption of resources Journal of Computer and System Sciences. 88, 126-144
  • N. ALECHINA, N. BULLING, B. LOGAN and H.N. NGUYEN, 2017. The virtues of idleness: A decidable fragment of resource agent logic Artificial Intelligence.
  • NATASHA ALECHINA, JOE HALPERN, IAN KASH and BRIAN LOGAN, 2017. Incentivising Monitoring in Open Normative Systems In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017).
  • ALECHINA, NATASHA, HALPERN, JOSEPH Y. and LOGAN, BRIAN, 2017. Causality, Responsibility and Blame in Team Plans In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2017. Model-checking for Resource-Bounded ATL with production and consumption of resources Journal of Computer and System Sciences. 88, 126-144
  • RUSTAM GALIMULLIN and NATASHA ALECHINA, 2017. Coalition and Group Announcement Logic In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017. 251. 207--220
  • ABBA LAWAN, ABDUR RAKIB, NATASHA ALECHINA and ASHA KARUNARATNE, 2016. The Onto-CropBase – A Semantic Web Application for Querying Crops Linked-Data. In: STANISŁAW KOZIELSKI, DARIUSZ MROZEK, PAWEŁ KASPROWSKI, BOŻENA MAŁYSIAK-MROZEK and DANIEL KOSTRZEWA, eds., Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery 1. 613. Springer International Publishing. 384-399
  • DU, HESHAN, ALECHINA, NATASHA, JACKSON, MICHAEL and HART, GLEN, 2016. A Method for Matching Crowd-sourced and Authoritative Geospatial Data: Transactions in GIS Transactions in GIS. n/a-n/a (In Press.)
  • NATASHA ALECHINA, JOSEPH Y. HALPERN, IAN A. KASH and BRIAN LOGAN, 2016. Decentralised Norm Monitoring in Open Multi-Agent Systems In: Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016). 1399-1400
  • NATASHA ALECHINA, MEHDI DASTANI and BRIAN LOGAN, 2016. Verifying Existence of Resource-Bounded Coalition Uniform Strategies In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 24-30
  • NATASHA ALECHINA and BRIAN LOGAN, 2016. Verifying Systems of Resource-Bounded Agents In: Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. 3-12
  • HESHAN DU and NATASHA ALECHINA, 2016. Qualitative Spatial Logics for Buffered Geometries Journal of Artificial Intelligence Research. 56,
  • AGOTNES, THOMAS and ALECHINA, NATASHA, 2016. Coalition logic with individual, distributed and common knowledge Journal of Logic and Computation.
  • HOANG NGA NGUYEN, NATASHA ALECHINA, BRIAN LOGAN and ABDUR RAKIB, 2015. Alternating-time temporal logic with resource bounds Journal of Logic and Computation, Oxford University Press.
  • NATASHA ALECHINA, NILS BULLING, BRIAN LOGAN and NGUYEN, HOANG NGA, 2015. On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2015. Symbolic Model-Checking for One-Resource RB+-ATL In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
  • NATASHA ALECHINA, NILS BULLING, MEHDI DASTANI and BRIAN LOGAN, 2015. Practical Run-Time Norm Enforcement with Bounded Lookahead In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). 443-451
  • NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2015. Efficient minimal preference change Journal of Logic and Computation.
  • THOMAS ÅGOTNES and NATASHA ALECHINA, 2015. Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection. In: Modality, Semantics and Interpretations. The Second Asian Workshop on Philosophical Logic Springer. 1-22
  • HESHAN DU, HAI NGUYEN, NATASHA ALECHINA, BRIAN LOGAN, MICHAEL JACKSON and JOHN GOODWIN, 2015. Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data In: Proceedings of IAAI 2015. 3948-3953
  • NATASHA ALECHINA, BRIAN LOGAN, LEONARDO MOSTARDA, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2015. Symbolic Model-Checking for Resource-Bounded ATL In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). 1809-1810
  • AGOTNES, THOMAS, 2015. Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection. In: JU, SHIER and LIU, HU, eds., Modality, Semantics and Interpretations. The Second Asian Workshop on Philosophical Logic Springer. 1-22
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2014. Decidable Model-Checking for a Resource Logic with Production of Resources In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014). 9-14
  • NATASHA ALECHINA, MEHDI DASTANI and BRIAN LOGAN, 2014. Norm Approximation for Imperfect Monitors In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 117-124
  • DOAN, THU TRANG, YUAN YAO, NATASHA ALECHINA and BRIAN LOGAN, 2014. Verifying Heterogeneous Multi-Agent Programs In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 149-156
  • THOMAS AGOTNES and NATASHA ALECHINA, 2014. A Logic for Reasoning About Knowledge of Unawareness Journal of Logic, Language and Information. 23(2), 197-217
  • ABBA LAWAN, ABDUR RAKIB, NATASHA ALECHINA and ASHA KARUNARATNE, 2014. Advancing Underutilized Crops Knowledge using SWRL-enabled Ontologies - A survey and early experiment In: CEUR Workshop Proceedings of The Second International Workshop on Linked Data and Ontology in Practice. Volume 1312. 69-84
  • NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2014. Postulates and a linear-time algorithm for minimal contraction of preferences In: Proceedings of the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2014).
  • NATASHA ALECHINA, VAN DER HOEK, WIEBE and BRIAN LOGAN, 2014. Fair Allocation of Group Tasks According to Social Norms In: Computational Logic in Multi-Agent Systems, 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. 19-34
  • LEE, JEEHANG, JULIAN PADGET, BRIAN LOGAN, DANIELA DYBALOVA and NATASHA ALECHINA, 2014. Run-Time Norm Compliance in BDI Agents (Extended Abstract) In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 1581-1582
  • LEE, JEEHANG, JULIAN PADGET, BRIAN LOGAN, DANIELA DYBALOVA and NATASHA ALECHINA, 2014. N-Jason: Run-Time Norm Compliance in AgentSpeak(L) In: Proceedings of the 2nd International Workshop on Engineering Multi-agent Systems (EMAS 2014).
  • ALECHINA, N., DASTANI, M. and LOGAN, B., 2013. Reasoning about normative update In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 3–9 August 2013. 20-26
  • DU, HESHAN, ALECHINA, NATASHA, JACKSON, MIKE and HART, GLEN, 2013. Matching Formal and Informal Geospatial Ontologies GEOGRAPHIC INFORMATION SCIENCE AT THE HEART OF EUROPE. 155-171
  • NATASHA ALECHINA, TRISTAN BEHRENS, MEHDI DASTANI, KOEN HINDRIKS, JOMI HUBNER, BRIAN LOGAN, HAI NGUYEN and VAN ZEE, MARC, 2013. Multi-Cycle Query Caching in Agent Programming In: Proceedings of the Twenty-Seventh AAAI Conferernce on Artificial Intelligence (AAAI 2013). 32-38
  • NATASHA ALECHINA, 2013. Logic and Agent Programming Languages In: Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 1-10
  • HESHAN DU, NATASHA ALECHINA, KRISTIN STOCK and MICHAEL JACKSON, 2013. The Logic of NEAR and FAR In: Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings. 475-494
  • NATASHA ALECHINA, TRISTAN BEHRENS, KOEN HINDRIKS and BRIAN LOGAN, 2013. Query Caching in Agent Programming Languages In: Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers. 123-137
  • NATASHA ALECHINA, NICK BASSILIADES, MEHDI DASTANI, DE VOS, MARINA, BRIAN LOGAN, SERGIO MERA, ANDREASA MORRIS-MARTIN and FERNANDO SCHAPACHNIK, 2013. Computational Models for Normative Multi-Agent Systems. In: GIULIA ANDRIGHETTO, GUIDO GOVERNATORI, PABLO NORIEGA and LEENDERT W. N. VAN DER TORRE, eds., Normative Multi-Agent Systems 4. Schloss Dagstuhl-Leibniz-Zentrum f'ur Informatik. 71-92
  • NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2013. Minimal preference change In: Proceedings Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV). 15-26
  • XIAOFAN LIU, NATASHA ALECHINA and BRIAN LOGAN, 2013. Expressing User Access Authorization Exceptions in Conventional Role-based Access Control In: Proceedings of the 9th International Conference on Information Security Practice and Experience (ISPEC 2013). 233-247
  • THOMAS ÅGOTNES, NATASHA ALECHINA TITLE = EPISTEMIC COALITION LOGIC: COMPLETENESS and COMPLEXITY, 2012. In: Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012).
  • ÅGOTNES, T. and ALECHINA, N., 2012. Epistemic coalition logic: completeness and complexity In: AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. 2. 1099-1106
  • HAI NGUYEN, NATASHA ALECHINA and BRIAN LOGAN, 2012. Axiom Pinpointing Using an Assumption-Based Truth Maintenance System In: Proceedings of the 25th International Workshop on Description Logics (DL 2012). 290-300
  • JULIAN ZAPPALA, NATASHA ALECHINA and BRIAN LOGAN, 2012. Consensus Games (Extended Abstract) In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 1309-1310
  • ALECHINA, N., DASTANI, M., LOGAN, B. and MEYER, J., 2011. Reasoning about plan revision in BDI agent programs Theoretical Computer Science. 12(44), 6115-6134
  • ALECHINA, N., LOGAN, B., NGUYEN, H.N. and RAKIB, A., 2011. Logic for coalitions with bounded resources Journal of Logic and Computation. 21(6), 907-937
  • ALECHINA, N., DASTANI, M., LOGAN, B. and MEYER, J.-J.CH., 2011. Reasoning about agent deliberation Autonomous Agents and Multi-Agent Systems. 22(2), 356-381
  • KONSTANTIN VIKHOREV, NATASHA ALECHINA and BRIAN LOGAN, 2011. Agent programming with priorities and deadlines In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 397-404
  • KONSTANTIN VIKHOREV, NATASHA ALECHINA and BRIAN LOGAN, 2011. Agent programming with priorities and deadlines In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 397-404
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and ABDUR RAKIB, 2011. Automated verification of resource requirements in multi-agent systems using abstraction
  • ALECHINA, N., LOGAN, B., NGA, N.H. and RAKIB, A., 2010. Resource-bounded alternating-time temporal logic In: AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems. 1. 481-488
  • ALECHINA, N. and LOGAN, B., 2010. Belief ascription under bounded resources Synthese. 173(2), 179-197
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2010. Automated verification of resource requirements in multi-agent systems using abstraction. In: RON VAN DER MEYDEN AND JAN-GEORG SMAUS and JAN-GEORG SMAUS, eds., Model Checking and Artificial Intelligence LNCS 6572. Springer-Verlag Berlin Heidelberg. 69-84
  • LIU XIAOFAN, NATASHA ALECHINA and BRIAN LOGAN, 2010. Syntax and Semantics for Business Rules In: Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'2010). 41-50
  • NATASHA ALECHINA, MEHDI DASTANI, FAHAD KHAN, BRIAN LOGAN and MEYER, JOHN-JULES CH., 2010. 2 Using Theorem Proving to Verify Properties of Agent Programs. In: DASTANI, MEHDI, HINDRIKS, KOEN V. and MEYER, JOHN-JULES CH., eds., Specification and Verification of Multi-agent Systems Springer. 1-34
  • ALECHINA, N., LOGAN, B., NGUYEN, H.N. and RAKIB, A., 2009. Verifying time, memory and communication bounds in systems of reasoning agents Synthese. 169(2), 385-403
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Expressing Properties of Coalitional Ability under Resource Bounds. In: XIANGDONG HE, JOHN HORTY, AND ERIC PACUIT, ed., Logic, Rationality, and Interaction LNCS 5834. 1--14
  • NATASHA ALECHINA, BRIAN LOGAN, HOANG NGA NGUYEN and ABDUR RAKIB, 2009. Reasoning about Other Agents’ Beliefs under Bounded Resources. In: J.-J.CH. MEYER AND J.M. BROERSEN, ed., Knowledge Representation for Agents and Multi-Agent Systems LNCS 5605. Springer-Verlag Berlin Heidelberg. 1--15
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Verifying Time and Communication Costs of Rule-Based Reasoners. In: D. PELED AND M. WOOLDRIDGE, ed., MODEL CHECKING AND ARTIFICIAL INTELLIGENCE LNCS 5348. Springer-Verlag Berlin Heidelberg. 1-14
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Verifying Properties of Coalitional Ability under Resource Bounds In: Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), Los Angeles CA, USA.
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Expressing Properties of Coalitional Ability under Resource Bounds. In: XIANGDONG HE, JOHN HORTY, AND ERIC PACUIT, ed., LOGIC, RATIONALITY, AND INTERACTION LNCS 5834. Springer-Verlag Berlin Heidelberg. 1-14
  • NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and JOHN-JULES CH. MEYER, 2008. Reasoning About Agent Deliberation In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR`08). 16-26
  • ALECHINA, N., JAGO, M. and LOGAN, B., 2008. Preference-based belief revision for rule-based agents Synthese. 165(2), 159-177
  • NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and JOHN-JULES CH. MEYER, 2008. Reasoning About Agent Deliberation In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR`08). 16-26
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verifying Resource Requirements for Distributed Rule-Based Systems. In: N. BASSILIADES, G. GOVERNATORI AND A. PASCHKE, ed., RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB LNCS 5321. Springer-Verlag Berlin Heidelberg. 31--38
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verifying time, memory and communication bounds in systems of reasoning agents In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), Padgham, Parkes, Muller and Parsons (eds.)@IFFAAMAS Press. 736-743
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verification of resource-bounded multi-agent systems In: Proceedings of the Automated Reasoning Workshop, Birmingham, UK. 30-31
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verification of Resource Requirements of Distributed Reasoning Agents In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL'08), Budapest, Hungary.
  • ABDUR RAKIB, NGUYEN HOANG NGA, NATASHA ALECHINA and BRIAN LOGAN, 2008. Verification of resource requirements of distributed rule-based reasoners In: Proceedings of the 10th European Agent Systems Summer School, New University of Lisbon, Portugal. 39--45
  • ÅGOTNES, T. and ALECHINA, N., 2007. The dynamics of syntactic knowledge Journal of Logic and Computation. 17(1), 83-116
  • ALECHINA, N., DASTANI, M., LOGAN, B.S. and MEYER, J.-J. CH., 2007. A logic of agent programs In: Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, 22-26 July 2007. 795-800
  • ALECHINA,N., BERTOLI, P., GHIDINI, C., JAGO,M., LOGAN,B. and SERAFINI,L., 2007. Model-checking space and time requirements for resource-bounded agents. In: EDELKAMP, S. and LOMUSCIO, A., eds., Model-Checking and Artificial Intelligence. 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 2006. Revised Selected and Invited Papers. 4428. Springer. 19-35
  • AGOTNES, T. and ALECHINA, N., 2007. Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness. In: Theoretical Aspects of Rationality and Knowledge. 6-14
  • ALBORE, A., ALECHINA, N., BERTOLI, P., GHIDINI, C., LOGAN, B. and SERAFINI, L., 2006. Model-checking memory requirements of resource-bounded reasoners In: Twenty-first national conference on Artificial Intelligence, Boston, Massachusetts, 16-20 July 2006. 213-218
  • ALECHINA, N. and SHKATOV, D., 2006. A general method for proving decidability of intuitionistic modal logics Journal of Applied Logic. VOL 4(NUMBER 3), 219-230
  • ALECHINA, N. and SHKATOV, D., 2006. Logics with an existential modality In: Advances in Modal Logic. 31 - 48
  • ALECHINA, N., JAGO, M. and LOGAN, B., 2006. Modal logics for communicating rule-based agents In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006). 322-326
  • ALECHINA,N., BORDINI,R., HUBNER,J., JAGO,M. and LOGAN,B., 2006. Automating Belief Revision for AgentSpeak. In: BALDONI,M. and ENDRISS, U., eds., Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Selected, Revised and Invited Papers 4327. Springer. 61-77
  • ÅGOTNES, T. and ALECHINA, N., 2006. Knowing minimum/maximum n formulae In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006). 317-321
  • ÅGOTNES, T. and ALECHINA, N., 2006. Semantics for Dynamic Syntactic Epistemic Logics In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). 411-419
  • NATASHA ALECHINA, P. BERTOLI, C. GHIDINI, MARK JAGO, B. LOGAN and L. SERAFINI, 2006. Verifying Space and Time Requirements for Resource-Bounded Agents In: Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems.
  • ALECHINA,N., JAGO,M. and LOGAN,B., 2005. Resource-Bounded Belief Revision and Contraction In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. 141-154
  • ALECHINA, N. and LOGAN, B., 2005. Verifying bounds on deliberation time in multi-agent systems In: Proceedings of the Third European Workshop on Multiagent Systems (EUMAS'05). 25-34
  • ALECHINA,N., MARK JAGO and LOGAN,B.S., 2004. A complete and decidable logic for resource-bounded agents In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). 606-613
  • ALECHINA,N., LOGAN,B.S. and WHITSEY,M., 2004. Modelling Communicating Agents in Timed Reasoning Logics In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. 95-107
  • NATASHA ALECHINA, MARK JAGO and BRIAN LOGAN, 2004. Modelling Communicating Agents in Timed Reasoning Logics. In: ALFERES and LEITE, eds., Logics in Artificial Intelligence Lecture Notes in Artificial Intelligence 3225. Springer. 95–107
  • ALECHINA, N., DEMRI, S. and DE RIJKE, M., 2003. A modal perspective on path constraints Journal of Logic and Computation. 13(6), 939-956
  • ALECHINA, N. and SHKATOV, D., 2003. On Decidability of Intuitionistic Modal Logics In: Proceedings of the Third Workshop Methods for Modalities.
  • MACKENZIE, G. and ALECHINA, N., 2003. Classifying Sketches of Animals Using an Agent Based System In: Computer Analysis of Images and Patterns, Proceedings of the 10th International Conference CAIP 2003.
  • ALECHINA, N. and LOGAN, B.S., 2002. Ascribing beliefs to resource bounded agents In: First International Joint Conference on Autonomous Agents, Bologna, Italy, 15-19 July 2002. 881-888
  • ALECHINA, N. and LOGAN, B.S., 2002. Grounding Knowledge and Action Selection in Agent-Based Systems In: Proceedings of Workshop on Logics for Agent-Based Systems (LABS).
  • ALECHINA, N. and LOGAN, B.S., 2002. Grounding Knowledge and Action Selection in Agent-Based Systems - Working Notes In: Working Notes of the Fifth (UK) Workshop on Multi-Agent Systems (UKMAS 2002).
  • ALECHINA, N. and LOGAN, B., 2001. State Space Search with Prioritised Soft Constraints Applied Intelligence. VOL 14(PART 3), 263-272
  • ALECHINA,N. and LOGAN,B.S., 2001. Logical Omniscience and the Cost of Deliberation In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. 100-109
  • ALECHINA, N., MENDLER, M., DE PAIVA, V. and RITTER, E., 2001. Categorical and Kripke Semantics for Constructive S4 Modal Logic In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. 292-307
  • ALECHINA, N. and IMMERMAN, N., 2000. Reachability Logic: An Efficient Fragment of Transitive Closure Logic Logic Journal of the IGPL. VOL 8(PART 3), 325-338
  • ALECHINA, N., 2000. Functional Dependencies Between Variables Studia Logica. 66((2)), 273-283
  • ALECHINA, N. AND GUREVICH, YU., 1997. Syntax vs Semantics on Finite Structures. In: Structures in Logic and Computer Science, A Selection of Essays in Honour of A Ehrenfeucht 1261. Springer-Verlag, Heidelberg. 14-33
  • ALECHINA, N. and VAN LAMBALGEN, M., 1996. Generalized quantification as substructural logic Journal of Symbolic Logic. VOL 61(NUMBER 3), 1006-1044
  • MIN ZHANG, GUOPING QIU, NATASHA ALECHINA and SARAH ATKINSON, In: ABASCAL, J., BARBOSA, S., FETTER, M., GROSS, T., PALANQUE, P., WINCKLER, M, ed., Human-Computer Interaction – INTERACT 2015: A Comparison of Five HSV Color Selection Interfaces for Mobile Painting Search 265-273

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire