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. "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.
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.
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.
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.
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. "Belief ascription under bounded resources." Synthese 173 (2010): 179–197. Download: Alechina+Logan:09b.pdf (198.98 KB)
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, 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. "Automated verification of resource requirements in multi-agent systems using abstraction." In 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers, edited by Ron van der Meyden and Jan-Georg Smaus, 69-84. Vol. LNAI 6572. Springer, 2011. Download: Alechina++:11a.pdf (185.01 KB)
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.
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "A Logic for Coalitions with Bounded Resources." In Proceedings of the Twenty First International Joint Conference on Artificial Intelligence, edited by Craig Boutilier, 659–664. Vol. 2. Pasadena CA, USA: IJCAI/AAAI, 2009. Download: Alechina++:09b.pdf (153.87 KB)
Alechina, Natasha, Tristan Behrens, Koen V. Hindriks, and Brian Logan. "Query Caching in Agent Programming Languages." In Proceedings of the Tenth International Workshop on Programming Multi-Agent Systems (ProMAS 2012), edited by Mehdi Dastani, Brian Logan and Jomi F. Hubner, 117-131. Valencia, Spain, 2012. Download: Alechina++:12b.pdf (167.54 KB)
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.
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning about agent deliberation." Autonomous Agents and Multi-Agent Systems (2010): 1-26. Download: Alechina++:10b.pdf (329.68 KB)
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)
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, 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.
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Expressing Properties of Coalitional Ability under Resource Bounds." In Proceedings Second International Workshop on Logic, Rationality and Interaction (LORI-II), edited by Xiangdong He, John Horty and Eric Pacuit. Vol. 5834. Lecture Notes in Artificial Intelligence 5834. Chongqing, China: Springer, 2009. Download: Alechina++:09f.pdf (187.84 KB)
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, and Brian Logan. "Computationally grounded account of belief and awareness for AI agents." In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010). Vol. CEUR-WS 627. Lyon, France, 2010. Download: Alechina+Logan:10a.pdf (152.74 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 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)