Brian Logan
Orcid: 0000-0003-0648-7107Affiliations:
- University of Aberdeen, Department of Computing Science, United Kingdom
- Utrecht University, The Netherlands
- University of Nottingham, School of Computer Science, United Kingdom
According to our database1,
Brian Logan
authored at least 177 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data.
Auton. Agents Multi Agent Syst., December, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
A framework for modeling human behavior in large-scale agent-based epidemic simulations.
Simul., December, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
J. Artif. Intell. Res., 2022
AI Commun., 2022
Situation calculus for controller synthesis in manufacturing systems with first-order state representation.
Artif. Intell., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV, 2022
2021
Dataset, December, 2021
Auton. Agents Multi Agent Syst., 2021
Proceedings of the Multi-Agent-Based Simulation XXII - 22nd International Workshop, 2021
Using Agent-Based Simulation to Investigate Behavioural Interventions in a Pandemic using Mobility Data.
Proceedings of the 1st Workshop on Agent-based Modeling and Policy-Making (AMPM2021) co-located with 34th International Conference on Legal Knowledge and Information Systems (JURIX2021), 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods.
Sensors, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020
Proceedings of the Fields of Logic and Computation III, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Synthesising process controllers from formal models of transformable assembly systems.
Robotics Comput. Integr. Manuf., 2019
Dagstuhl Reports, 2019
Proceedings of the 2019 Summer Simulation Conference, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
J. Artif. Intell. Res., 2018
Fundam. Informaticae, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Model-checking for Resource-Bounded ATL with production and consumption of resources.
J. Comput. Syst. Sci., 2017
Artif. Intell., 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Integrating BDI Agents with Agent-Based Simulation Platforms: (JAAMAS Extended Abstract).
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Auton. Agents Multi Agent Syst., 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources.
CoRR, 2015
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014
Proceedings of the Computational Logic in Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control.
Proceedings of the Information Security Practice and Experience, 2013
Proceedings of the Normative Multi-Agent Systems, 2013
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
2010
Comput. Math. Organ. Theory, 2010
Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010
Proceedings of the Intelligent Narrative Technologies III Workshop, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
2009
Synth., 2009
Inf. Syst. J., 2009
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
2008
Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS.
Simul., 2008
Proceedings of the Rule Representation, 2008
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008
Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
ACM Trans. Model. Comput. Simul., 2007
Proceedings of the Winter Simulation Conference, 2007
Proceedings of the Fifteenth European Conference on Information Systems, 2007
Proceedings of the Intelligent Narrative Technologies, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems.
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006
Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of Multi-Agent Systems.
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2006
Proceedings of the Declarative Agent Languages and Technologies IV, 2006
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the Proceedings, 2006
2005
Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds.
Proceedings of the Virtual Storytelling, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Verifying Bounds on Deliberation Time in Multi-Agent Systems.
Proceedings of the EUMAS 2005, 2005
An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems.
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005
Proceedings of the Declarative Agent Languages and Technologies III, 2005
2004
Proceedings of the Multi-Agent and Multi-Agent-Based Simulation, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Computational Science, 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), 2004
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004
Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the 2004 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2004
2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
Proceedings of the Logic for Programming, 2001
2000
Emotional States and Realistic Agent Behaviour.
Proceedings of the 1st International Conference on Intelligent Games and Simulation (GAME-ON 2000), 2000
1999
1998
Proceedings of the Second International Conference on Autonomous Agents, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1994
Proceedings of the 17th Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval. Dublin, 1994
1992
The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1990
Artif. Intell. Eng., 1990