Brian Logan's Publications

2022
Natasha Alechina, De Giacomo, Giuseppe, Brian Logan, and Giuseppe Perelli (2022). "Automatic Synthesis of Dynamic Norms for Multi-Agent Systems." Proceedings of the 19th International Conference on Knowledge Representation and Reasoning (KR 2022) (pp. 12-21). bib pdf
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, and Brian Logan (2022). "Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning." Proceedings of the International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR). bib  
Michael Dann, Yuan Yao, Brian Logan, and John Thangarajah (2022). "Multi-Agent Intention Progression with Reward Machines." Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (pp. 215-222). bib pdf
De Giacomo, Giuseppe, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardina (2022). "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)." Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (pp. 5722-5726). bib pdf
Natasha Alechina, Matteo Baldoni, and Brian Logan, editors (2022). Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers, Springer. bib  
Cardoso, Rafael C., Brian Logan, Felipe Meneguzzi, Nir Oren, and Bruno Yun (2022). "Resilience, reliability and coordination in autonmous multi-agent systems." AI Communications, 35, 339-356. bib  
De Giacomo, Giuseppe, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardina (2022). "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation." Aritificial Intelligence, 302, 103598. bib  
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Maarten Loffler, and Brian Logan (2022). "The Complexity of Norm Synthesis and Revision." Proceedings of the International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE). bib pdf
 
2021
de Mooij, A. Jan, Dell'Anna, Davide, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, and Samarth Swarup (2021). "Using an Agent-Based Simulation to Investigate Behavioral Interventions in a Pandemic." Proceedings of the First Workshop on Agent-Based Modeling and Policy Making (AMPM 2021). bib  
Michael Dann, Yuan Yao, Brian Logan, and John Thangarajah (2021). "Multi-Agent Intention Progression with Black Box Agents." Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021). bib pdf
Bordini, Rafael H., El Fallah Seghrouchni, Amal, Koen Hindriks, Brian Logan, and Alessandro Ricci (2021). "Agent programming in the cognitive era." Proceedings of the 20th International Conference on Autonomous Agents and Multiagent systems (AAMAS 2021) (pp. 1718-1720). bib pdf
Yuan Yao, Natasha Alechina, Brian Logan, and John Thangarajah (2021). "Intention Progression using Quantitative Summary Information." Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) (pp. 1416-1424). bib pdf
Parantapa Bhattacharya, A. Jan de Mooij,, Davide Dell'Anna, Mehdi Dastani, Brian Logan, and Samarth Swarup (2021). "PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents." Proceedings of the 9th International Workshop on Engineering Multi-Agent Systems (EMAS 2021). bib pdf
A. Jan de Mooij,, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, and Samarth Swarup (2021). "Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation." Proceedings of the 22nd International Workshop on Multi-Agent-Based Simulation (MABS 2021). bib pdf
 
2020
Bordini, Rafael H., El Fallah Seghrouchni, Amal, Koen Hindriks, Brian Logan, and Alessandro Ricci (2020). "Agent programming in the cognitive era." Autonomous Agents and Multi-Agent Systems, 34(37). bib  
Lavindra de Silva, Felipe Meneguzzi, and Brian Logan (2020). "BDI Agent Architectures: A Survey." Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). bib pdf
Yuan Yao, Natasha Alechina, Brian Logan, and John Thangarajah (2020). "Intention Progression under Uncertainty." Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). bib pdf
Natasha Alechina, Stephane Demri, and Brian Logan (2020). "An Outline of Parameterised Resource-Bounded ATL." Proceedings of the 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020). bib pdf
Michael Dann, John Thangarajah, Yuan Yao, and Brian Logan (2020). "Intention-Aware Multiagent Scheduling." Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020). bib pdf
Joe Collenette and Brian Logan (2020). "Multi-Agent Control of Industrial Robot Vacuum Cleaners." Proceedings of the 8th International Workshop on Engineering Multi-Agent Systems (EMAS 2020). bib pdf
Alechina, Natasha, Stephane Demri, and Logan, Brian (2020). "Parameterised Resource-Bounded ATL." Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20). bib pdf
Natasha Alechina and Brian Logan (2020). "State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems." In Andreas Blass, Patrick Cegielski, Nachum Dershowitz, Manfred Droste, and Bernd Finkbeiner, editors, Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday, Springer (pp. 9-29). bib pdf
 
2019
Amponsah, Kwabena, Zakhary, Sameh, Robinson, Darren, Nathanail, Paul, Logan, Brian, and Siebers, Peer-Olaf (2019). "Distributed Building Energy Simulation with the HLA." Proceedings of the 2019 Summer Simulation Conference. bib  
Natasha Alechina, Mehdi Dastani, and Brian Logan (2019). "Decidable Model Checking with Uniform Strategies." Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (pp. 170-178). bib pdf
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, and Brian Logan (2019). "Strategic Responsibility Under Imperfect Information." Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (pp. 592-600). bib pdf
Alechina, Natasha, Brazdil, Tomas, De Giacomo, Giuseppe, Felli, Paolo, Logan, Brian, and Vardi, Moshe Y. (2019). "Unbounded Orchestrations of Transducers for Manufacturing." Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). bib pdf
J\"urgen Dix, Brian Logan, and Michael Winikoff (2019). "Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)." Dagstuhl Reports, 9(3), 52-63. bib  
Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, and Svetan Ratchev (2019). "Synthesising process controllers from formal models of transformable assembly systems." Robotics and Computer Integrated Manufacturing, 58, 130-144. bib  
 
