Design as intelligent behaviour: An AI in design research programme. - Tim Smithers; Alistair Conkie; Jim Doheny; Brian Logan 001; Karl Millington; Ming Xi Tang (Artif. Intell. Eng., 1990)

The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. - Brian Logan 001; David Corne; Tim Smithers (ECAI, 1992)

Modelling Information Retrieval Agents with Belief Revision. - Brian Logan 001; Steven Reece; Karen Sparck Jones (SIGIR, 1994)

A* with Bounded Costs. - Brian Logan 001; Natasha Alechina (AAAI/IAAI, 1998)

Cognition and Affect: Architectures and Tools. - Aaron Sloman; Brian Logan 001 (Agents, 1998)

Building Cognitively Rich Agents Using the SIM_AGENT Toolkit. - Aaron Sloman; Brian Logan 001 (Commun. ACM, 1999)

Emotional States and Realistic Agent Behaviour. - Matthias Scheutz; Aaron Sloman; Brian Logan 001 (GAME-ON, 2000)

Logical Omniscience and the Cost of Deliberation. - Natasha Alechina; Brian Logan 001 (LPAR, 2001)

State Space Search with Prioritised Soft Constraints. - Natasha Alechina; Brian Logan 001 (Appl. Intell., 2001)

The distributed simulation of multiagent systems. - Brian S. Logan 001; Georgios Theodoropoulos 001 (Proc. IEEE, 2001)

Ascribing beliefs to resource bounded agents. - Natasha Alechina; Brian Logan 001 (AAMAS, 2002)

A goal processing architecture for game agents. - Elizabeth Sara Gordon; Brian Logan 001 (AAMAS, 2003)

Extending game participation with embodied reporting agents. - Dan Fielding; Mike Fraser 001; Brian Logan 001; Steve Benford (Advances in Computer Entertainment Technology, 2004)

A Complete and Decidable Logic for Resource-Bounded Agents. - Natasha Alechina; Brian Logan 001; Mark Whitsey (AAMAS, 2004)

Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games. - Dan Fielding; Mike Fraser 001; Brian Logan 001; Steve Benford (AAMAS, 2004)

Modelling Environments for Distributed Simulation. - Michael Lees; Brian S. Logan 001; Rob Minson; Ton Oguara; Georgios Theodoropoulos 001 (E4MAS, 2004)

Agent based Genetic Algorithm Employing Financial Technical Analysis for Making Trading Decisions Using Historical Equity Market Data. - Cyril Schoreels; Brian Logan 001; Jonathan M. Garibaldi (IAT, 2004)

HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA. - Michael Lees; Brian S. Logan 001; Ton Oguara; Georgios Theodoropoulos 001 (International Conference on Computational Science, 2004)

Modelling Communicating Agents in Timed Reasoning Logics. - Natasha Alechina; Brian Logan 001; Mark Whitsey (JELIA, 2004)

Distributed Simulation of MAS. - Michael Lees; Brian S. Logan 001; Rob Minson; Ton Oguara; Georgios Theodoropoulos 001 (MABS, 2004)

Resource-Bounded Belief Revision and Contraction. - Natasha Alechina; Mark Jago; Brian Logan 001 (DALT, 2005)

Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems. - Michael Lees; Brian S. Logan 001; Dan Chen 001; Ton Oguara; Georgios Theodoropoulos 001 (DS-RT, 2005)

An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems. - Ton Oguara; Dan Chen 001; Georgios Theodoropoulos 001; Brian S. Logan 001; Michael Lees (DS-RT, 2005)

Verifying Bounds on Deliberation Time in Multi-Agent Systems. - Natasha Alechina; Brian Logan 001 (EUMAS, 2005)

It's About Time. - Neil Madden; Brian Logan 001 (IJCAI, 2005)

Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds. - Ella Tallyn; Boriana Koleva; Brian Logan 001; Dan Fielding; Steve Benford; Giulia Gelmini-Hornsby; Neil Madden (International Conference on Virtual Storytelling, 2005)

