Publications

2012
Kiss, Daniel, Neil Madden, and Brian Logan. "Atomic Intentions in Jason+." In Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, Canada, May 10-15, 2010. Revised Selected Papers, edited by Juergen Dix, Rem Collier and Peter Novak, 79-95. Vol. 6599. Toronto, Canada: Springer, 2012. Download: Kiss++:10a.pdf (159.4 KB)
Nguyen, Hai, Natasha Alechina, and Brian Logan. "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." In Proceedings of the 25th International Workshop on Description Logics (DL 2012), edited by Yevgeny Kazakov, Domenico Lembo and Frank Wolter, 290-300. Rome, Italy, 2012. Download: Nguyen++:12a.pdf (333.1 KB)
Zappala, Julian, Natasha Alechina, and Brian Logan. Consensus Games In Proceedings of the Third Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2012), Edited by Stephane Airiau, Yoram Bachrach, Edith Elkind and Lirong Xia. Valencia, Spain, 2012. Download: Zappala++:12b.pdf (167.48 KB)
Zappala, Julian, Natasha Alechina, and Brian Logan. Consensus Games (Extended Abstract) 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. Vol. 3. Valencia, Spain: IFAAMAS, 2012. Download: Zappala++:12a.pdf (120.23 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, 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)
2011
Feisst, Markus, Brian Logan, and Sergio Altomonte. "EDUCATE on SITE: User Acceptance of Mobile Web Applications in Architectural Education." In 10th World Conference on Mobile and Contextual Learning (mLearn 2011), 78-80. Beijing, China, 2011.
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)
Doan, Thu Trang, Natasha Alechina, and Brian Logan. "The agent programming language meta-APL." In Proceedings of the Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011). Taipei, Taiwan, 2011. Download: Doan++:11a.pdf (151.68 KB)
Vikhorev, Konstantin, Natasha Alechina, and Brian Logan. "Agent programming with priorities and deadlines." In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems AAMAS 2011, edited by Kagan Turner, Pinar Yolum, Liz Sonenberg and Peter Stone, 397-404., 2011. Download: Vikhorev++:11a.pdf (205.67 KB)
Vikhorev, Konstantin, Natasha Alechina, Rafael H. Bordini, and Brian Logan. "An Operational Semantics for AgentSpeak(RT) (Preliminary Report)." In Proceedings of the Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011). Taipei, Taiwan, 2011. Download: Vikhorev++:11b.pdf (179.69 KB)
Hill, Russell A., Brian Logan, William I. Sellers, and Julian Zappala. "An Agent-Based Model of Group Decision Making in Baboons." In Modelling Natural Action Selection, edited by Anil Seth, Tony Prescott and Joanna Bryson, 454-476. Cambridge University Press, 2011.
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)
2010
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Resource-bounded alternating-time temporal logic." In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), edited by Wiebe van der Hoek, Gal Kaminka, Yves Lesp{\'}erance, Michael Luck and Sandip Sen, 481-488. Toronto, Canada: IFAAMAS, 2010. Download: Alechina++:10a.pdf (204.49 KB)
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, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Logic for coalitions with bounded resources." Journal of Logic and Computation 21, no. 6 (2010): 907-937. Download: Alechina++:10d.pdf (312.33 KB)
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, 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)
Zappala, Julian, and Brian Logan. "Effects of Resource Availability on Consensus Decision Making in Primates." Computational and Mathemtical Organization Theory 16 (2010): 400-415. Download: Zappala+Logan:10a.pdf (701.35 KB)
Nguyen, Hoang Nga. "An extension of RB-ATL." In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010). Vol. CEUR-WS 627. Lyon, France, 2010. Download: Nguyen:10a.pdf (255.56 KB)
Madden, Neil, and Brian Logan. "Modularity and compositionality in Jason." In Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers, edited by Lars Braubach, Jean-Pierre Briot and John Thangarajah, 237-253. Vol. LNAI 5919. Budapest, Hungary: Springer, 2010. Download: Madden+Logan:09a.pdf (181.45 KB)
Nguyen, Hai, Natasha Alechina, and Brian Logan. "Ontology Debugging with Truth Maintenance Systems." In ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes, edited by Alan Bundy, Jos Lehmann, Guilin Qi and Ivan Jose Varzinczak, 13-14. Lisbon, Portugal, 2010. Download: Nguyen++:10a.pdf (101 KB)
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)
Liu, Xiaofan, Natasha Alechina, and Brian Logan. "Syntax and Semantics for Business Rules." In Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'2010). Cardiff, UK, 2010.