2018
Sam Leask, Natasha Alechina, and Brian Logan (2018). "A Computationally Grounded Model for Goal Processing in BDI Agents." Proceedings of the 6th Workshop on Goal Reasoning (GR 2018). bib  
de Silva, Lavindra, Meneguzzi, Felipe, and Logan, Brian (2018). "An Operational Semantics for a Fragment of PRS." Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) (pp. 195-202). bib pdf
Felli, Paolo, de Silva, Lavindra, and Logan, Brian, and Ratchev, Svetan (2018). "Composite Capabilities for Cloud Manufacturing (Demonstration)." Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), (pp. 1809-1811). bib pdf
Natasha Alechina, Joseph Halpern, Ian Kash, and Brian Logan (2018). "Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)." Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) (pp. 5543-5547). bib pdf
Natasha Alechina and Brian Logan (2018). "Resource Logics with a Diminishing Resource (Extended Abstract)." Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018) (pp. 1847-1849). bib pdf
Natasha Alechina, Joseph Halpern, Ian Kash, and Brian Logan (2018). "Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems." Journal of Artificial Intelligence Research, 62, 433-458. bib pdf
Giuseppe De Giacomo, Moshe Vardi, Paolo Felli, Natasha Alechina, and Brian Logan (2018). "Synthesis of Orchestrations of Transducers for Manufacturing." Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) (pp. 6161-6168). bib pdf
Natasha Alechina, Mehdi Dastani, and Brian Logan (2018). "Modelling Norm Specification and Verification in Multiagent Systems." Journal of Applied Logics -- IfCoLog Journal of Logics and their Applications, 5(2), 457-490. bib  
Natasha Alechina, Nils Bulling, Stephane Demri, and Brian Logan (2018). "On the complexity of resource-bounded logics." Theoretical Computer Science, 750, 69-100. bib pdf
Sam Leask and Brian Logan (2018). "Programming Agent Deliberation Using Procedural Reflection." Fundamenta Informaticae, 158(1--3), 93-120. bib  
Natasha Alechina and Brian Logan (2018). "Resource Logics with a Diminishing Resource." bib pdf
 
2017
Brian Logan (2018). "An Agent Programming Manifesto." International Journal of Agent-Oriented Software Engineering, 6(2), 187-210. bib pdf
Natasha Alechina, Mehdi Dastani, and Brian Logan (2017). "Verifying Existence of Resource-Bounded Coalition Uniform Strategies." 15th European Conference on Multi-Agent Systems (EUMAS 2017). bib  
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2017). "Model-checking for Resource-Bounded ATL with production and consumption of resources." Journal of Computer and System Sciences, 88, 126-144. bib pdf
Natasha Alechina, Mehdi Dastani, and Brian Logan (2017). "Uniform Strategies under Bounded Resources." Proceedings of the Eighth Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017). bib  
Felli, Paolo, de Silva, Lavindra, Logan, Brian, and Ratchev, Svetan (2017). "Process Plan Controllers for Non-Deterministic Manufacturing Systems." Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) (pp. 1023-1030). bib pdf
Alechina, Natasha, Halpern, Joseph Y., and Logan, Brian (2017). "Causality, Responsibility and Blame in Team Plans." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 1091-1099). bib pdf
Dhirendra Singh, Lin Padgham, and Brian Logan (2017). "Integrating BDI Agents with Agent-Based Simulation Platforms (JAAMAS Extended Abstract)." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 249-250). bib pdf
Brian Logan, John Thangarajah, and Neil Yorke-Smith (2017). "Progressing Intention Progresson: A Call for a Goal-Plan Tree Contest." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 768-772). bib pdf
de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David, and Ratchev, Svetan (2017). "Synthesising Industry-Standard Manufacturing Process Controllers (Demonstration)." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 1811-1813). bib pdf
Natasha Alechina, Nils Bulling, Brian Logan, and Hoang Nga Nguyen (2017). "The virtues of idleness: A decidable fragment of resource agent logic." Artificial Intelligence, 245, 56-85. bib pdf
Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2017). "Fair decomposition of group obligations." Journal of Logic and Computation. bib pdf
Natasha Alechina, Joe Halpern, Ian Kash, and Brian Logan (2017). "Incentivising Monitoring in Open Normative Systems." Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017) (pp. 305-311). bib pdf
Bakker, Otto J., Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian, and Ratchev Svetan (2017). "Towards Process Control from Formal Models of Transformable Manufacturing Systems." Proceedings of the 50th CIRP Conference on Manufacturing Systems. bib  
 
2016
Natasha Alechina, Mehdi Dastani, and Brian Logan (2016). "Verifying Existence of Resource-Bounded Coalition Uniform Strategies." Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (pp. 24-30). bib pdf
Brian Logan (2016). "Future Directions in Agent Programming." ALP Newsletter. bib pdf
Yuan Yao, Brian Logan, and John Thangarajah (2016). "Intention Selection with Deadlines." Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) (pp. 1700-1701). bib pdf
de Silva, Lavindra, Paolo Felli, Chaplin, Jack C., Brian Logan, David Sanderson, and Svetan Ratchev (2016). "Realisability of Production Recipes." Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) (pp. 1449-1457). bib pdf
Yuan Yao and Brian Logan (2016). "Action-Level Intention Selection for BDI Agents." Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (pp. 1227-1235). bib pdf
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, and Brian Logan (2016). "Decentralised Norm Monitoring in Open Multi-Agent Systems." Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (pp. 1399-1400). bib pdf
Yuan Yao, Brian Logan, and John Thangarajah (2016). "Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions." Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16) (pp. 2558-2564). bib pdf
Dhirendra Singh, Lin Padgham, and Brian Logan (2016). "Integrating BDI Agents with Agent-Based Simulation Platforms." Autonomous Agents and Multi-Agent Systems, 30(6), 1050-1071. bib  
Sergio Altomonte, Brian Logan, Markus Feisst, Peter Rutherford, and Robin Wilson (2016). "Interactive and situated learning in education for sustainability." International Journal of Sustainability in Higher Education, 17(3), 417-443. bib  
Alechina, Natasha, Bulling, Nils, Demri, Stephane, and Logan, Brian (2016). "On the Complexity of Resource-Bounded Logics." Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (pp. 36-50). bib pdf
Paolo Felli, Brian Logan, and Sebastian Sardina (2016). "Parallel Behavior Composition for Manufacturing." Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (pp. 271-278). bib pdf
Yuan Yao, de Silva, Lavindra, and Brian Logan (2016). "Reasoning about the Executability of Goal-Plan Trees." Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers (pp. 176-191). bib pdf
Jiaqi Li, Felipe Meneguzzi, Fagundes, Moser Silva, and Brian Logan (2016). "Reinforcement Learning of of Normative Monitoring Intensities." Coordination, Organizations, Institutions, and Norms in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers (pp. 209-223). bib pdf
Natasha Alechina and Brian Logan (2016). "Verifying Systems of Resource-Bounded Agents." Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings (pp. 3-12). bib pdf
 