Model-Checking Memory Requirements of Resource-Bounded Reasoners. - Alexandre Albore; Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Brian Logan 001; Luciano Serafini (AAAI, 2006)

Belief revision for AgentSpeak agents. - Natasha Alechina; Rafael H. Bordini; Jomi Fred Hübner; Mark Jago; Brian Logan 001 (AAMAS, 2006)

Balancing the needs of players and spectators in agent-based commentary systems. - Dan Fielding; Brian Logan 001; Steve Benford (AAMAS, 2006)

Large Scale Distributed Simulation on the Grid. - Georgios Theodoropoulos 001; Yi Zhang 004; Dan Chen 001; Rob Minson; Stephen John Turner; Wentong Cai 001; Yong Xie; Brian Logan 001 (CCGRID, 2006)

Automating Belief Revision for AgentSpeak. - Natasha Alechina; Rafael H. Bordini; Jomi Fred Hübner; Mark Jago; Brian Logan 001 (DALT, 2006)

Analysing Probabilistically Constrained Optimism. - Michael Lees; Brian S. Logan 001; Dan Chen 001; Ton Oguara; Georgios Theodoropoulos 001 (DS-RT, 2006)

Modal Logics for Communicating Rule-Based Agents. - Natasha Alechina; Mark Jago; Brian Logan 001 (ECAI, 2006)

Verifying Space and Time Requirements for Resource-Bounded Agents. - Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan 001; Luciano Serafini (MoChArt, 2006)

Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of Multi-Agent Systems. - Roland Ewald; Dan Chen 001; Georgios K. Theodoropoulos 001; Michael Lees; Brian S. Logan 001; Ton Oguara; Adelinde M. Uhrmacher (PADS, 2006)

Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems. - Michael Lees; Brian S. Logan 001; Dan Chen 001; Ton Oguara; Georgios Theodoropoulos 001 (PADS, 2006)

Agents, games and HLA. - Michael Lees; Brian S. Logan 001; Georgios K. Theodoropoulos 001 (Simul. Model. Pract. Theory, 2006)

A Logic of Agent Programs. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (AAAI, 2007)

Collaborative Narrative Generation in Persistent Virtual Environments. - Neil Madden; Brian Logan 001 (AAAI Fall Symposium: Intelligent Narrative Technologies, 2007)

A Design for Researching Virtual Worlds - Opportunities and Limitations. - Thomas Chesney; Iain Coyne; Brian Logan 001; Neil Madden (ECIS, 2007)

Multiscale models of bacterial populations. - Michael Lees; Brian S. Logan 001; John King (WSC, 2007)

BacGrid: simulations of bacteria using the grid. - Michael Lees; Brian S. Logan 001; John R. King (BMC Syst. Biol., 2007)

Distributed simulation of agent-based systems with HLA. - Michael Lees; Brian S. Logan 001; Georgios Theodoropoulos 001 (ACM Trans. Model. Comput. Simul., 2007)

Reasoning about agent execution strategies. - Natasha Alechina; Brian Logan 001; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS (3), 2008)

Bounded-Resource Reasoning as (Strong or Classical) Planning. - Alexandre Albore; Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Brian Logan 001 (CLIMA, 2008)

Reasoning about Other Agents' Beliefs under Bounded Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (KRAMAS, 2008)

Verifying Time and Communication Costs of Rule-Based Reasoners. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2008)

Verifying Resource Requirements for Distributed Rule-Based Systems. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (RuleML, 2008)

Data access in distributed simulations of multi-agent systems. - Dan Chen 001; Roland Ewald; Georgios K. Theodoropoulos 001; Rob Minson; Ton Oguara; Michael Lees; Brian S. Logan 001; Adelinde M. Uhrmacher (J. Syst. Softw., 2008)

Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS. - Michael Lees; Brian S. Logan 001; Georgios Theodoropoulos 001 (Simul., 2008)

Preference-based belief revision for rule-based agents. - Natasha Alechina; Mark Jago; Brian Logan 001 (Synth., 2008)

