logo
School of Computer Science
   
   
  
 

Image of Brian Logan

Brian Logan

Associate Professor, Faculty of Science

Contact

Research Summary

My research interests lie in the area of agent systems, and spans the specification, design and implementation of agents, including agent architectures, agent programming languages and logics and… read more

Recent Publications

  • NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and JOHN-JULES CH. MEYER, 2011. Reasoning about plan revision in BDI agent programs Theoretical Computer Science. 12(44), 6115-6134
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2011. Logic for coaliations with bounded resources Journal of Logic and Computation. 21(6), 907-937
  • KONSTANTIN VIKHOREV, NATASHA ALECHINA and BRIAN LOGAN, 2011. Agent programming with priorities and deadlines In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 397-404
  • 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, eds., Modelling Natural Action Selection Cambridge University Press. 454-476

Current Research

My research interests lie in the area of agent systems, and spans the specification, design and implementation of agents, including agent architectures, agent programming languages and logics and theories for agent-based systems. I am also interested in applications of agents, particularly in virtual environments and in simulation.

  • NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and JOHN-JULES CH. MEYER, 2011. Reasoning about plan revision in BDI agent programs Theoretical Computer Science. 12(44), 6115-6134
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2011. Logic for coaliations with bounded resources Journal of Logic and Computation. 21(6), 907-937
  • KONSTANTIN VIKHOREV, NATASHA ALECHINA and BRIAN LOGAN, 2011. Agent programming with priorities and deadlines In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 397-404
  • 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, eds., Modelling Natural Action Selection Cambridge University Press. 454-476
  • NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and MEYER, JOHN-JULES CH., 2010. Reasoning about agent deliberation Autonomous Agents and Multi-Agent Systems. 1-26
  • NATASHA ALECHINA and BRIAN LOGAN, 2010. Belief ascription under bounded resources Synthese. 173(2), 179-197
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2010. Resource-bounded alternating-time temporal logic In: Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). 481-488
  • 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
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and ABDUR RAKIB, 2009. A Logic for Coalitions with Bounded Resources In: Proceedings of the Twenty First International Joint Conference on Artificial Intelligence. 659-664
  • MICHAEL LEES, BRIAN LOGAN and GEORGIOS THEODOROPOULOS, 2009. Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS Simulation. 84(10/11), 481-492
  • MICHAEL LEES, BRIAN LOGAN and GEORGIOS THEODOROPOULOS, 2009. Analysing Probabilistically Constrained Optimism Concurrency and Computation: Practice and Experience. 21(11), 1467-1482
  • CHESNEY, THOMAS, COYNE, IAIN, LOGAN, BRIAN and MADDEN, NEIL, 2009. Griefing in Virtual Worlds: Causes, Casualties and Coping Strategies Information Systems Journal. 19, 525-548
  • NATASHA ALECHINA, MEHDI DASTANI, BRIAN LOGAN and JOHN-JULES CH. MEYER, 2008. Reasoning About Agent Deliberation In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR`08). 16-26
  • NATASHA ALECHINA, MARK JAGO and BRIAN LOGAN, 2008. Preference-based belief revision for rule-based agents Synthese. 165(2), 159-177
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and ABDUR RAKIB, 2008. 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). 736-743
  • DAN CHEN, RONALD EWALD, GEORGIOS THEODOROPOULOS, , 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
  • LEES, M and LOGAN, B. AND KING J., 2007. HLA Simulation of Agent-Based Bacterial Models In: European Simulation Interoperability Workshop, Genoa, 18-20 June 2007. 07E-SIW-032
  • LEES, M and LOGAN, B. AND KING J., 2007. Multiscale Models of Bacterial Populations. In: HENDERSON, S. G, BILLER, B, HSIEH, M.-H, SHORTLE, J and AND TEW, J. D. AND BARTON, R. R., eds., Proceedings of the 2007 Winter Simulation Conference IEEE Press. 881-890
  • ALECHINA, A and JAGO, M. AND LOGAN, B., 2007. Belief Revision for Rule-Based Agents. In: VAN BENTHEM, J and JU, S. AND VELTMAN, F., eds., A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 College Publications. 99-113
  • CHESNEY, T., COYNE, I., LOGAN, B. and MADDEN, N., 2007. A design for researching virtual worlds - opportunities and limitations In: European Conference on Information Systems.
  • LEES, M., LOGAN, B. and THEODOROPOULOS, G., 2007. Distributed Simulation of Agent-Based Systems with HLA ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION. VOL 17(NUMB 3), Article 11
  • SELLERS, W.I., HILL, R.A. and LOGAN, B.S., 2007. An agent-based model of group decision making in baboons Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences. 362(1485), 1699-1710
  • ALECHINA, N., DASTANI, M., LOGAN, B.S. and MEYER, J.-J. CH., 2007. A logic of agent programs In: Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, 22-26 July 2007. 795-800
  • LEES, M., LOGAN, B., CHEN, D., OGUARA, T. and THEODOROPOULOS, G., 2006. Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems In: Proceedings of the Twentieth ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. 37--44
  • EWALD, R., CHEN, D., THEODOROPOULOS, G., LEES, M., LOGAN, B., OGUARA, T. and UHRMACHER, A., 2006. Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of MAS In: Proceedings of the Twentieth ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. 29-36
  • ALECHINA,N., BORDINI,R., HUBNER,J., JAGO,M. and LOGAN,B., 2006. Automating Belief Revision for AgentSpeak. In: BALDONI,M. and ENDRISS, U., eds., Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Selected, Revised and Invited Papers 4327. Springer. 61-77
  • LEES, M., LOGAN, B. and THEODOROPOULOS, G. K., 2006. Agents, games and HLA SIMULATION MODELLING PRACTICE AND THEORY. VOL 14(NUMBER 6), 752-767
  • ALBORE, A., ALECHINA, N., BERTOLI, P., GHIDINI, C., LOGAN, B. and SERAFINI, L., 2006. Model-checking memory requirements of resource-bounded reasoners In: Twenty-first national conference on Artificial Intelligence, Boston, Massachusetts, 16-20 July 2006. 213-218
  • ALECHINA, N., JAGO, M. and LOGAN, B., 2006. Modal logics for communicating rule-based agents In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006). 322-326
  • ALECHINA, N. and LOGAN, B., 2005. Verifying bounds on deliberation time in multi-agent systems In: Proceedings of the Third European Workshop on Multiagent Systems (EUMAS'05). 25-34
  • ALECHINA,N., JAGO,M. and LOGAN,B., 2005. Resource-Bounded Belief Revision and Contraction In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. 141-154
  • ALECHINA,N., LOGAN,B.S. and WHITSEY,M., 2004. Modelling Communicating Agents in Timed Reasoning Logics In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. 95-107
  • ALECHINA,N., LOGAN,B.S. and WHITSEY,M., 2004. A complete and decidable logic for resource-bounded agents In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). 606-613
  • GORDON, E. and LOGAN, B.S., 2003. A Goal Processing Architecture for Game Agents In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent System.
  • LEES, M., LOGAN, B.S. and THEODOROPOULOS, G., 2003. Adaptive Optimistic Synchronisation for Multi Agent Simulation In: Proceedings of the 17th European Simulation Multiconference (ESM 2003).
  • LEES, M., LOGAN, B.S. and THEODOROPOULOS, G., 2002. Simulating Agent-Based Systems with HLA: The Case of Simagent In: Proceedings of the 2002 European Simulation Interoperability Workshop.
  • ALECHINA, N. and LOGAN, B.S., 2002. Grounding Knowledge and Action Selection in Agent-Based Systems In: Proceedings of Workshop on Logics for Agent-Based Systems (LABS).
  • ALECHINA, N. and LOGAN, B.S., 2002. Grounding Knowledge and Action Selection in Agent-Based Systems - Working Notes In: Working Notes of the Fifth (UK) Workshop on Multi-Agent Systems (UKMAS 2002).
  • LOGAN, B.S., FRASER, M.C., FIELDING, D., BENFORD, S.D., GREENHALGH, C.M. and HERRERO, P., 2002. Keeping in touch: agents reporting from collaborative virtual environments In: Artificial Intelligence and Interactive Entertainment: Papers from the 2002 AAAI Symposium.
  • ALECHINA, N. and LOGAN, B.S., 2002. Ascribing beliefs to resource bounded agents In: First International Joint Conference on Autonomous Agents, Bologna, Italy, 15-19 July 2002. 881-888
  • LOGAN, B.S. and THEODOROPOULOS, G., 2001. An Approach to Interest Management and Dynamic Load Balancing in Distributed Simulation In: Proceedings of the 2001 European Simulation Interoperability Workshop, European Office of Aerospace.
  • LOGAN, B.S. and SCHEUTZ, M., 2001. Affective versus Deliberative Agent Control In: Proceedings of AISB 2001 Symposium on Emotion, Cognition and Affective Computing.
  • ALECHINA,N. and LOGAN,B.S., 2001. Logical Omniscience and the Cost of Deliberation In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. 100-109
  • LOGAN, B. and THEODOROPOULOS, G., 2001. The distributed simulation of multiagent systems Proceedings of the IEEE. 89(2), 174-185
  • ALECHINA, N. and LOGAN, B., 2001. State Space Search with Prioritised Soft Constraints Applied Intelligence. VOL 14(PART 3), 263-272
  • SLOMAN, A. and LOGAN, B., 1999. Building Cognitively Rich Agents Using the SIM_AGENT Toolkit Communications of the ACM. VOL 42(NUMBER 3), 71-73

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

telephone: +44 (0) 115 951 4251
fax: +44 (0) 115 951 4254
email: csit-enquiries@cs.nott.ac.uk