2015
H. N. Nguyen, N. Alechina, B. Logan, and A. Rakib (2018). "Aternating-time temporal logic with resource bounds." Journal of Logic and Computation, 28(4), 631-663. (Published online June 2015). bib pdf
Sam Leask and Brian Logan (2015). "Programming Deliberation Strategies in Meta-APL." Proceedings of the 18th Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) (pp. 433-448). bib pdf
Natasha Alechina, Nils Bulling, Brian Logan, and Nguyen, Hoang Nga (2015). "On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 1494-1501). bib pdf
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2015). "Symbolic Model-Checking for One-Resource RB+-ATL." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 1069-1075). bib pdf
J. C. Chaplin, O. J. Bakker, de Silva, L., D. Sanderson, E. Kelly, B. Logan, and S. M. Ratchev (2015). "Evolvable Assembly Systems: A Distribted Architecture for Intelligent Manufacturing." 15th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2015) (pp. 2065-2070). bib  
Natasha Alechina, Nils Bulling, Mehdi Dastani, and Brian Logan (2015). "Practical Run-Time Norm Enforcement with Bounded Lookahead." Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (pp. 443-451). bib pdf
"Natasha Alechina, Brian Logan, Leonardo Mostarda, Nguyen, Hoang Nga, and Franco Raimondi", (2015). "Symbolic Model-Checking for Resource-Bounded ATL." Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (pp. 1809-1810). bib pdf
Heshan Du, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, and John Goodwin (2015). "Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data." Proceedings of the Twenty-Seventh Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-15) (pp. 3948-3953). bib pdf
Brian Logan (2015). "A Future for Agent Programming." Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers (pp. 3-17). bib pdf
N. Alechina, F. Liu, and B. Logan (2015). "Efficient minimal preference change." Journal of Logic and Computation. bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi (2015). "Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources." CoRR, abs/1504.06766. bib  
 
2014
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2014). "Decidable Model-Checking for a Resource Logic with Production of Resources." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 9-14). bib pdf
Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2014). "Fair Allocation of Group Tasks According to Social Norms." Computational Logic in Multi-Agent Systems, 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 (pp. 19-34). bib pdf
Yuan Yao, Brian Logan, and John Thangarajah (2014). "SP-MCTS-based Intention Scheduling for BDI Agents." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 1133-1134). bib pdf
Lee, JeeHang, Julian Padget, Brian Logan, Daniela Dybalova, and Natasha Alechina (2014). "N-Jason: Run-Time Norm Compliance in AgentSpeak(L)." Proceedings of the 2nd International Workshop on Engineering Multi-agent Systems (EMAS 2014). bib pdf
Natasha Alechina, Mehdi Dastani, and Brian Logan (2014). "Norm Approximation for Imperfect Monitors." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 117-124). bib pdf
Felipe Meneguzzi, Brian Logan, and Fagundes, Moser Silva (2014). "Norm Monitoring with Asymmetric Information (Extended Abstract)." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 1523-1524). bib pdf
Natasha Alechina, Fenrong Liu, and Brian Logan (2014). "Postulates and a linear-time algorithm for minimal contraction of preferences." Proceedings of the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2014). bib pdf
Lee, JeeHang, Julian Padget, Brian Logan, Daniela Dybalova, and Natasha Alechina (2014). "Run-Time Norm Compliance in BDI Agents (Extended Abstract)." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 1581-1582). bib pdf
Doan, Thu Trang, Yuan Yao, Natasha Alechina, and Brian Logan (2014). "Verifying Heterogeneous Multi-Agent Programs." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 149-156). bib pdf
Brian Logan (2014). "What Does It Mean to Have an Architecture?." In Wyatt, Jeremy L., Petters, Dean D., and Hogg, David, editors, From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition, Springer (pp. 75-88). A Collection in Honour of Aaron Sloman. bib pdf
 
2013
Natasha Alechina, Mehdi Dastani, and Brian Logan (2013). "Reasoning about Normative Update." Proceedings of the 11th European Workshop on Multi-Agent Systems (EUMAS 2013). bib  
Natasha Alechina, Mehdi Dastani, and Brian Logan (2013). "Reasoning about Normative Update." "Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI (pp. 20-26). bib pdf
Natasha Alechina, Fenrong Liu, and Brian Logan (2013). "Minimal preference change." Proceedings Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV) (pp. 15-26). bib pdf
Natasha Alechina, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Jomi Hubner, Brian Logan, Hai Nguyen, and van Zee, Marc (2013). "Multi-Cycle Query Caching in Agent Programming." Proceedings of the Twenty-Seventh AAAI Conferernce on Artificial Intelligence (AAAI 2013) (pp. 32-38). bib pdf
Daniela Dybalova, Bas Testerink, Mehdi Dastani, and Brian Logan (2013). "A Framework for Programming Norm-Aware Multi-Agent Systems." Proceedings of the 15th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2013). bib pdf
Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik (2013). "Computational Models for Normative Multi-Agent Systems." In Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre, editors, Normative Multi-Agent Systems, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (pp. 71-92). bib pdf
Xiaofan Liu, Natasha Alechina, and Brian Logan (2013). "Expressing User Access Authorization Exceptions in Conventional Role-based Access Control." Proceedings of the 9th International Conference on Information Security Practice and Experience (ISPEC 2013) (pp. 233-247). bib  
Mehdi Dastani, Jomi F. H\"ubner, and Brian Logan, editors (2013). Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers, Springer. bib  
Natasha Alechina, Tristan Behrens, Koen Hindriks, and Brian Logan (2013). "Query Caching in Agent Programming Languages." Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers (pp. 123-137). bib pdf
 