Verifying Dribble Agents. - Doan Thu Trang; Brian Logan 001; Natasha Alechina (DALT, 2009)

The ARTS Real-Time Agent Architecture. - Konstantin Vikhorev; Natasha Alechina; Brian Logan 001 (LADS, 2009)

Expressing Properties of Coalitional Ability under Resource Bounds. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (LORI, 2009)

Modularity and Compositionality in Jason. - Neil Madden; Brian Logan 001 (PROMAS, 2009)

Analysing probabilistically constrained optimism. - Michael Lees; Brian S. Logan 001; Georgios Theodoropoulos 001 (Concurr. Comput. Pract. Exp., 2009)

Griefing in virtual worlds: causes, casualties and coping strategies. - Thomas Chesney; Iain Coyne; Brian Logan 001; Neil Madden (Inf. Syst. J., 2009)

A Logic of Situated Resource-Bounded Agents. - Natasha Alechina; Brian Logan 001 (J. Log. Lang. Inf., 2009)

Verifying time, memory and communication bounds in systems of reasoning agents. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (Synth., 2009)

Resource-bounded alternating-time temporal logic. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (AAMAS, 2010)

User evaluation of virtual reporting agents. - Neil Madden; Brian Logan 001 (FDG, 2010)

Syntax and Semantics for Business Rules. - Xiaofan Liu; Natasha Alechina; Brian Logan 001 (KES (4), 2010)

Computationally Grounded Account of Belief and Awareness for AI Agents. - Natasha Alechina; Brian Logan 001 (MALLOW, 2010)

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2010)

Atomic Intentions in Jason +. - Daniel Kiss; Neil Madden; Brian Logan 001 (ProMAS, 2010)

Effects of resource availability on consensus decision making in primates. - Julian Zappala; Brian Logan 001 (Comput. Math. Organ. Theory, 2010)

Belief ascription under bounded resources. - Natasha Alechina; Brian Logan 001 (Synth., 2010)

Agent programming with priorities and deadlines. - Konstantin Vikhorev; Natasha Alechina; Brian Logan 001 (AAMAS, 2011)

Reasoning about agent deliberation. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 2011)

Logic for coalitions with bounded resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (J. Log. Comput., 2011)

Reasoning about plan revision in BDI agent programs. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (Theor. Comput. Sci., 2011)

Programming norm-aware agents. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (AAMAS, 2012)

Consensus games. - Julian Zappala; Natasha Alechina; Brian Logan 001 (AAMAS, 2012)

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. - Hai H. Nguyen; Natasha Alechina; Brian Logan 001 (Description Logics, 2012)

Query Caching in Agent Programming Languages. - Natasha Alechina; Tristan M. Behrens; Koen V. Hindriks; Brian Logan 001 (ProMAS, 2012)

Inhibition of quorum sensing in a computational biofilm simulation. - John A. Fozard; Michael Lees; John R. King; Brian S. Logan 001 (Biosyst., 2012)

Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). - Jürgen Dix; Koen V. Hindriks; Brian Logan 001; Wayne Wobcke (Dagstuhl Reports, 2012)

Multi-Cycle Query Caching in Agent Programming. - Natasha Alechina; Tristan M. Behrens; Mehdi Dastani; Koen V. Hindriks; Jomi Fred Hübner; Brian Logan 001; Hai H. Nguyen; Marc van Zee (AAAI, 2013)

A Framework for Programming Norm-Aware Multi-agent Systems. - Daniela Dybalova; Bas Testerink; Mehdi Dastani; Brian Logan 001 (COIN@AAMAS/PRIMA, 2013)

Computational Models for Normative Multi-Agent Systems. - Natasha Alechina; Nick Bassiliades; Mehdi Dastani; Marina De Vos; Brian Logan 001; Sergio Mera; Andreasa Morris-Martin; Fernando Schapachnik (Normative Multi-Agent Systems, 2013)

Reasoning about Normative Update. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (IJCAI, 2013)

Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. - Xiaofan Liu; Natasha Alechina; Brian Logan 001 (ISPEC, 2013)

