Publications

Filters: Author is Natasha Alechina  [Clear All Filters]
2009
Albore, Alexandre, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan. "Bounded-resource Reasoning as (Strong or Classical) Planning." In Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 2008, Revised Selected and Invited Papers, 77–96. {LNAI} 5405. Springer, 2009.
Alechina, Natasha, and Brian Logan. "A logic of situated resource-bounded agents." Journal of Logic, Language and Information 18 (2009): 79–95. Download: Alechina+Logan:09a.pdf (148.01 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Reasoning about other agents' beliefs under bounded resources." In Post-proceedings of KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008, edited by Ch. J. - J. Meyer and J. Broersen, 1–15. Vol. 5605. Lecture Notes in Artificial Intelligence 5605. Springer, 2009. Download: Alechina++:09d.pdf (170.77 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Time and Communication Costs of Rule-Based Reasoners." In Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers, edited by Doron Peled and Michael Wooldridge. Vol. 5348. LNCS 5348. Springer, 2009. Download: Alechina++:09a.pdf (139.56 KB)
2008
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning About Agent Deliberation." In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08), edited by Gerhard Brewka and Jérôme Lang, 16–26. Sydney, Australia: AAAI, 2008. Download: Alechina++:08f.pdf (223.79 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Reasoning about other agents' beliefs under bounded resources." In Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), edited by John-Jules Ch. Meyer and Jan Broersen, 4–18. Sydney, Australia, 2008. Download: Alechina++:08h.pdf (170.77 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Resource Requirements for Distributed Rule-Based Systems." In Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML 2008), edited by N. Bassiliades, G. Governatori and A. Paschke, 31–38. Vol. 5321. Lecture Notes in Computer Science 5321. Orlando, FL: Springer, 2008. Download: Alechina++:08g.pdf (124.86 KB)
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning about agent execution strategies (Short Paper)." In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), edited by Lin Padgham, David Parkes, Jörg Müller and Simon Parsons, 1455–1458. Vol. 3. Estoril, Portugal: IFAAMAS, 2008. Download: Alechina++:08b.pdf (114.6 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "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), edited by Lin Padgham, David Parkes, Jörg Müller and Simon Parsons, 736–743. Vol. 2. Estoril, Portugal: IFAAMAS, 2008. Download: Alechina++:08a.pdf (176.35 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verification of Resource Requirements of Distributed Reasoning Agents." In Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008). Budapest, Hungary, 2008. Download: Alechina++:08c.pdf (465.11 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying time and communication costs of rule-based reasoners." In Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence (MoChArt-2008), edited by Doron Peled and Michael Wooldrigde. Patras, Greece, 2008. Download: Alechina++:08d.pdf (162.28 KB)
Albore, Alexandre, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan. "Bounded-resource Reasoning as (Strong or Classical) Planning." In Proceedings of the Ninth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX)., 2008.
2007
Alechina, Natasha, and Brian Logan. "A logic of situated resource-bounded agents." In Proceedings of the Workshop on Logics for Resource-Bounded Agents, edited by Thomas Agotnes, Natasha Alechina and Brian Logan, 25–39., 2007. Download: Alechina++:07b.pdf (140.18 KB)
Alechina, Natasha, and Brian Logan. "Formal Evaluation of Agent Architectures." In Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop, edited by Gal A. Kaminka and Catherina R. Burghart, 1–4. AAAI Press, 2007. Download: Alechina+Logan:07a.pdf (76.13 KB)
Alechina, Natasha, Mark Jago, and Brian Logan. "Belief Revision for Rule-Based Agents." In A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007, edited by Johan van Benthem, Shier Ju and Frank Veltman, 99-113. Vol. 8. Texts in Computer Science 8. College Publications, 2007. Download: Alechina++:07b.pdf (140.18 KB)
Agotnes, Thomas, and Natasha Alechina. "The Dynamics of Syntactic Knowledge." Journal of Logic and Computation 17 (2007): 83-116.
Agotnes, Thomas, and Natasha Alechina. "Full and relative awareness: A decidable logic for reasoning about knowledge of unawareness." In Theoretical Aspects of Rationality and Knowledge: Proceedings of the 11th conference (TARK 2007), edited by Dov Samet, 6-14. UCL Presses Universitaires de Louvain, 2007.
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "A Logic of Agent Programs." In Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), 795–800. AAAI Press, 2007. Download: Alechina++:07a.pdf (134.04 KB)
2006
Alechina, Natasha, Rafael H. Bordini, Jomi Fred Hubner, Mark Jago, and Brian Logan. "Belief Revision for AgentSpeak Agents." In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), edited by Peter Stone and Gerhard Weiss, 1288-1290. Hakodate, Japan: IEEE 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 Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), edited by Peter Stone and Gerhard Weiss, 217–219. Hakodate, Japan: IEEE Press, 2006.
Agotnes, Thomas, and Natasha Alechina. "Knowing minimum/maximum n formulae." In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), edited by Gerhard Brewka, Silvia Coradeschi, Anna Perini and Paolo Traverso, 317-321. IOS Press, 2006.
Alechina, Natasha, Rafael Bordini, Jomi Hubner, Mark Jago, and Brian Logan. "Automating Belief Revision for AgentSpeak." In Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006)., 2006.
Alechina, Natasha, Mark Jago, and Brian Logan. "Modal logics for communicating rule-based agents." In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06), edited by Gerhard Brewka, Silvia Coradeschi, Anna Perini and Paolo Traverso, 322–326. IOS Press, 2006.
Albore, Alex, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini. "Model-checking memory requirements of resource-bounded reasoners." In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06), 213–218. AAAI Press, 2006.