2012
Natasha Alechina, Tristan Behrens, Koen Hindriks, and Brian Logan (2012). "Query Caching in Agent Programming Languages." Proceedings of the Tenth International Workshop on Programming Multi-Agent Systems (ProMAS 2012) (pp. 117-131). bib pdf
John A. Fozard, Michael Lees, John R. King, and Brian S. Logan (2012). "Inhibition of quorum sensing in a computational biofilm simulation." BioSystems, 109(2), 105-114. bib pdf
Hai Nguyen, Natasha Alechina, and Brian Logan (2012). "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." Proceedings of the 25th International Workshop on Description Logics (DL 2012) (pp. 290-300). CEUR Workshop Proceedings Vol-846. bib pdf
Julian Zappala, Natasha Alechina, and Brian Logan (2012). "Consensus Games (Extended Abstract)." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1309-1310). bib pdf
Julian Zappala, Natasha Alechina, and Brian Logan (2012). "Consensus Games." Proceedings of the Third Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2012) (pp. 58-72). bib pdf
Natasha Alechina, Mehdi Dastani, and Brian Logan (2012). "Programming Norm-Aware Agents." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1057-1064). bib pdf
Daniel Kiss, Neil Madden, and Brian Logan (2012). "Atomic Intentions in Jason+." Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, Canada, May 10-15, 2010. Revised Selected Papers (pp. 79-95). bib pdf
Jurgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke (2012). "Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)." Dagstuhl Reports, 2(8), 74-98. bib  
 
2011
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2011). "Logic for coalitions with bounded resources." Journal of Logic and Computation, 21(6), 907-937. bib pdf
Markus Feisst, Brian Logan, and Sergio Altomonte (2011). "EDUCATE on SITE: User Acceptance of Mobile Web Applications in Architectural Education." 10th World Conference on Mobile and Contextual Learning (mLearn 2011) (pp. 78-80). bib  
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2011). "Reasoning about plan revision in BDI agent programs." Theoretical Computer Science, 412(44), 6115-6134. bib pdf
Julian Zappala, Natasha Alechina, and Brian Logan (2011). "Consensus Action Games." Proceedings of the IJCAI-2011 Workshop on Social Choice and Artificial Intelligence (pp. 105-110). (Archived as ILLC Technical Note X-2011-02). bib pdf
Konstantin Vikhorev, Natasha Alechina, and Brian Logan (2011). "Agent programming with priorities and deadlines." Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) (pp. 397-404). bib pdf
Konstantin Vikhorev, Natasha Alechina, Rafael Bordini, and Brian Logan (2011). "An Operational Semantics for AgentSpeak(RT) (Preliminary Report)." Proceedings of the Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011) (pp. 79-94). bib pdf
Doan Thu Trang, Natasha Alechina, and Brian Logan (2011). "The agent programming language meta-APL." Proceedings of the Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011) (pp. 72-87). bib pdf
Russell A. Hill, Brian Logan, William I. Sellers, and Julian Zappala (2011). "An Agent-Based Model of Group Decision Making in Baboons." In Anil K. Seth, Tony J. Prescott, and Joanna J. Bryson, editors, Modelling Natural Action Selection, Cambridge University Press (pp. 454-476). bib  
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2011). "Reasoning about agent deliberation." Autonomous Agents and Multi-Agent Systems, 22(2), 356-381. bib pdf
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (pp. 69-84). bib pdf
 