Minimal Preference Change. - Natasha Alechina; Fenrong Liu; Brian Logan 001 (LORI, 2013)

Norm approximation for imperfect monitors. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (AAMAS, 2014)

Verifying heterogeneous multi-agent programs. - Thu Trang Doan; Yuan Yao 007; Natasha Alechina; Brian Logan 001 (AAMAS, 2014)

Run-time norm compliance in BDI agents. - Jeehang Lee; Julian A. Padget; Brian Logan 001; Daniela Dybalova; Natasha Alechina (AAMAS, 2014)

Norm monitoring with asymmetric information. - Felipe Meneguzzi; Brian Logan 001; Moser Silva Fagundes (AAMAS, 2014)

Fair Allocation of Group Tasks According to Social Norms. - Natasha Alechina; Wiebe van der Hoek; Brian Logan 001 (CLIMA, 2014)

N-Jason: Run-Time Norm Compliance in AgentSpeak(L). - Jeehang Lee; Julian A. Padget; Brian Logan 001; Daniela Dybalova; Natasha Alechina (EMAS@AAMAS, 2014)

Decidable Model-Checking for a Resource Logic with Production of Resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (ECAI, 2014)

SP-MCTS-based Intention Scheduling for BDI Agents. - Yuan Yao 007; Brian Logan 001; John Thangarajah (ECAI, 2014)

Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. - Heshan Du; Hai H. Nguyen; Natasha Alechina; Brian Logan 001; Michael Jackson 005; John Goodwin (AAAI, 2015)

Practical Run-Time Norm Enforcement with Bounded Lookahead. - Natasha Alechina; Nils Bulling; Mehdi Dastani; Brian Logan 001 (AAMAS, 2015)

Symbolic Model-checking for Resource-Bounded ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi; Leonardo Mostarda (AAMAS, 2015)

Reinforcement Learning of Normative Monitoring Intensities. - Jiaqi Li; Felipe Meneguzzi; Moser Silva Fagundes; Brian Logan 001 (COIN@AAMAS/IJCAI, 2015)

A Future for Agent Programming. - Brian Logan 001 (EMAS@AAMAS, 2015)

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (IJCAI, 2015)

Symbolic Model Checking for One-Resource RB+-ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (IJCAI, 2015)

Programming Deliberation Strategies in Meta-APL. - Sam Leask; Brian Logan 001 (PRIMA, 2015)

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Franco Raimondi (CoRR, 2015)

Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions. - Yuan Yao 007; Brian Logan 001; John Thangarajah (AAAI, 2016)

Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (AAMAS, 2016)

Action-Level Intention Selection for BDI Agents. - Yuan Yao 007; Brian Logan 001 (AAMAS, 2016)

Reasoning About the Executability of Goal-Plan Trees. - Yuan Yao 007; Lavindra de Silva; Brian Logan 001 (EMAS@AAMAS, 2016)

Verifying Systems of Resource-Bounded Agents. - Natasha Alechina; Brian Logan 001 (CiE, 2016)

Realisability of Production Recipes. - Lavindra de Silva; Paolo Felli; Jack C. Chaplin; Brian Logan 001; David Sanderson; Svetan M. Ratchev (ECAI, 2016)

Intention Selection with Deadlines. - Yuan Yao 007; Brian Logan 001; John Thangarajah (ECAI, 2016)

Verifying Existence of Resource-Bounded Coalition Uniform Strategies. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (IJCAI, 2016)

Parallel Behavior Composition for Manufacturing. - Paolo Felli; Brian Logan 001; Sebastian Sardiña (IJCAI, 2016)

Integrating BDI Agents with Agent-Based Simulation Platforms. - Dhirendra Singh; Lin Padgham; Brian Logan 001 (Auton. Agents Multi Agent Syst., 2016)

Expressibility of norms in temporal logic. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (CoRR, 2016)

Decentralised Norm Monitoring in Open Multi-Agent Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (CoRR, 2016)

Incentivising Monitoring in Open Normative Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (AAAI, 2017)

