Brian Logan

Orcid: 0000-0003-0648-7107

Affiliations:
  • 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 172 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Pure-Past Action Masking.
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

A Logic of East and West.
J. Artif. Intell. Res., 2023

Probabilistic Temporal Logic for Reasoning about Bounded Policies.
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

Multi-Agent Intention Recognition and Progression.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Dynamic Causality.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Intention Progression with Maintenance Goals.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Data-Driven Revision of Conditional Norms in Multi-Agent Systems.
J. Artif. Intell. Res., 2022

Resilience, reliability, and coordination in autonomous multi-agent systems.
AI Commun., 2022

Situation calculus for controller synthesis in manufacturing systems with first-order state representation.
Artif. Intell., 2022

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.
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

Multi-Agent Intention Progression with Reward Machines.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

The Complexity of Norm Synthesis and Revision.
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV, 2022

2021
The Complexity of Data-Driven Norm Synthesis and Revision.
CoRR, 2021

Preface to the Special Issue on engineering reliable multi-agent systems.
Auton. Agents Multi Agent Syst., 2021

Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation.
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

Multi-Agent Intention Progression with Black-Box Agents.
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

Intention Progression using Quantitative Summary Information.
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

Agent programming in the cognitive era.
Auton. Agents Multi Agent Syst., 2020

BDI Agent Architectures: A Survey.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Intention Progression under Uncertainty.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Multi-agent Control of Industrial Robot Vacuum Cleaners.
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

The Intention Progression Competition.
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems.
Proceedings of the Fields of Logic and Computation III, 2020

Intention-Aware Multiagent Scheduling.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Parameterised Resource-Bounded ATL.
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

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112).
Dagstuhl Reports, 2019

Distributed building energy simulation with the HLA.
Proceedings of the 2019 Summer Simulation Conference, 2019

Strategic Responsibility Under Imperfect Information.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Decidable Model Checking with Uniform Strategies.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Unbounded Orchestrations of Transducers for Manufacturing.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
On the complexity of resource-bounded logics.
Theor. Comput. Sci., 2018

Alternating-time temporal logic with resource bounds.
J. Log. Comput., 2018

Efficient minimal preference change.
J. Log. Comput., 2018

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems.
J. Artif. Intell. Res., 2018

An agent programming manifesto.
Int. J. Agent Oriented Softw. Eng., 2018

Programming Agent Deliberation Using Procedural Reflection.
Fundam. Informaticae, 2018

Modeling Norm Specification and Verification in Multiagent Systems.
FLAP, 2018

Situation Calculus for Synthesis of Manufacturing Controllers.
CoRR, 2018

An Operational Semantics for a Fragment of PRS.
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

Composite Capabilities for Cloud Manufacturing.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Resource Logics with a Diminishing Resource.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Synthesis of Orchestrations of Transducers for Manufacturing.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Fair decomposition of group obligations.
J. Log. Comput., 2017

Model-checking for Resource-Bounded ATL with production and consumption of resources.
J. Comput. Syst. Sci., 2017

The virtues of idleness: A decidable fragment of resource agent logic.
Artif. Intell., 2017

Process Plan Controllers for Non-Deterministic Manufacturing Systems.
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

Synthesising Industry-Standard Manufacturing Process Controllers.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Progressing Intention Progression: A Call for a Goal-Plan Tree Contest.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Causality, Responsibility and Blame in Team Plans.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Incentivising Monitoring in Open Normative Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Decentralised Norm Monitoring in Open Multi-Agent Systems.
CoRR, 2016

Expressibility of norms in temporal logic.
CoRR, 2016

Integrating BDI Agents with Agent-Based Simulation Platforms.
Auton. Agents Multi Agent Syst., 2016

Parallel Behavior Composition for Manufacturing.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Verifying Existence of Resource-Bounded Coalition Uniform Strategies.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Intention Selection with Deadlines.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Realisability of Production Recipes.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Verifying Systems of Resource-Bounded Agents.
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

Reasoning About the Executability of Goal-Plan Trees.
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Action-Level Intention Selection for BDI Agents.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions.
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

Programming Deliberation Strategies in Meta-APL.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Symbolic Model Checking for One-Resource RB+-ATL.
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

A Future for Agent Programming.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Reinforcement Learning of Normative Monitoring Intensities.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Symbolic Model-checking for Resource-Bounded ATL.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Practical Run-Time Norm Enforcement with Bounded Lookahead.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
SP-MCTS-based Intention Scheduling for BDI Agents.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Decidable Model-Checking for a Resource Logic with Production of Resources.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

N-Jason: Run-Time Norm Compliance in AgentSpeak(L).
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Fair Allocation of Group Tasks According to Social Norms.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

Norm monitoring with asymmetric information.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Run-time norm compliance in BDI agents.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Verifying heterogeneous multi-agent programs.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Norm approximation for imperfect monitors.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
Minimal Preference Change.
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