2010
Natasha Alechina and Brian Logan (2010). "Computationally grounded account of belief and awareness for AI agents." Proceedings of the Third International Workshop on Logics for Resource-Bounded Agents (pp. 1-14). bib pdf
Liu Xiaofan, Natasha Alechina, and Brian Logan (2010). "Syntax and Semantics for Business Rules." Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems (KES'2010) (pp. 41-50). bib  
Hai Nguyen, Natasha Alechina, and Brian Logan (2010). "Ontology Debugging with Truth Maintenance Systems." ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes (pp. 13-14). bib pdf
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2010). "Resource-bounded alternating-time temporal logic." Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (pp. 481-488). bib pdf
Natasha Alechina and Brian Logan (2010). "Belief ascription under bounded resources." Synthese, 173(2), 179-197. bib pdf
Julian Zappala and Brian Logan (2010). "Effects of Resource Availability on Consensus Decision Making in Primates." Computational and Mathemtical Organization Theory, 16, 400-415. bib pdf
Neil Madden and Brian Logan (2010). "User evaluation of virtual reporting agents." Proceedings of the Third Workshop on Intelligent Narrative Technologies (INT3'10) (pp. 1-8). bib pdf
Natasha Alechina, Mehdi Dastani, Fahad Khan, Brian Logan, and Meyer, John-Jules Ch. (2010). "Using Theorem Proving to Verify Properties of Agent Programs." In Dastani, Mehdi, Hindriks, Koen V., and Meyer, John-Jules Ch., editors, Specification and Verification of Multi-agent Systems, Springer (pp. 1-34). bib pdf
Neil Madden and Brian Logan (2009). "Modularity and compositionality in Jason." Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers (pp. 237-253). bib pdf
 
2009
Julian Zappala and Brian Logan (2009). "Effects of Resource Availability on Consensus Decision Making in Primates." Proceedings of the Social Simulation Workshop at the International Joint Conference on Artificial Intelligence (SS\@IJCAI). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Expressing Properties of Coalitional Ability under Resource Bounds." Proceedings Second International Workshop on Logic, Rationality and Interaction (LORI-II) (pp. 1-14). bib pdf
Konstantin Vikhorev, Natasha Alechina, and Brian Logan (2009). "The ARTS Real-Time Agent Architecture." Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). CEUR Workshop Proceedings Vol-494. bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2009). "Analysing Probabilistically Constrained Optimism." Concurrency and Computation: Practice and Experience, 21(11), 1467-1482. bib pdf
Natasha Alechina, Brian Logan, and Nguyen Hoang (2009). "Verifying Properties of Coalitional Ability under Resource Bounds." Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "A Logic for Coalitions with Bounded Resources." Proceedings of the Twenty First International Joint Conference on Artificial Intelligence (pp. 659-664). bib pdf
Doan Thu Trang, Brian Logan, and Natasha Alechina (2009). "Verifying Dribble Agents." Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes (pp. 162-177). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying time, memory and communication bounds in systems of reasoning agents." Synthese, 169(2), 385-403. bib pdf
Natasha Alechina and Brian Logan (2009). "A logic of situated resource-bounded agents." Journal of Logic, Language and Information, 18(1), 79-95. bib pdf
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan (2009). "Bounded-resource Reasoning as (Strong or Classical) Planning." Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 2008, Revised Selected and Invited Papers (pp. 77-96). bib  
Thomas Chesney, Iain Coyne, Brian Logan, and Neil Madden (2009). "Griefing in Virtual Worlds: Causes, Casualties and Coping Strategies." Information Systems Journal, 19, 525-548. bib  
Iain Coyne, Thomas Chesney, Brian Logan, and Neil Madden (2009). "Griefing in a virtual community: An Exploratory survey of Second Life residents." Zeitschrift für Psychologie/Journal of Psychology, 217, 214-221. Special Addition on Cyberbullying: Abusive Relationships in Cyberspace. bib  
Neil Madden and Brian Logan (2009). "Modularity and compositionality in Jason." Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS 2009). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Reasoning about other agents' beliefs under bounded resources." Post-proceedings of KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 (pp. 1-15). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying Time and Communication Costs of Rule-Based Reasoners." Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers. bib pdf
 
2008
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time, memory and communication bounds in systems of reasoning agents." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 736-743). bib pdf
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan (2008). "Bounded-resource Reasoning as (Strong or Classical) Planning." Proceedings of the Ninth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX). bib  
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Reasoning about other agents' beliefs under bounded resources." Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008) (pp. 4-18). bib pdf
Dan Chen, Ronald Ewald, Georgios Theodoropoulos, and Robert Minson, Ton Oguara, Michael Lees, Brian Logan, and Adelinde M. Uhrmacher (2008). "Data Access in Distributed Simulations of Multi-agent Systems." Journal of Systems and Software, 81(2), 2345-2360. bib pdf
Natasha Alechina, Mark Jago, and Brian Logan (2008). "Preference-based belief revision for rule-based agents." Synthese, 165(1), 159-177. bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2008). "Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS." Simulation, 84(10/11), 481-492. bib  
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying Resource Requirements for Distributed Rule-Based Systems." Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML 2008) (pp. 31-38). bib pdf
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2008). "Reasoning About Agent Deliberation." Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08) (pp. 16-26). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time and communication costs of rule-based reasoners." Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence (MoChArt-2008). bib pdf
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2008). "Reasoning about agent execution strategies (Short Paper)." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 1455-1458). bib pdf
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verification of Resource Requirements of Distributed Reasoning Agents." Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008). bib pdf
 
2007
William I. Sellers, Russell A. Hill, and Brian Logan (2007). "An Agent-Based Model of Group Decision Making in Baboons." Philosophical Transactions of the Royal Society B: Biological Sciences, 362(1485), 1699-1710. bib pdf
Natasha Alechina and Brian Logan (2007). "A logic of situated resource-bounded agents." Proceedings of the Workshop on Logics for Resource-Bounded Agents (pp. 25-39). bib pdf
Michael Lees, Brian Logan, and John King (2007). "Multiscale Models of Bacterial Populations." Proceedings of the 2007 Winter Simulation Conference (pp. 881-890). bib pdf
Neil Madden and Brian Logan (2007). "Collaborative Narrative Generation in Persistent Virtual Environments." Intelligent Narrative Technologies: Papers from the 2007 AAAI Fall Symposium (pp. 71-78). Technical Report FS--07--05. bib pdf
Brian Logan (2007). "Evaluating Agent Architectures Using Simulation." Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop (pp. 40-43). Technical Report WS--07--04. bib pdf
Natasha Alechina and Brian Logan (2007). "Formal Evaluation of Agent Architectures." Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop (pp. 1-4). Technical Report WS--07--04. bib pdf
Thomas Chesney, Iain Coyne, Brian Logan, and Neil Madden (2007). "A design for researching virtual worlds---opportunities and limitations." Proceedings of the 15th European Conference on Information Systems (ECIS). bib pdf
Michael Lees, Brian Logan, and John King (2007). "HLA Simulation of Agent-Based Bacterial Models." Proceedings of the 2007 European Simulation Interoperability Workshop. 07E-SIW-032. bib pdf
Michael Lees, Brian Logan, and John King (2007). "BacGrid: simulations of bacteria using the grid." BMC Systems Biology, 1((Suppl 1):S5). bib  
Michael Lees, Brian Logan, and John King (2007). "The Architecture and Implementation of the BacGrid Simulator." Technical report. University of Nottingham, . bib pdf
Michael Lees, Brian Logan, and John King (2007). "BacGrid: Simulations of Bacteria using the Grid." BioSysBio: Systems Biology, Bioinformatics and Synthetic Biology. (poster). bib  
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2007). "A Logic of Agent Programs." Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007) (pp. 795-800). bib pdf
Natasha Alechina, Mark Jago, and Brian Logan (2007). "Belief Revision for Rule-Based Agents." A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 (pp. 99-113). bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2007). "Distributed simulation of agent-based systems with HLA." ACM Transactions on Modeling and Computer Simulation, 17(3), Article 11. bib pdf
 