Causality, Responsibility and Blame in Team Plans. - Natasha Alechina; Joseph Y. Halpern; Brian Logan 001 (AAMAS, 2017)

Progressing Intention Progression: A Call for a Goal-Plan Tree Contest. - Brian Logan 001; John Thangarajah; Neil Yorke-Smith (AAMAS, 2017)

Synthesising Industry-Standard Manufacturing Process Controllers. - Lavindra de Silva; Paolo Felli; Jack C. Chaplin; Brian Logan 001; David Sanderson; Svetan M. Ratchev (AAMAS, 2017)

Integrating BDI Agents with Agent-Based Simulation Platforms: (JAAMAS Extended Abstract). - Dhirendra Singh; Lin Padgham; Brian Logan 001 (AAMAS, 2017)

Process Plan Controllers for Non-Deterministic Manufacturing Systems. - Paolo Felli; Lavindra de Silva; Brian Logan 001; Svetan M. Ratchev (IJCAI, 2017)

The virtues of idleness: A decidable fragment of resource agent logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (Artif. Intell., 2017)

Model-checking for Resource-Bounded ATL with production and consumption of resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (J. Comput. Syst. Sci., 2017)

Fair decomposition of group obligations. - Natasha Alechina; Wiebe van der Hoek; Brian Logan 001 (J. Log. Comput., 2017)

Synthesis of Orchestrations of Transducers for Manufacturing. - Giuseppe De Giacomo; Moshe Y. Vardi; Paolo Felli; Natasha Alechina; Brian Logan 001 (AAAI, 2018)

Resource Logics with a Diminishing Resource. - Natasha Alechina; Brian Logan 001 (AAMAS, 2018)

Composite Capabilities for Cloud Manufacturing. - Paolo Felli; Lavindra de Silva; Brian Logan 001; Svetan M. Ratchev (AAMAS, 2018)

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (IJCAI, 2018)

An Operational Semantics for a Fragment of PRS. - Lavindra de Silva; Felipe Meneguzzi; Brian Logan 001 (IJCAI, 2018)

Situation Calculus for Synthesis of Manufacturing Controllers. - Giuseppe De Giacomo; Brian Logan 001; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (CoRR, 2018)

Modeling Norm Specification and Verification in Multiagent Systems. - Natasha Alechina; Brian Logan 001; Mehdi Dastani (FLAP, 2018)

Programming Agent Deliberation Using Procedural Reflection. - Sam Leask; Brian Logan 001 (Fundam. Informaticae, 2018)

An agent programming manifesto. - Brian Logan 001 (Int. J. Agent Oriented Softw. Eng., 2018)

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (J. Artif. Intell. Res., 2018)

Efficient minimal preference change. - Natasha Alechina; Fenrong Liu; Brian Logan 001 (J. Log. Comput., 2018)

Alternating-time temporal logic with resource bounds. - Hoang Nga Nguyen; Natasha Alechina; Brian Logan 001; Abdur Rakib (J. Log. Comput., 2018)

On the complexity of resource-bounded logics. - Natasha Alechina; Nils Bulling; Stéphane Demri; Brian Logan 001 (Theor. Comput. Sci., 2018)

Unbounded Orchestrations of Transducers for Manufacturing. - Natasha Alechina; Tomás Brázdil; Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Moshe Y. Vardi (AAAI, 2019)

Decidable Model Checking with Uniform Strategies. - Natasha Alechina; Mehdi Dastani; Brian Logan 001 (AAMAS, 2019)

Strategic Responsibility Under Imperfect Information. - Vahid Yazdanpanah; Mehdi Dastani; Wojciech Jamroga; Natasha Alechina; Brian Logan 001 (AAMAS, 2019)

Distributed building energy simulation with the HLA. - Kwabena Amponsah; Sameh Zakhary; Darren Robinson; Paul Nathanail; Brian Logan 001; Peer-Olaf Siebers (SummerSim, 2019)

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). - Jürgen Dix; Brian Logan 001; Michael Winikoff (Dagstuhl Reports, 2019)

