Publications

2008
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)
Sellers, William I., Russell A. Hill, and Brian Logan. "An Agent-Based Model of Group Decision Making in Baboons." Philosophical Transactions of the Royal Society B: Biological Sciences 362 (2007): 1699–1710. Download: Sellers++:07a.pdf (272.56 KB)
Madden, Neil, and Brian Logan. "Collaborative Narrative Generation in Persistent Virtual Environments." In Intelligent Narrative Technologies: Papers from the 2007 AAAI Fall Symposium, edited by Brian S. Magerko and Mark O. Reidl, 71–78. Menlo Park, CA: {AAAI} Press, 2007. Download: Madden+Logan:07a.pdf (1.64 MB)
Chesney, Thomas, Iain Coyne, Brian Logan, and Neil Madden. "A design for researching virtual worlds–-opportunities and limitations." In Proceedings of the 15th European Conference on Information Systems (ECIS). St.\ Galen, Switzerland, 2007.
Lees, Michael, Brian Logan, and John King. "HLA Simulation of Agent-Based Bacterial Models." In Proceedings of the 2007 European Simulation Interoperability Workshop. Genoa: Simulation Interoperability Standards Organisation, 2007. Download: Lees++:07c.pdf (167.26 KB)
Logan, Brian. "Evaluating Agent Architectures Using Simulation." In Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop, edited by Gal A. Kaminka and Catherina R. Burghart, 40–43. AAAI Press, 2007. Download: Logan:07a.pdf (67.72 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)
Lees, Michael, Brian Logan, and John King. "BacGrid: Simulations of Bacterial using the Grid." In BioSysBio: Systems Biology, Bioinformatics and Synthetic Biology. Manchester, UK, 2007.
Lees, Michael, Brian Logan, and John King. "Multiscale Models of Bacterial Populations." In Proceedings of the 2007 Winter Simulation Conference, edited by S. G. Henderson, B. Biller, M. - H. Hsieh, J. Shortle, J. D. Tew and R. R. Barton, 881–890. IEEE Press, 2007. Download: Lees++:07f.pdf (247.36 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
Fielding, Dan, Brian Logan, and Steve Benford. "Balancing the needs of players and spectators in agent-based commentary systems." In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), edited by Peter Stone and Gerhard Weiss, 996–998. Hakodate, Japan: IEEE Press, 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.
Logan, Brian, Michael Lees, and John King. "BacGrid: Large Scale Systems Biology Simulation on the Grid." In Winter Simulation Conference, Track on Modelling and Simulation in Computational Biology. Monterey, CA USA, 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.