2006
Michael Lees, Brian Logan, and Chen Dan, Ton Oguara, and Georgios Theodoropoulos (2006). "Analysing Probabilistically Constrained Optimism." Proceedings of the Tenth IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2006) (pp. 201-208). bib pdf
John King, Michael Lees, and Brian Logan (2006). "Agent-Based and Continuum Modelling of Populations of Cells." Technical report. University of Nottingham, . bib pdf
Brian Logan, Michael Lees, and John King (2006). "BacGrid: Large Scale Systems Biology Simulation on the Grid." Winter Simulation Conference, Track on Modelling and Simulation in Computational Biology. (poster). bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2006). "Agents, games and HLA." Simulation Modelling Practice and Theory, 14(6), 752-767. bib pdf
Michael Lees, Brian Logan, and Chen Dan, Ton Oguara, and Georgios Theodoropoulos (2006). "Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems." Proceedings of the Twentieth ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2006) (pp. 37-44). bib pdf
Dan Fielding, Brian Logan, and Steve Benford (2006). "Balancing the needs of players and spectators in agent-based commentary systems." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 996-998). bib pdf
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hubner, Mark Jago, and Brian Logan (2006). "Belief Revision for AgentSpeak Agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 1288-1290). bib pdf
Georgios Theodoropoulos, Yi Zhang, and Dan Chen, Robert Minson, Stephen J. Turner, Wentong Cai, Yong Xie, and Brian Logan (2006). "Large Scale Distributed Simulation on the Grid." Sixth IEEE International Symposium on Cluster Computing and the Grid Workshops (CCGRIDW'06) (pp. 63). bib pdf
Ronald Ewald, Chen Dan, Ton Oguara, Georgios Theodoropoulos, Michael Lees, Brian Logan, and Ton Oguara, and Adelinde M. Uhrmacher (2006). "Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of MAS." Proceedings of the Twentieth ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2006) (pp. 29-36). bib pdf
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 217-219). bib pdf
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006) (pp. 16-30). bib pdf
Natasha Alechina, Rafael Bordini, Jomi Hubner, Mark Jago, and Brian Logan (2006). "Automating Belief Revision for AgentSpeak." Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006). bib pdf
Natasha Alechina, Mark Jago, and Brian Logan (2006). "Modal logics for communicating rule-based agents." Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (pp. 322-326). bib pdf
Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini (2006). "Model-checking memory requirements of resource-bounded reasoners." Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06) (pp. 213-218). bib pdf
Natasha Alechina, Mark Jago, and Brian Logan (2006). "Resource-Bounded Belief Revision and Contraction." Declarative Agent Languages and Technologies III, Third InternationalWorkshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers (pp. 141-154). bib pdf
 
2005
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano (2005). "Verifying space and time requirements for resource-bounded agents." Technical report. ITC-irst, T05-10-03. bib pdf
Natasha Alechina and Brian Logan (2005). "Verifying bounds on deliberation time in multi-agent systems." Proceedings of the Third European Workshop on Multiagent Systemss (EUMAS'05) (pp. 25-34). bib pdf
Ella Tallyn, Boriana Koleva, Brian Logan, Dan Fielding, Steve Benford, Giulia Gelmini, and Neil Madden (2005). "Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds." Proceedings of the Third International Conference on Virtual Storytelling (ICVS 2005) (pp. 179-188). bib pdf
Ton Oguara, Dan Chen, Georgios Theodoropoulos, Brian Logan, and Michael Lees (2005). "An Adaptive Load Management Mechanism for Distributed Simulation of Multi-Agent Systems." Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2005) (pp. 179-186). bib pdf
Michael Lees, Brian Logan, Chen Dan, Ton Oguara, and Georgios Theodoropoulos (2005). "Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems." Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2005) (pp. 171-178). bib pdf
Neil Madden and Brian Logan (2005). "It's About Time." Proceedings of the Ninteenth International Joint Conference on Artificial Intelligence (IJCAI 2005) (pp. 1511-1512). (poster). bib pdf
William I. Sellers, Russell A. Hill, and Brian Logan (2005). "Biorealistic Modelling of Baboon Foraging using Agent-Based Modelling." Modelling Natural Action Selection: Proceedings of an International Workshop (pp. 127-134). bib pdf
Neil Madden and Brian Logan (2005). "Modelling Temporal Phenomena using Temporal Abstraction Networks." Modelling Natural Action Selection: Proceedings an International Workshop (pp. 196-202). bib pdf
Natasha Alechina, Mark Jago, and Brian Logan (2005). "Resource-bounded belief revision and contraction." Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT 2005) (pp. 118-131). bib pdf
Yi Zhang, Georgios Theodoropoulos, Rob Minson, Stephen Turner, Wentong Cai, Yong Xie, and Brian Logan (2005). "Grid-Aware Large Scale Distributed Simulation of Agent-Based Systems." Proceedings of the 2005 European Simulation Interoperability Workshop. bib pdf
Brian Logan (2005). "The Simulation of Agent Systems." AgentLink News(17), 4-5. (Invited feature article). bib  
Elizabeth Gordon and Brian Logan (2005). "Managing Goals and Resources in Dynamic Environments." In Darryl N. Davis, editors, Visions of Mind: Architectures for Cognition and Affect, Idea Group (pp. 225-253). bib pdf
Paul Davidsson, Brian Logan, and Keiki Takadama, editors (2005). Multi-Agent and Multi-Agent-Based Simulation: Joint Workshop MABS 2004, Springer. bib  
 