Synthesising process controllers from formal models of transformable assembly systems. - Lavindra de Silva; Paolo Felli; David Sanderson; Jack C. Chaplin; Brian Logan 001; Svetan M. Ratchev (Robotics Comput. Integr. Manuf., 2019)

Parameterised Resource-Bounded ATL. - Natasha Alechina; Stéphane Demri; Brian Logan 001 (AAAI, 2020)

Intention-Aware Multiagent Scheduling. - Michael Dann; John Thangarajah; Yuan Yao 007; Brian Logan 001 (AAMAS, 2020)

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. - Natasha Alechina; Brian Logan 001 (Fields of Logic and Computation III, 2020)

The Intention Progression Competition. - Simon Castle-Green; Alexi Dewfall; Brian Logan 001 (EMAS@AAMAS, 2020)

Multi-agent Control of Industrial Robot Vacuum Cleaners. - Joe Collenette; Brian Logan 001 (EMAS@AAMAS, 2020)

Intention Progression under Uncertainty. - Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (IJCAI, 2020)

BDI Agent Architectures: A Survey. - Lavindra de Silva; Felipe Meneguzzi; Brian Logan 001 (IJCAI, 2020)

Agent programming in the cognitive era. - Rafael H. Bordini; Amal El Fallah Seghrouchni; Koen V. Hindriks; Brian Logan 001; Alessandro Ricci (Auton. Agents Multi Agent Syst., 2020)

The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. - Ahmed M. Rady; Joel E. Fischer; Stuart Reeves; Brian Logan 001; Nicholas James Watson (Sensors, 2020)

Intention Progression using Quantitative Summary Information. - Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (AAMAS, 2021)

PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents. - Parantapa Bhattacharya; A. Jan de Mooij; Davide Dell'Anna; Mehdi Dastani; Brian Logan 001; Samarth Swarup (EMAS@AAMAS, 2021)

Multi-Agent Intention Progression with Black-Box Agents. - Michael Dann; Yuan Yao 007; Brian Logan 001; John Thangarajah (IJCAI, 2021)

Using Agent-Based Simulation to Investigate Behavioural Interventions in a Pandemic using Mobility Data. - Jan de Mooij; Davide Dell'Anna; Parantapa Bhattacharya; Mehdi Dastani; Brian Logan 001; Samarth Swarup (AMPM@JURIX, 2021)

Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation. - Jan de Mooij; Davide Dell'Anna; Parantapa Bhattacharya; Mehdi Dastani; Brian Logan 001; Samarth Swarup (MABS, 2021)

Preface to the Special Issue on engineering reliable multi-agent systems. - Jürgen Dix; Brian Logan 001; Michael Winikoff (Auton. Agents Multi Agent Syst., 2021)

The Complexity of Data-Driven Norm Synthesis and Revision. - Davide Dell'Anna; Natasha Alechina; Brian Logan 001; Maarten Löffler; Fabiano Dalpiaz; Mehdi Dastani (CoRR, 2021)

Large-scale Data-driven Agent-based Simulation of Covid-19. - Jan de Mooij; Davide Dell'Anna; Parantapa Bhattacharya; Mehdi Dastani; Brian Logan 001; Samarth Swarup (Zenodo, 2021)

Sim-2APL - A Practical Agent Programming Language for Simulation. - Jan de Mooij; Davide Dell'Anna; Parantapa Bhattacharya; Mehdi Dastani; Brian Logan 001; Samarth Swarup (Zenodo, 2021)

The Complexity of Norm Synthesis and Revision. - Davide Dell'Anna; Natasha Alechina; Fabiano Dalpiaz; Mehdi Dastani; Maarten Löffler; Brian Logan 001 (COINE, 2022)

Multi-Agent Intention Progression with Reward Machines. - Michael Dann; Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (IJCAI, 2022)

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (IJCAI, 2022)

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. - Natasha Alechina; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (KR, 2022)

Situation calculus for controller synthesis in manufacturing systems with first-order state representation. - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2022)

