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

  • N. ALECHINA, N. BULLING, B. LOGAN and H.N. NGUYEN, 2017. The virtues of idleness: A decidable fragment of resource agent logic Artificial Intelligence.
  • NATASHA ALECHINA, JOE HALPERN, IAN KASH and BRIAN LOGAN, 2017. Incentivising Monitoring in Open Normative Systems In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017).
  • ALECHINA, NATASHA, HALPERN, JOSEPH Y. and LOGAN, BRIAN, 2017. Causality, Responsibility and Blame in Team Plans In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).
  • 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

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.

  • N. ALECHINA, N. BULLING, B. LOGAN and H.N. NGUYEN, 2017. The virtues of idleness: A decidable fragment of resource agent logic Artificial Intelligence.
  • NATASHA ALECHINA, JOE HALPERN, IAN KASH and BRIAN LOGAN, 2017. Incentivising Monitoring in Open Normative Systems In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017).
  • ALECHINA, NATASHA, HALPERN, JOSEPH Y. and LOGAN, BRIAN, 2017. Causality, Responsibility and Blame in Team Plans In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).
  • 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
  • FELLI, PAOLO, DE SILVA, LAVINDRA, LOGAN, BRIAN and RATCHEV, SVETAN, 2017. Process Plan Controllers for Non-Deterministic Manufacturing Systems In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). 1023-1030
  • BRIAN LOGAN, JOHN THANGARAJAH and NEIL YORKE-SMITH, 2017. Progressing Intention Progresson: A Call for a Goal-Plan Tree Contest In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017). 768-772
  • ALTOMONTE, S., LOGAN, B., FEISST, M., RUTHERFORD, P. and WILSON, R., 2016. Interactive and situated learning in education for sustainability International Journal of Sustainability in Higher Education. 17(3), 417-443
  • NATASHA ALECHINA, JOSEPH Y. HALPERN, IAN A. KASH and BRIAN LOGAN, 2016. Decentralised Norm Monitoring in Open Multi-Agent Systems In: Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016). 1399-1400
  • NATASHA ALECHINA, MEHDI DASTANI and BRIAN LOGAN, 2016. Verifying Existence of Resource-Bounded Coalition Uniform Strategies In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 24-30
  • NATASHA ALECHINA and BRIAN LOGAN, 2016. Verifying Systems of Resource-Bounded Agents In: Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. 3-12
  • YUAN YAO, BRIAN LOGAN and JOHN THANGARAJAH, 2016. Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). 2558-2564
  • PAOLO FELLI, BRIAN LOGAN and SEBASTIAN SARDINA, 2016. Parallel Behavior Composition for Manufacturing In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 271-278
  • YUAN YAO and BRIAN LOGAN, 2016. Action-Level Intention Selection for BDI Agents In: Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016). 1227-1235
  • 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
  • HOANG NGA NGUYEN, NATASHA ALECHINA, BRIAN LOGAN and ABDUR RAKIB, 2015. Alternating-time temporal logic with resource bounds Journal of Logic and Computation, Oxford University Press.
  • 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 In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2015. Symbolic Model-Checking for One-Resource RB+-ATL In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
  • NATASHA ALECHINA, NILS BULLING, MEHDI DASTANI and BRIAN LOGAN, 2015. Practical Run-Time Norm Enforcement with Bounded Lookahead In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). 443-451
  • NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2015. Efficient minimal preference change Journal of Logic and Computation.
  • HESHAN DU, HAI NGUYEN, NATASHA ALECHINA, BRIAN LOGAN, MICHAEL JACKSON and JOHN GOODWIN, 2015. Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data In: Proceedings of IAAI 2015. 3948-3953
  • 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 In: 15th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2015). 2065-2070
  • BRIAN LOGAN, 2015. A Future for Agent Programming In: Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers. 3-17
  • JIAQI LI, FELIPE MENEGUZZI, FAGUNDES, MOSER SILVA and BRIAN LOGAN, 2015. Reinforcement Learning of of Normative Monitoring Intensities In: Proceedings of the International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN 2015@IJCAI).
  • NATASHA ALECHINA, BRIAN LOGAN, LEONARDO MOSTARDA, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2015. Symbolic Model-Checking for Resource-Bounded ATL In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). 1809-1810
  • SAM LEASK and BRIAN LOGAN, 2015. Programming Deliberation Strategies in Meta-APL In: Proceedings of the 18th Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015). 433-448
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2014. Decidable Model-Checking for a Resource Logic with Production of Resources In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014). 9-14
  • NATASHA ALECHINA, MEHDI DASTANI and BRIAN LOGAN, 2014. Norm Approximation for Imperfect Monitors In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 117-124
  • DOAN, THU TRANG, YUAN YAO, NATASHA ALECHINA and BRIAN LOGAN, 2014. Verifying Heterogeneous Multi-Agent Programs In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 149-156
  • NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2014. Postulates and a linear-time algorithm for minimal contraction of preferences In: Proceedings of the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2014).
  • NATASHA ALECHINA, VAN DER HOEK, WIEBE and BRIAN LOGAN, 2014. Fair Allocation of Group Tasks According to Social Norms In: Computational Logic in Multi-Agent Systems, 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. 19-34
  • LEE, JEEHANG, JULIAN PADGET, BRIAN LOGAN, DANIELA DYBALOVA and NATASHA ALECHINA, 2014. Run-Time Norm Compliance in BDI Agents (Extended Abstract) In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 1581-1582
  • LEE, JEEHANG, JULIAN PADGET, BRIAN LOGAN, DANIELA DYBALOVA and NATASHA ALECHINA, 2014. N-Jason: Run-Time Norm Compliance in AgentSpeak(L) In: Proceedings of the 2nd International Workshop on Engineering Multi-agent Systems (EMAS 2014).
  • YUAN YAO, BRIAN LOGAN and JOHN THANGARAJAH, 2014. SP-MCTS-based Intention Scheduling for BDI Agents In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014). 1133-1134
  • FELIPE MENEGUZZI, BRIAN LOGAN and FAGUNDES, MOSER SILVA, 2014. Norm Monitoring with Asymmetric Information (Extended Abstract) In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). 1523-1524
  • BRIAN LOGAN, 2014. What Does It Mean to Have an Architecture?. In: WYATT, JEREMY L., PETTERS, DEAN D. and HOGG, DAVID, eds., From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition 22. Springer. 75-88
  • ALECHINA, N., DASTANI, M. and LOGAN, B., 2013. Reasoning about normative update In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 3–9 August 2013. 20-26
  • 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 In: Proceedings of the Twenty-Seventh AAAI Conferernce on Artificial Intelligence (AAAI 2013). 32-38
  • NATASHA ALECHINA, TRISTAN BEHRENS, KOEN HINDRIKS and BRIAN LOGAN, 2013. Query Caching in Agent Programming Languages In: Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers. 123-137
  • NATASHA ALECHINA, NICK BASSILIADES, MEHDI DASTANI, DE VOS, MARINA, 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, eds., Normative Multi-Agent Systems 4. Schloss Dagstuhl-Leibniz-Zentrum f'ur Informatik. 71-92
  • NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2013. Minimal preference change In: Proceedings Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV). 15-26
  • DANIELA DYBALOVA, BAS TESTERINK, MEHDI DASTANI and BRIAN LOGAN, 2013. A Framework for Programming Norm-Aware Multi-Agent Systems In: Proceedings of the 15th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2013).
  • 2013. Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers Springer.
  • XIAOFAN LIU, NATASHA ALECHINA and BRIAN LOGAN, 2013. Expressing User Access Authorization Exceptions in Conventional Role-based Access Control In: Proceedings of the 9th International Conference on Information Security Practice and Experience (ISPEC 2013). 233-247
  • FOZARD, J. A., LEES, M., KING, J. R. and LOGAN, B. S., 2012. Inhibition of quorum sensing in a computational biofilm simulation BIOSYSTEMS. 109(2), 105-114
  • ALECHINA, N., DASTANI, M. and LOGAN, B., 2012. Programming norm-aware agents In: AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. 2. 1057-1064
  • HAI NGUYEN, NATASHA ALECHINA and BRIAN LOGAN, 2012. Axiom Pinpointing Using an Assumption-Based Truth Maintenance System In: Proceedings of the 25th International Workshop on Description Logics (DL 2012). 290-300
  • JULIAN ZAPPALA, NATASHA ALECHINA and BRIAN LOGAN, 2012. Consensus Games (Extended Abstract) In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 1309-1310
  • JÜRGEN DIX, KOEN V. HINDRIKS, BRIAN LOGAN and WAYNE WOBCKE, 2012. Engineering Multi-Agent Systems (Dagstuhl Seminar 12342) Dagstuhl Reports. 2(8), 74-98
  • DANIEL KISS, NEIL MADDEN and BRIAN LOGAN, 2012. Atomic Intentions in Jason+ In: Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, Canada, May 10-15, 2010. Revised Selected Papers. 79-95
  • ALECHINA, N., DASTANI, M., LOGAN, B. and MEYER, J., 2011. Reasoning about plan revision in BDI agent programs Theoretical Computer Science. 12(44), 6115-6134
  • ALECHINA, N., LOGAN, B., NGUYEN, H.N. and RAKIB, A., 2011. Logic for coalitions with bounded resources Journal of Logic and Computation. 21(6), 907-937
  • ALECHINA, N., DASTANI, M., LOGAN, B. and MEYER, J.-J.CH., 2011. Reasoning about agent deliberation Autonomous Agents and Multi-Agent Systems. 22(2), 356-381
  • 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, BRIAN LOGAN, NGUYEN, HOANG NGA and ABDUR RAKIB, 2011. Automated verification of resource requirements in multi-agent systems using abstraction
  • ALECHINA, N., LOGAN, B., NGA, N.H. and RAKIB, A., 2010. Resource-bounded alternating-time temporal logic In: AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems. 1. 481-488
  • ALECHINA, N. and LOGAN, B., 2010. Belief ascription under bounded resources Synthese. 173(2), 179-197
  • LIU XIAOFAN, NATASHA ALECHINA and BRIAN LOGAN, 2010. Syntax and Semantics for Business Rules In: Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'2010). 41-50
  • JULIAN ZAPPALA and BRIAN LOGAN, 2010. Effects of Resource Availability on Consensus Decision Making in Primates Computational and Mathemtical Organization Theory. 16, 400-415
  • NATASHA ALECHINA, MEHDI DASTANI, FAHAD KHAN, BRIAN LOGAN and MEYER, JOHN-JULES CH., 2010. 2 Using Theorem Proving to Verify Properties of Agent Programs. In: DASTANI, MEHDI, HINDRIKS, KOEN V. and MEYER, JOHN-JULES CH., eds., Specification and Verification of Multi-agent Systems Springer. 1-34
  • NEIL MADDEN and BRIAN LOGAN, 2010. Modularity and compositionality in Jason In: Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. 237-253
  • CHESNEY, T., COYNE, I., LOGAN, B. and MADDEN, N., 2009. Griefing in virtual worlds: causes, casualties and coping strategies Information Systems Journal. 19(6), 525-548
  • MICHAEL LEES, BRIAN LOGAN and GEORGIOS THEODOROPOULOS, 2009. Analysing Probabilistically Constrained Optimism Concurrency and Computation: Practice and Experience. 21(11), 1467-1482
  • ALECHINA, N., LOGAN, B., NGUYEN, H.N. and RAKIB, A., 2009. Verifying time, memory and communication bounds in systems of reasoning agents Synthese. 169(2), 385-403
  • ALECHINA, N., LOGAN, B., NGA, N.H. and RAKIB, A., 2009. A logic for coalitions with bounded resources In: 21st International Joint Conference on Artificial Intelligence (IJCAI-09). 659-664
  • 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
  • ALECHINA, N., JAGO, M. and LOGAN, B., 2008. Preference-based belief revision for rule-based agents Synthese. 165(2), 159-177
  • 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
  • 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
  • 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 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), Padgham, Parkes, Muller and Parsons (eds.)@IFFAAMAS Press. 736-743
  • 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
  • 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
  • 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
  • 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.
  • 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
  • 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
  • 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
  • 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
  • LEES, M., LOGAN, B. and THEODOROPOULOS, G. K., 2006. Agents, games and HLA SIMULATION MODELLING PRACTICE AND THEORY. VOL 14(NUMBER 6), 752-767
  • 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., 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., 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. 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., MARK JAGO and LOGAN,B.S., 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
  • 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
  • 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).
  • 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.
  • 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., 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. 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).
  • 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).
  • 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., 2001. State Space Search with Prioritised Soft Constraints Applied Intelligence. VOL 14(PART 3), 263-272
  • 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.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.S. and SCHEUTZ, M., 2001. Affective versus Deliberative Agent Control In: Proceedings of AISB 2001 Symposium on Emotion, Cognition and Affective Computing.
  • 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.
  • 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

For all enquires please visit:
www.nottingham.ac.uk/enquire