2004
Cyril Schoreels, Brian Logan, and Jonathan M. Garibaldi (2004). "Agent based Genetic Algorithm Employing Financial Technical Analysis for Making Trading Decisions Using Historical Equity Market Data." Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004) (pp. 421-424). bib pdf
Natasha Alechina, Brian Logan, and Mark Whitsey (2004). "Modelling Communicating Agents in Timed Reasoning Logics." Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004) (pp. 95-107). bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2004). "Time Windows in Multi-Agent Distributed Simulation." Proceedings of the 5th EUROSIM Congress on Modelling and Simulation (EuroSim'04). bib pdf
Natasha Alechina, Brian Logan, and Mark Whitsey (2004). "A Complete and Decidable Logic for Resource-Bounded Agents." Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (pp. 606-613). bib pdf
Elizabeth Gordon and Brian Logan (2004). "Game Over: You have been beaten by a GRUE." Challenges in Game Artificial Intelligence: Papers from the 2004 AAAI Workshop (pp. 16-21). Technical Report WS--04--04. bib pdf
Dan Fielding, Mike Fraser, Brian Logan, and Steve Benford (2004). "Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games." Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (pp. 1530-1531). bib pdf
Dan Fielding, Mike Fraser, Brian Logan, and Steve Benford (2004). "Extending Game Participation with Embodied Reporting Agents." Proceedings of the ACM SIGCHI International Conference on Advances in Computer Entertainment Technology (ACE 2004). bib pdf
Michael Lees, Brian Logan, Ton Oguara, and Georgios Theodoropoulos (2004). "HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA." Proceedings of the International Conference on Computational Science (ICCS'04) (pp. 907-915). bib pdf
Michael Lees, Brian Logan, Rob Minson, Ton Oguara, and Georgios Theodoropoulos (2004). "Distributed Simulation of MAS." Multi-Agent and Multi-Agent-Based Simulation: Joint Workshop MABS 2004 (pp. 25-36). bib pdf
Michael Lees, Brian Logan, Rob Minson, Ton Oguara, and Georgios Theodoropoulos (2004). "Modelling Environments for Distributed Simulation." Environments for Multi-Agent Systems: Proceedings of the the First International Workshop (E4MAS'04) (pp. 150-167). bib pdf
 
2003
Elizabeth Gordon and Brian Logan (2003). "A Goal Processing Architecture for Game Agents." Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003) (pp. 998-999). bib pdf
Michael Lees, Brian Logan, Ton Oguara, and Georgios Theodoropoulos (2003). "Simulating Agent-Based Systems with HLA: The case of SIM_AGENT -- Part II." Proceedings of the 2003 European Simulation Interoperability Workshop. bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2003). "Adaptive Optimistic Synchronisation for Multi-Agent Simulation." Proceedings of the 17th European Simulation Multiconference (ESM 2003) (pp. 77-82). bib pdf
 
2002
Natasha Alechina and Brian Logan (2002). "Grounding Knowledge and Action Selection in Agent-Based Systems." Working Notes of the Fifth UK Workshop on Multi-Agent Systems (UKMAS 2002). bib  
Natasha Alechina and Brian Logan (2002). "Grounding Knowledge and Action Selection in Agent-Based Systems." Proceedings of the Workshop on Logics for Agent-Based Systems (LABS) at the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002) (pp. 61-73). bib pdf
Natasha Alechina and Brian Logan (2002). "Ascribing beliefs to resource bounded agents." Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002) (pp. 881-888). bib pdf
Michael Lees, Brian Logan, and Georgios Theodoropoulos (2002). "Simulating Agent-Based Systems with HLA: The case of SIM_AGENT." Proceedings of the 2002 European Simulation Interoperability Workshop (pp. 285-293). bib pdf
Brian Logan, Mike Fraser, Daniel Fielding, Steve Benford, Chris Greenhalgh, and Pilar Herrero (2002). "Keeping in Touch: Agents Reporting from Collaborative Virtual Environments." Artificial Intelligence and Interactive Entertainment: Papers from the 2002 AAAI Symposium (pp. 62-68). Technical Report SS--02--01. bib pdf
 
2001
Georgios Theodoropoulos and Brian Logan (2001). "An Approach to Interest Management and Dynamic Load Balancing in Distributed Simulation." Proceedings of the 2001 European Simulation Interoperability Workshop (pp. 565-571). bib pdf
Natasha Alechina and Brian Logan (2001). "State space search with prioritised soft constraints." Applied Intelligence, 14(3), 263-272. bib pdf
Matthias Scheutz and Brian Logan (2001). "Affective vs. Deliberative Agent Control." Proceedings of the AISB'01 Symposium on Emotion, Cognition and Affective Computing (pp. 1-10). bib pdf
Brian Logan and Georgios Theodoropoulos (2001). "The Distributed Simulation of Multi-Agent Systems." Proceedings of the IEEE, 89(2), 174-186. bib pdf
Natasha Alechina and Brian Logan (2001). "Logical omniscience and the cost of deliberation." Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01) (pp. 100-109). bib pdf
 
2000
Matthias Scheutz, Aaron Sloman, and Brian Logan (2000). "Emotional States and Realistic Agent Behaviour." Proceedings of the First International Conference on Intelligent Games and Simulation (pp. 81-88). bib pdf
Georgios Theodoropoulos and Brian Logan (2000). "A Unified Framework for Interest Management and Dynamic Load Balancing in Distributed Simulation." Proceedings of the Twelfth European Simulation Symposium (ESS-2000) (pp. 111-115). bib pdf
Brian Logan (2000). "A design study for an Attention Filter Penetration architecture." Proceedings of the AISB'00 Symposium on How to Design a Functioning Mind (pp. 94-101). bib pdf
Brian Logan and Georgios Theodoropoulos (2000). "Dynamic Interest Management in the Distributed Simulation of Agent-Based Systems." Proceedings of the Tenth Conference on AI, Simulation and Planning, AIS-2000 (pp. 45-50). bib pdf
 