Resilience, reliability, and coordination in autonomous multi-agent systems. - Rafael C. Cardoso 001; Brian Logan 001; Felipe Meneguzzi; Nir Oren; Bruno Yun (AI Commun., 2022)

Data-Driven Revision of Conditional Norms in Multi-Agent Systems. - Davide Dell'Anna; Natasha Alechina; Fabiano Dalpiaz; Mehdi Dastani; Brian Logan 001 (J. Artif. Intell. Res., 2022)

Intention Progression with Maintenance Goals. - Di Wu; Yuan Yao 007; Natasha Alechina; Brian Logan 001; John Thangarajah (AAMAS, 2023)

Dynamic Causality. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (ECAI, 2023)

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Brian Logan 001 (EUMAS, 2023)

Multi-Agent Intention Recognition and Progression. - Michael Dann; Yuan Yao 007; Natasha Alechina; Brian Logan 001; Felipe Meneguzzi; John Thangarajah (IJCAI, 2023)

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). - Davide Dell'Anna; Natasha Alechina; Fabiano Dalpiaz; Mehdi Dastani; Brian Logan 001 (IJCAI, 2023)

Probabilistic Temporal Logic for Reasoning about Bounded Policies. - Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (IJCAI, 2023)

A Logic of East and West. - Heshan Du; Natasha Alechina; Amin Farjudian; Brian Logan 001; Can Zhou; Anthony G. Cohn 001 (J. Artif. Intell. Res., 2023)

A framework for modeling human behavior in large-scale agent-based epidemic simulations. - Jan de Mooij; Parantapa Bhattacharya; Davide Dell'Anna; Mehdi Dastani; Brian Logan 001; Samarth Swarup (Simul., 2023)

Pure-Past Action Masking. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (AAAI, 2024)

Maximally Permissive Reward Machines. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Brian Logan 001 (ECAI, 2024)

Intention Progression with Temporally Extended Goals. - Yuan Yao 007; Natasha Alechina; Brian Logan 001 (IJCAI, 2024)

Grand Challenges in the Verification of Autonomous Systems. - Kevin Leahy 001; Hamid Asgari; Louise A. Dennis; Martin S. Feather; Michael Fisher 001; Javier Ibañez-Guzmán; Brian Logan 001; Joanna I. Olszewska; Signe A. Redfield (CoRR, 2024)

GenSynthPop-Python: Generating a Spatially Explicit Synthetic Population of Agents and Households from Aggregated Data. - Jan de Mooij; Tabea S. Sonnenschein; Marco Pellegrino; Mehdi Dastani; Dick Ettema; Brian Logan 001; Judith Anne Verstegen (Zenodo, 2024)

GenSynthPop-Python: Generating a Spatially Explicit Synthetic Population of Agents and Households from Aggregated Data. - Jan de Mooij; Tabea S. Sonnenschein; Marco Pellegrino; Mehdi Dastani; Dick Ettema; Brian Logan 001; Judith Anne Verstegen (Zenodo, 2024)

GenSynthPop-Python. - Jan de Mooij; Tabea S. Sonnenschein; Marco Pellegrino; Mehdi Dastani; Dick Ettema; Brian Logan 001; Judith Anne Verstegen (Zenodo, 2024)

TabeaSonnenschein/GenSynthPop: R-package for Generating Representative Spatially Explicit Synthetic Populations. - Tabea S. Sonnenschein; Jan de Mooij; Marco Pellegrino; Mehdi Dastani; Dick Ettema; Brian Logan 001; Judith Anne Verstegen (Zenodo, 2024)

GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data. - Jan de Mooij; Tabea S. Sonnenschein; Marco Pellegrino; Mehdi Dastani; Dick Ettema; Brian Logan 001; Judith Anne Verstegen (Auton. Agents Multi Agent Syst., 2024)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (AAAI, 2025)

Probabilistic Strategy Logic with Degrees of Observability. - Chunyan Mu; Nima Motamed; Natasha Alechina; Brian Logan 001 (AAAI, 2025)