Publications

Filters: Author is Natasha Alechina  [Clear All Filters]
2006
Alechina, Natasha, Mark Jago, and Brian Logan. "Resource-Bounded Belief Revision and Contraction." In Declarative Agent Languages and Technologies III, Third InternationalWorkshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini and Paolo Torroni, 141-154. Vol. 3904. Lecture Notes in Computer Science 3904. Springer, 2006.
Agotnes, Thomas, and Natasha Alechina. "Semantics for Dynamic Syntactic Epistemic Logics." In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), edited by Patrick Doherty, John Mylopoulos and Christopher Welty, 411–419. AAAI Press, 2006.
Alechina, Natasha, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini. "Verifying space and time requirements for resource-bounded agents." In Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006), edited by Stefan Edelkamp and Alessio Lomuscio, 16–30., 2006.
2005
Alechina, Natasha, Mark Jago, and Brian Logan. "Resource-bounded belief revision and contraction." In Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT 2005), edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini and Paolo Torroni, 118–131. Utrecht, 2005.
Alechina, Natasha, and Brian Logan. "Verifying bounds on deliberation time in multi-agent systems." In Proceedings of the Third European Workshop on Multiagent Systemss (EUMAS'05), edited by M. P. Gleizes, G. Kaminka, A. Nowe, S. Ossowski, K. Tuyls and K. Verbeeck, 25–34. Brussels, Belgium: Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten, 2005.
2004
Alechina, Natasha, Brian Logan, and Mark Whitsey. "Modelling Communicating Agents in Timed Reasoning Logics." In Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004), edited by José Júlio Alferes and Jõao Leite, 95–107. LNAI. Lisbon: Springer, 2004.
Alechina, Natasha, Brian Logan, and Mark Whitsey. "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), edited by Nicholas R. Jennings, Charles Sierra, Liz Sonenberg and Milind Tambe, 606–613. New York: {ACM} Press, 2004.
2002
Alechina, Natasha, and Brian Logan. "Ascribing beliefs to resource bounded agents." In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), 881–888. Vol. 2. Bologna: {ACM} Press, 2002.
Alechina, Natasha, and Brian Logan. "Grounding Knowledge and Action Selection in Agent-Based Systems." In Working Notes of the Fifth UK Workshop on Multi-Agent Systems (UKMAS 2002), edited by Peter McBurney and Michael Wooldridge. Liverpool, 2002.
Alechina, Natasha, and Brian Logan. "Grounding Knowledge and Action Selection in Agent-Based Systems." In Proceedings of the Workshop on Logics for Agent-Based Systems (LABS) at the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), edited by Ch. J. - J. Meyer and M. J. Wooldridge, 61–73. Toulouse, 2002.
2001
Alechina, Natasha, and Brian Logan. "State space search with prioritised soft constraints." Applied Intelligence 14 (2001): 263–272.
Alechina, Natasha, and Brian Logan. "Logical omniscience and the cost of deliberation." In Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), edited by R. Nieuwenhuis and A. Voronkov, 100-109. {LNAI} {N}o. 2250. Springer Verlag, 2001.
1998
Logan, Brian, and Natasha Alechina. "A* with bounded costs." In Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI-98, 444–449. Menlo Park CA & Cambridge MA: AAAI, 1998.
Alechina, Natasha, and Brian Logan. "State space search with prioritised soft constraints." In Proceedings of the ECAI-98 Workshop `Decision theory meets artificial intelligence: qualitative and quantitative approaches', 33–42. ECCAI, 1998.