1999
Brian Logan (1999). "The Distributed Simulation of Multi-Agent Systems." Agent Oriented Approaches in Distributed Modelling and Simulation: Challenges and Methodologies (pp. 22). (Abstract). bib  
Aaron Sloman and Brian Logan (2000). "Evolvable Architectures for Human-Like Minds." In G. Hatano, N. Okada, and H. Tanabe, editors, Affective Minds, Elsevier (pp. 169-181). bib pdf
Georgios Theodoropoulos and Brian Logan (1999). "A Framework for the Distributed Simulation of Agent-based Systems." Modelling and Simulation: a tool for the next millennium, Proceedings of the 13th European Simulation Multiconference (ESM'99) (pp. 58-65). bib pdf
Aaron Sloman and Brian Logan (1999). "Building Cognitively Rich Agents Using the SIM_AGENT Toolkit." Communications of the ACM, 42(3), 71-77. bib pdf
Georgios Theodoropoulos and Brian Logan (1999). "Distributed Simulation of Agent-based Systems." Developments in Computational Mechanics with High Performance Computing: Proceedings of the Third Euro-conference on Parallel and Distributed Computing for Computational Mechanics (pp. 147-154). bib  
Brian Logan (1999). "Software Tools for Developing Agents (workshop report)." AI Magazine, 20(1), 124-125. bib  
 
1998
Natasha Alechina and Brian Logan (1998). "State space search with prioritised soft constraints." Proceedings of the ECAI-98 Workshop `Decision theory meets artificial intelligence: qualitative and quantitative approaches' (pp. 33-42). bib pdf
Brian Logan (1998). "Classifying agent systems." Software Tools for Developing Agents: Papers from the 1998 Workshop (pp. 11-21). Technical Report WS--98--10. bib pdf
Aaron Sloman and Brian Logan (1998). "Cognition and affect: Architectures and tools." Proceedings of the Second International Conference on Autonomous Agents (pp. 471-472). bib pdf
Brian Logan and Natasha Alechina (1998). "A* with bounded costs." Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI-98 (pp. 444-449). bib pdf
Aaron Sloman and Brian Logan (1998). "Architectures and tools for human-like agents." Proceedings of the Second European Conference on Cognitive Modelling, ECCM-98 (pp. 58-65). bib pdf
Jeremy Baxter and Brian Logan, editors (1998). Software Tools for Developing Agents: Papers from the 1998 Workshop, AAAI Press. bib  
 
1997
Brian Logan (1997). "Route Planning with Ordered Constraints." Proceedings of the 16th Workshop of the UK Planning and Scheduling Special Interest Group (pp. 133-144). bib pdf
Aaron Sloman and Brian Logan (1997). "Synthetic minds." Proceedings of the First International Conference on Autonomous Agents (pp. 534-535). bib  
 
1996
Brian Logan and Riccardo Poli (1996). "Route planning in the space of complete plans." Proceedings of the 15th Workshop of the UK Planning and Scheduling Special Interest Group (pp. 233-240). bib pdf
Brian Logan and Riccardo Poli (1996). "Route planning with GA*." Proceedings of the First Online Workshop on Soft Computing WSC1 (pp. 99-103). bib  
Riccardo Poli and Brian Logan (1996). "The evolutionary computation cookbook: Recipes for designing new algorithms." Proceedings of the Second Online Workshop on Evolutionary Computation. bib  
 
1995
Brian Logan (1995). "Understanding Problem Structure as Heuristic Formation in Design." Temes de Disseny(12), 165-228. bib pdf
 
1994
B. Logan, S. Reece, and K. Sparck Jones (1994). "Modelling Information Retrieval Agents with Belief Revision." Proceedings of the 17th International ACM-SIGIR Conference on Research and Development in Information Retrieval (SIGIR'94) (pp. 91-100). bib pdf
B. Logan, S. Reece, A. Cawsey, J. Galliers, and K. Sparck Jones (1994). "Belief Revision and Dialogue Management in Information Retrieval." Technical report. University of Cambridge Computer Laboratory, 339. bib pdf
 
1993
Brian Logan and Tim Smithers (1993). "Creativity and design as exploration." Modeling Creativity and Knowledge-Based Creative Design (pp. 139-175). bib  
A. Cawsey, J. Galliers, B. Logan, S. Reece, and K. Sparck Jones (1993). "Revising Beliefs and Intentions: A Unified Framework for Agent Interaction." Prospects for Artificial Intelligence: Proceedings of AISB'93, The Ninth Biennial Conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (pp. 130-139). bib pdf
 
1992
David Corne, Brian Logan, and Tim Smithers (1992). "A fundamental tradeoff in intelligent design support." Proceedings of the Sixth International Conference on Systems Research, Informatics and Cybernetics, Focus Symposium on Advances in Computer-Based Design Environments. bib  
Brian Logan, David Corne, and Tim Smithers (1992). "Enduring support: on defeasible reasoning in design." Artificial Intelligence in Design '92 (pp. 433-454). bib pdf
Brian Logan, David Corne, and Tim Smithers (1992). "The Edinburgh Designer System: an architecture for solving ill-structured problems." Proceedings of the Tenth European Conference on Artificial Intelligence (pp. 282-286). bib  
Brian Logan, David Corne, and Tim Smithers (1992). "Using reason maintenance systems to support ill-structured problem solving." Proceedings of the Workshop on the Applications of Reason Maintenance Systems (held in conjunction with ECAI'92). bib  
 
1991
Brian Logan, Karl Millington, and Tim Smithers (1991). "Being economical with the truth: assumption-based context management in the Edinburgh Designer System." Artificial Intelligence in Design '91 (pp. 423-446). bib