NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and JOHN-JULES CH. MEYER, 2011. Reasoning about plan revision in BDI agent programs Theoretical Computer Science. 12(44), 6115-6134 NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2011. Logic for coaliations with bounded resources Journal of Logic and Computation. 21(6), 907-937 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, MEHDI DASTANI, BRIAN LOGAN and MEYER, JOHN-JULES CH., 2010. Reasoning about agent deliberation Autonomous Agents and Multi-Agent Systems. 1-26 NATASHA ALECHINA and BRIAN LOGAN, 2010. Belief ascription under bounded resources Synthese. 173(2), 179-197 NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and ABDUR RAKIB, 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. A Logic for Coalitions with Bounded Resources In: Proceedings of the Twenty First International Joint Conference on Artificial Intelligence. 659-664
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, MARK JAGO and BRIAN LOGAN, 2008. Preference-based belief revision for rule-based agents Synthese. 165(2), 159-177 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 Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). 736-743
Å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., 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
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., 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 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. 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