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

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

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

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

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

Engineering Multi-Agent Systems - 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers (Springer, 2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers (Springer, 2022)

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

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

Agent Programming in the Cognitive Era. - Bordini, Rafael H.; Seghrouchni, Amal El Fallah; Hindriks, Koen V.; Logan, Brian; Ricci, Alessandro (2021)

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

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

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

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

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

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

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

Agent programming in the cognitive era. - Bordini, Rafael H.; Seghrouchni, Amal El Fallah; Hindriks, Koen V.; Logan, Brian; Ricci, Alessandro (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. - Rady, Ahmed M.; Fischer, Joel E.; Reeves, Stuart; Logan, Brian; Watson, Nicholas James (Sensors, 2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On the Complexity of Resource-Bounded Logics. - Alechina, Natasha; Bulling, Nils; Demri, Stéphane; Logan, Brian (2016)

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

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

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

A Future for Agent Programming. - Logan, Brian (2015)

Reinforcement Learning of Normative Monitoring Intensities. - Li, Jiaqi; Meneguzzi, Felipe; Fagundes, Moser Silva; Logan, Brian (2015)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers (Springer, 2013)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Logic for Coalitions with Bounded Resources. - Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur (2009)

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

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

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

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

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

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

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

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

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

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

Reasoning about Agent Deliberation. - Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch. (2008)

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

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

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

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

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

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

Collaborative Narrative Generation in Persistent Virtual Environments. - Madden, Neil; Logan, Brian (2007)

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

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

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

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

Verifying space and time requirements for resource-bounded agents. - Alechina, Natasha; Jago, Mark; Bertoli, Piergiorgio; Logan, Brian; Ghidini, Chiara; Serafini, Luciano (2006)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers (Springer, 2005)

Extending game participation with embodied reporting agents. - Fielding, Dan; Fraser, Mike; Logan, Brian; Benford, Steve (2004)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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