Reasoning about Normative Update.
Proceedings of the IJCAI 2013, 2013

Computational Models for Normative Multi-Agent Systems.
Proceedings of the Normative Multi-Agent Systems, 2013

A Framework for Programming Norm-Aware Multi-agent Systems.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

Multi-Cycle Query Caching in Agent Programming.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342).
Dagstuhl Reports, 2012

Inhibition of quorum sensing in a computational biofilm simulation.
Biosyst., 2012

Query Caching in Agent Programming Languages.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Consensus games.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Programming norm-aware agents.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Reasoning about plan revision in BDI agent programs.
Theor. Comput. Sci., 2011

Logic for coalitions with bounded resources.
J. Log. Comput., 2011

Reasoning about agent deliberation.
Auton. Agents Multi Agent Syst., 2011

Agent programming with priorities and deadlines.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Belief ascription under bounded resources.
Synth., 2010

Effects of resource availability on consensus decision making in primates.
Comput. Math. Organ. Theory, 2010

Atomic Intentions in Jason +.
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

Computationally Grounded Account of Belief and Awareness for AI Agents.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Syntax and Semantics for Business Rules.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

User evaluation of virtual reporting agents.
Proceedings of the Intelligent Narrative Technologies III Workshop, 2010

Resource-bounded alternating-time temporal logic.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Verifying time, memory and communication bounds in systems of reasoning agents.
Synth., 2009

A Logic of Situated Resource-Bounded Agents.
J. Log. Lang. Inf., 2009

Griefing in virtual worlds: causes, casualties and coping strategies.
Inf. Syst. J., 2009

Analysing probabilistically constrained optimism.
Concurr. Comput. Pract. Exp., 2009

Modularity and Compositionality in Jason.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Expressing Properties of Coalitional Ability under Resource Bounds.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

The ARTS Real-Time Agent Architecture.
Proceedings of the Languages, 2009

Verifying Dribble Agents.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

2008
Preference-based belief revision for rule-based agents.
Synth., 2008

Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS.
Simul., 2008

Data access in distributed simulations of multi-agent systems.
J. Syst. Softw., 2008

Verifying Resource Requirements for Distributed Rule-Based Systems.
Proceedings of the Rule Representation, 2008

Verifying Time and Communication Costs of Rule-Based Reasoners.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Reasoning about Other Agents' Beliefs under Bounded Resources.
Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Bounded-Resource Reasoning as (Strong or Classical) Planning.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

Reasoning about agent execution strategies.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Distributed simulation of agent-based systems with HLA.
ACM Trans. Model. Comput. Simul., 2007

BacGrid: simulations of bacteria using the grid.
BMC Syst. Biol., 2007

Multiscale models of bacterial populations.
Proceedings of the Winter Simulation Conference, 2007

A Design for Researching Virtual Worlds - Opportunities and Limitations.
Proceedings of the Fifteenth European Conference on Information Systems, 2007

Collaborative Narrative Generation in Persistent Virtual Environments.
Proceedings of the Intelligent Narrative Technologies, 2007

A Logic of Agent Programs.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Agents, games and HLA.
Simul. Model. Pract. Theory, 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

Verifying Space and Time Requirements for Resource-Bounded Agents.
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Modal Logics for Communicating Rule-Based Agents.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Analysing Probabilistically Constrained Optimism.
Proceedings of the 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2006

Automating Belief Revision for AgentSpeak.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Large Scale Distributed Simulation on the Grid.
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

Balancing the needs of players and spectators in agent-based commentary systems.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Belief revision for AgentSpeak agents.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Model-Checking Memory Requirements of Resource-Bounded Reasoners.
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

It's About Time.
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

Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems.
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005

Resource-Bounded Belief Revision and Contraction.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004
Distributed Simulation of MAS.
Proceedings of the Multi-Agent and Multi-Agent-Based Simulation, 2004

Modelling Communicating Agents in Timed Reasoning Logics.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA.
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

Modelling Environments for Distributed Simulation.
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

A Complete and Decidable Logic for Resource-Bounded Agents.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Extending game participation with embodied reporting agents.
Proceedings of the 2004 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2004

2003
A goal processing architecture for game agents.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Ascribing beliefs to resource bounded agents.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
The distributed simulation of multiagent systems.
Proc. IEEE, 2001

State Space Search with Prioritised Soft Constraints.
Appl. Intell., 2001

Logical Omniscience and the Cost of Deliberation.
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
Building Cognitively Rich Agents Using the SIM_AGENT Toolkit.
Commun. ACM, 1999

1998
Cognition and Affect: Architectures and Tools.
Proceedings of the Second International Conference on Autonomous Agents, 1998

A* with Bounded Costs.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1994
Modelling Information Retrieval Agents with Belief Revision.
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
Design as intelligent behaviour: An AI in design research programme.
Artif. Intell. Eng., 1990


  Loading...