Publications

2010
Madden, Neil, and Brian Logan. "User evaluation of virtual reporting agents." In Proceedings of 3rd Workshop on Intelligent Narrative Technologies (INT 2010). Monterey, CA, USA: ACM, 2010. Download: Madden+Logan:10a.pdf (1.23 MB)
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)
2009
Vikhorev, Konstantin, Natasha Alechina, and Brian Logan. "The ARTS Real-Time Agent Architecture." In Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). Turin, Italy, 2009. Download: Vikhorev++:09a.pdf (561.6 KB)
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)
Doan, Thu Trang, Brian Logan, and Natasha Alechina. "Verifying Dribble Agents." In Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes, edited by Matteo Baldoni, Jamal Bentahar, John Lloyd and Birna M. van Riemsdijk, 162–177. Budapest Hungary, 2009. Download: Doan++:09a.pdf (176.43 KB)
Zappala, Julian, and Brian Logan. "Effects of Resource Availability on Consensus Decision Making in Primates." In Proceedings of the Social Simulation Workshop at the International Joint Conference on Artificial Intelligence (SS@JCAI). Pasadena CA, USA, 2009. Download: Zappala+Logan:09a.pdf (330.58 KB)
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)
Lees, Michael, Brian Logan, and Georgios Theodoropoulos. "Analysing Probabilistically Constrained Optimism." Concurrency and Computation: Practice and Experience 21 (2009): 1467–1482. Download: Lees++:09a.pdf (209.36 KB)
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)
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)
Madden, Neil, and Brian Logan. "Modularity and compositionality in Jason." In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS 2009)., 2009. Download: Madden+Logan:09a.pdf (181.45 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)