Publications

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.
Agotnes, Thomas, and Natasha Alechina. "The Dynamics of Syntactic Knowledge." Journal of Logic and Computation 17 (2007): 83-116.
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.
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.
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.
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.
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.
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, Mehdi Dastani, and Brian Logan. "Programming Norm-Aware Agents." In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), edited by Vincent Conitzer, Michael Winikoff, Lin Padgham and Wiebe van der Hoek, 1057-1064. Vol. 2. Valencia, Spain: IFAAMAS, 2012. Download: Alechina++:12a.pdf (178.2 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)
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, 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, 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, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Properties of Coalitional Ability under Resource Bounds." In Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), edited by Berndt Farwer. Los Angeles CA, USA, 2009. Download: Alechina++:09e.pdf (152.07 KB)
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.
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010), edited by Ron van der Meyden and Jan-Georg Smaus. Atlanta, GA, 2010. Download: Alechina++:10c.pdf (198.95 KB)
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning about plan revision in BDI agent programs." Theoretical Computer Science 412, no. 44 (2011): 6115-6134. Download: Alechina++:11b.pdf (308.24 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, 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, 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, Mehdi Dastani, Fahad Khan, Brian Logan, and John-Jules Ch. Meyer. "Using Theorem Proving to Verify Properties of Agent Programs." In Specification and Verification of Multi-agent Systems, edited by Mehdi Dastani, Koen V. Hindriks and John-Jules Ch. Meyer, 1–34. Springer, 2010. Download: Alechina++:10e.pdf (222.8 KB)
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.
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.
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)