Brian Logan - RankMe

183 papers A* 36A 39B 5C 8Journal 49Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. J. Artif. Intell. Res. Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2025	J	`jnl`	Open-World Verification: A Grand Challenge for Autonomous Systems. Proc. IEEE Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2025	A*	`conf`	Probabilistic Strategy Logic with Degrees of Observability. AAAI Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
2025	A*	`conf`	Pushdown Reward Machines for Reinforcement Learning. KR Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
2025	J	`jnl`	Pushdown Reward Machines for Reinforcement Learning. CoRR Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
2025	—	`conf`	Run-time verification of robot-assisted surgery using visual input. OVERLAY Kristina Gogoladze, Romy C. van Jaarsveld, Natasha Alechina, Ronald L. P. D. de Jong, Yasmina Al Khalil, Gino M. Kuiper, Brian Logan, Jelle P. Ruurda
2025	A*	`conf`	Synthesising Minimum Cost Dynamic Norms. IJCAI Natasha Alechina, Brian Logan, Giuseppe Perelli
2025	A*	`conf`	Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. AAAI Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2025	J	`jnl`	Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. CoRR Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2024	B	`ed.`	Engineering Multi-Agent Systems - 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers EMAS Daniela Briola, Rafael C. Cardoso, Brian Logan
2024	J	`jnl`	GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data. Auton. Agents Multi Agent Syst. Jan de Mooij, Tabea S. Sonnenschein, Marco Pellegrino, Mehdi Dastani, Dick Ettema, Brian Logan, Judith Anne Verstegen
2024	J	`jnl`	Grand Challenges in the Verification of Autonomous Systems. CoRR Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2024	A*	`conf`	Intention Progression with Temporally Extended Goals. IJCAI Yuan Yao, Natasha Alechina, Brian Logan
2024	A	`conf`	Maximally Permissive Reward Machines. ECAI Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2024	J	`jnl`	Maximally Permissive Reward Machines. CoRR Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2024	J	`jnl`	Probabilistic Strategy Logic with Degrees of Observability. CoRR Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
2024	A*	`conf`	Pure-Past Action Masking. AAAI Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2023	J	`jnl`	A Logic of East and West. J. Artif. Intell. Res. Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
2023	J	`jnl`	A framework for modeling human behavior in large-scale agent-based epidemic simulations. Simul. Jan de Mooij, Parantapa Bhattacharya, Davide Dell'Anna, Mehdi Dastani, Brian Logan, Samarth Swarup
2023	A*	`conf`	Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). IJCAI Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan
2023	A	`conf`	Dynamic Causality. ECAI Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2023	A	`conf`	Intention Progression with Maintenance Goals. AAMAS Di Wu, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2023	A*	`conf`	Multi-Agent Intention Recognition and Progression. IJCAI Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah
2023	A*	`conf`	Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
2023	C	`conf`	Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
2022	A*	`conf`	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2022	J	`jnl`	Data-Driven Revision of Conditional Norms in Multi-Agent Systems. J. Artif. Intell. Res. Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan
2022	—	`ed.`	Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers EMAS@AAMAS Natasha Alechina, Matteo Baldoni, Brian Logan
2022	A*	`conf`	Multi-Agent Intention Progression with Reward Machines. IJCAI Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2022	J	`jnl`	Resilience, reliability, and coordination in autonomous multi-agent systems. AI Commun. Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren, Bruno Yun
2022	A*	`conf`	Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
2022	J	`jnl`	Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
2022	C	`conf`	The Complexity of Norm Synthesis and Revision. COINE Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Maarten Löffler, Brian Logan
2021	A	`conf`	Agent Programming in the Cognitive Era. AAMAS Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci
2021	A	`conf`	Intention Progression using Quantitative Summary Information. AAMAS Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2021	A*	`conf`	Multi-Agent Intention Progression with Black-Box Agents. IJCAI Michael Dann, Yuan Yao, Brian Logan, John Thangarajah
2021	—	`conf`	PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents. EMAS@AAMAS Parantapa Bhattacharya, A. Jan de Mooij, Davide Dell'Anna, Mehdi Dastani, Brian Logan, Samarth Swarup
2021	J	`jnl`	Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. Jürgen Dix, Brian Logan, Michael Winikoff
2021	C	`conf`	Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation. MABS Jan de Mooij, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, Samarth Swarup
2021	J	`jnl`	The Complexity of Data-Driven Norm Synthesis and Revision. CoRR Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani
2021	—	`conf`	Using Agent-Based Simulation to Investigate Behavioural Interventions in a Pandemic using Mobility Data. AMPM@JURIX Jan de Mooij, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, Samarth Swarup
2020	J	`jnl`	Agent programming in the cognitive era. Auton. Agents Multi Agent Syst. Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci
2020	A*	`conf`	BDI Agent Architectures: A Survey. IJCAI Lavindra de Silva, Felipe Meneguzzi, Brian Logan
2020	J	`jnl`	Causality, Responsibility and Blame in Team Plans. CoRR Natasha Alechina, Joseph Y. Halpern, Brian Logan
2020	A*	`conf`	Intention Progression under Uncertainty. IJCAI Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
2020	A	`conf`	Intention-Aware Multiagent Scheduling. AAMAS Michael Dann, John Thangarajah, Yuan Yao, Brian Logan
2020	—	`conf`	Multi-agent Control of Industrial Robot Vacuum Cleaners. EMAS@AAMAS Joe Collenette, Brian Logan
2020	A*	`conf`	Parameterised Resource-Bounded ATL. AAAI Natasha Alechina, Stéphane Demri, Brian Logan
2020	—	`conf`	State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III Natasha Alechina, Brian Logan
2020	J	`jnl`	The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. Sensors Ahmed M. Rady, Joel E. Fischer, Stuart Reeves, Brian Logan, Nicholas James Watson
2020	—	`conf`	The Intention Progression Competition. EMAS@AAMAS Simon Castle-Green, Alexi Dewfall, Brian Logan
2019	A	`conf`	Decidable Model Checking with Uniform Strategies. AAMAS Natasha Alechina, Mehdi Dastani, Brian Logan
2019	—	`conf`	Distributed building energy simulation with the HLA. SummerSim Kwabena Amponsah, Sameh Zakhary, Darren Robinson, Paul Nathanail, Brian Logan, Peer-Olaf Siebers
2019	J	`jnl`	Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports Jürgen Dix, Brian Logan, Michael Winikoff
2019	A	`conf`	Strategic Responsibility Under Imperfect Information. AAMAS Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan
2019	J	`jnl`	Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf. Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev
2019	A*	`conf`	Unbounded Orchestrations of Transducers for Manufacturing. AAAI Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
2018	J	`jnl`	Alternating-time temporal logic with resource bounds. J. Log. Comput. Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
2018	A*	`conf`	An Operational Semantics for a Fragment of PRS. IJCAI Lavindra de Silva, Felipe Meneguzzi, Brian Logan
2018	J	`jnl`	An agent programming manifesto. Int. J. Agent Oriented Softw. Eng. Brian Logan
2018	A	`conf`	Composite Capabilities for Cloud Manufacturing. AAMAS Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
2018	J	`jnl`	Efficient minimal preference change. J. Log. Comput. Natasha Alechina, Fenrong Liu, Brian Logan
2018	A*	`conf`	Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2018	J	`jnl`	Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2018	J	`jnl`	Modeling Norm Specification and Verification in Multiagent Systems. FLAP Natasha Alechina, Brian Logan, Mehdi Dastani
2018	J	`jnl`	On the complexity of resource-bounded logics. Theor. Comput. Sci. Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
2018	J	`jnl`	Programming Agent Deliberation Using Procedural Reflection. Fundam. Informaticae Sam Leask, Brian Logan
2018	A	`conf`	Resource Logics with a Diminishing Resource. AAMAS Natasha Alechina, Brian Logan
2018	J	`jnl`	Resource Logics with a Diminishing Resource. CoRR Natasha Alechina, Brian Logan
2018	J	`jnl`	Situation Calculus for Synthesis of Manufacturing Controllers. CoRR Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2018	A*	`conf`	Synthesis of Orchestrations of Transducers for Manufacturing. AAAI Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan
2017	A	`conf`	Causality, Responsibility and Blame in Team Plans. AAMAS Natasha Alechina, Joseph Y. Halpern, Brian Logan
2017	J	`jnl`	Fair decomposition of group obligations. J. Log. Comput. Natasha Alechina, Wiebe van der Hoek, Brian Logan
2017	A*	`conf`	Incentivising Monitoring in Open Normative Systems. AAAI Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2017	A	`conf`	Integrating BDI Agents with Agent-Based Simulation Platforms: (JAAMAS Extended Abstract). AAMAS Dhirendra Singh, Lin Padgham, Brian Logan
2017	J	`jnl`	Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
2017	A*	`conf`	Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
2017	A	`conf`	Progressing Intention Progression: A Call for a Goal-Plan Tree Contest. AAMAS Brian Logan, John Thangarajah, Neil Yorke-Smith
2017	A	`conf`	Synthesising Industry-Standard Manufacturing Process Controllers. AAMAS Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
2017	J	`jnl`	The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
2016	A	`conf`	Action-Level Intention Selection for BDI Agents. AAMAS Yuan Yao, Brian Logan
2016	J	`jnl`	Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2016	A	`conf`	Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2016	J	`jnl`	Expressibility of norms in temporal logic. CoRR Natasha Alechina, Mehdi Dastani, Brian Logan
2016	J	`jnl`	Integrating BDI Agents with Agent-Based Simulation Platforms. Auton. Agents Multi Agent Syst. Dhirendra Singh, Lin Padgham, Brian Logan
2016	A	`conf`	Intention Selection with Deadlines. ECAI Yuan Yao, Brian Logan, John Thangarajah
2016	—	`conf`	On the Complexity of Resource-Bounded Logics. RP Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
2016	A*	`conf`	Parallel Behavior Composition for Manufacturing. IJCAI Paolo Felli, Brian Logan, Sebastian Sardiña
2016	A	`conf`	Realisability of Production Recipes. ECAI Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
2016	—	`conf`	Reasoning About the Executability of Goal-Plan Trees. EMAS@AAMAS Yuan Yao, Lavindra de Silva, Brian Logan
2016	A*	`conf`	Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions. AAAI Yuan Yao, Brian Logan, John Thangarajah
2016	A*	`conf`	Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI Natasha Alechina, Mehdi Dastani, Brian Logan
2016	C	`conf`	Verifying Systems of Resource-Bounded Agents. CiE Natasha Alechina, Brian Logan
2015	—	`conf`	A Future for Agent Programming. EMAS@AAMAS Brian Logan
2015	A*	`conf`	On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
2015	A	`conf`	Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan
2015	B	`conf`	Programming Deliberation Strategies in Meta-APL. PRIMA Sam Leask, Brian Logan
2015	—	`conf`	Reinforcement Learning of Normative Monitoring Intensities. COIN@AAMAS/IJCAI Jiaqi Li, Felipe Meneguzzi, Moser Silva Fagundes, Brian Logan
2015	A*	`conf`	Symbolic Model Checking for One-Resource RB+-ATL. IJCAI Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
2015	A	`conf`	Symbolic Model-checking for Resource-Bounded ATL. AAMAS Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda
2015	J	`jnl`	Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi
2015	A*	`conf`	Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin
2014	A	`conf`	Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
2014	—	`conf`	Fair Allocation of Group Tasks According to Social Norms. CLIMA Natasha Alechina, Wiebe van der Hoek, Brian Logan
2014	—	`conf`	N-Jason: Run-Time Norm Compliance in AgentSpeak(L). EMAS@AAMAS JeeHang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
2014	A	`conf`	Norm approximation for imperfect monitors. AAMAS Natasha Alechina, Mehdi Dastani, Brian Logan
2014	A	`conf`	Norm monitoring with asymmetric information. AAMAS Felipe Meneguzzi, Brian Logan, Moser Silva Fagundes
2014	A	`conf`	Run-time norm compliance in BDI agents. AAMAS JeeHang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
2014	A	`conf`	SP-MCTS-based Intention Scheduling for BDI Agents. ECAI Yuan Yao, Brian Logan, John Thangarajah
2014	A	`conf`	Verifying heterogeneous multi-agent programs. AAMAS Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan
2013	—	`conf`	A Framework for Programming Norm-Aware Multi-agent Systems. COIN@AAMAS/PRIMA Daniela Dybalova, Bas Testerink, Mehdi Dastani, Brian Logan
2013	—	`ch.`	Computational Models for Normative Multi-Agent Systems. Normative Multi-Agent Systems Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik
2013	C	`conf`	Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC Xiaofan Liu, Natasha Alechina, Brian Logan
2013	—	`conf`	Minimal Preference Change. LORI Natasha Alechina, Fenrong Liu, Brian Logan
2013	A*	`conf`	Multi-Cycle Query Caching in Agent Programming. AAAI Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee
2013	—	`ed.`	Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers ProMAS Mehdi Dastani, Jomi Fred Hübner, Brian Logan
2013	A*	`conf`	Reasoning about Normative Update. IJCAI Natasha Alechina, Mehdi Dastani, Brian Logan
2012	—	`conf`	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics Hai H. Nguyen, Natasha Alechina, Brian Logan
2012	A	`conf`	Consensus games. AAMAS Julian Zappala, Natasha Alechina, Brian Logan
2012	J	`jnl`	Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). Dagstuhl Reports Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke
2012	A	`conf`	Programming norm-aware agents. AAMAS Natasha Alechina, Mehdi Dastani, Brian Logan
2012	—	`conf`	Query Caching in Agent Programming Languages. ProMAS Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan
2011	A	`conf`	Agent programming with priorities and deadlines. AAMAS Konstantin Vikhorev, Natasha Alechina, Brian Logan
2011	J	`jnl`	Logic for coalitions with bounded resources. J. Log. Comput. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2011	J	`jnl`	Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2011	J	`jnl`	Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2010	—	`conf`	Atomic Intentions in Jason +. ProMAS Daniel Kiss, Neil Madden, Brian Logan
2010	—	`conf`	Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2010	J	`jnl`	Belief ascription under bounded resources. Synth. Natasha Alechina, Brian Logan
2010	—	`conf`	Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW Natasha Alechina, Brian Logan
2010	J	`jnl`	Effects of resource availability on consensus decision making in primates. Comput. Math. Organ. Theory Julian Zappala, Brian Logan
2010	A	`conf`	Resource-bounded alternating-time temporal logic. AAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2010	—	`conf`	Syntax and Semantics for Business Rules. KES (4) Xiaofan Liu, Natasha Alechina, Brian Logan
2010	C	`conf`	User evaluation of virtual reporting agents. FDG Neil Madden, Brian Logan
2009	A*	`conf`	A Logic for Coalitions with Bounded Resources. IJCAI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	J	`jnl`	A Logic of Situated Resource-Bounded Agents. J. Log. Lang. Inf. Natasha Alechina, Brian Logan
2009	—	`conf`	Expressing Properties of Coalitional Ability under Resource Bounds. LORI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	J	`jnl`	Griefing in virtual worlds: causes, casualties and coping strategies. Inf. Syst. J. Thomas Chesney, Iain Coyne, Brian Logan, Neil Madden
2009	—	`conf`	Modularity and Compositionality in Jason. PROMAS Neil Madden, Brian Logan
2009	—	`conf`	The ARTS Real-Time Agent Architecture. LADS Konstantin Vikhorev, Natasha Alechina, Brian Logan
2009	—	`conf`	The ARTS Real-Time Agent Architecture. MALLOW Konstantin Vikhorev, Natasha Alechina, Brian Logan
2009	—	`conf`	Verifying Dribble Agents. DALT Doan Thu Trang, Brian Logan, Natasha Alechina
2009	J	`jnl`	Verifying time, memory and communication bounds in systems of reasoning agents. Synth. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan
2008	J	`jnl`	Preference-based belief revision for rule-based agents. Synth. Natasha Alechina, Mark Jago, Brian Logan
2008	A*	`conf`	Reasoning about Agent Deliberation. KR Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2008	—	`conf`	Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Reasoning about agent execution strategies. AAMAS (3) Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer
2008	—	`conf`	Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2007	—	`conf`	A Design for Researching Virtual Worlds - Opportunities and Limitations. ECIS Thomas Chesney, Iain Coyne, Brian Logan, Neil Madden
2007	A*	`conf`	A Logic of Agent Programs. AAAI Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2007	—	`conf`	Collaborative Narrative Generation in Persistent Virtual Environments. AAAI Fall Symposium: Intelligent Narrative Technologies Neil Madden, Brian Logan
2006	—	`conf`	Automating Belief Revision for AgentSpeak. DALT Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
2006	A	`conf`	Balancing the needs of players and spectators in agent-based commentary systems. AAMAS Dan Fielding, Brian Logan, Steve Benford
2006	A	`conf`	Belief revision for AgentSpeak agents. AAMAS Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
2006	B	`conf`	Large Scale Distributed Simulation on the Grid. CCGRID Georgios Theodoropoulos, Yi Zhang, Dan Chen, Rob Minson, Stephen John Turner, Wentong Cai, Yong Xie, Brian Logan
2006	A	`conf`	Modal Logics for Communicating Rule-Based Agents. ECAI Natasha Alechina, Mark Jago, Brian Logan
2006	A*	`conf`	Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
2006	—	`conf`	Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
2006	A	`conf`	Verifying space and time requirements for resource-bounded agents. AAMAS Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini
2005	—	`conf`	Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds. International Conference on Virtual Storytelling Ella Tallyn, Boriana Koleva, Brian Logan, Dan Fielding, Steve Benford, Giulia Gelmini-Hornsby, Neil Madden
2005	A*	`conf`	It's About Time. IJCAI Neil Madden, Brian Logan
2005	C	`ed.`	Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers MABS Paul Davidsson, Brian Logan, Keiki Takadama
2005	—	`conf`	Resource-Bounded Belief Revision and Contraction. DALT Natasha Alechina, Mark Jago, Brian Logan
2005	C	`conf`	Verifying Bounds on Deliberation Time in Multi-Agent Systems. EUMAS Natasha Alechina, Brian Logan
2004	A	`conf`	A Complete and Decidable Logic for Resource-Bounded Agents. AAMAS Natasha Alechina, Brian Logan, Mark Whitsey
2004	—	`conf`	Agent based Genetic Algorithm Employing Financial Technical Analysis for Making Trading Decisions Using Historical Equity Market Data. IAT Cyril Schoreels, Brian Logan, Jonathan M. Garibaldi
2004	—	`conf`	Extending game participation with embodied reporting agents. Advances in Computer Entertainment Technology Dan Fielding, Mike Fraser, Brian Logan, Steve Benford
2004	B	`conf`	Modelling Communicating Agents in Timed Reasoning Logics. JELIA Natasha Alechina, Brian Logan, Mark Whitsey
2004	A	`conf`	Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games. AAMAS Dan Fielding, Mike Fraser, Brian Logan, Steve Benford
2003	A	`conf`	A goal processing architecture for game agents. AAMAS Elizabeth Sara Gordon, Brian Logan
2002	A	`conf`	Ascribing beliefs to resource bounded agents. AAMAS Natasha Alechina, Brian Logan
2001	B	`conf`	Logical Omniscience and the Cost of Deliberation. LPAR Natasha Alechina, Brian Logan
2001	J	`jnl`	State Space Search with Prioritised Soft Constraints. Appl. Intell. Natasha Alechina, Brian Logan
2000	—	`conf`	Emotional States and Realistic Agent Behaviour. GAME-ON Matthias Scheutz, Aaron Sloman, Brian Logan
1999	J	`jnl`	Building Cognitively Rich Agents Using the SIM_AGENT Toolkit. Commun. ACM Aaron Sloman, Brian Logan
1998	—	`conf`	A* with Bounded Costs. AAAI/IAAI Brian Logan, Natasha Alechina
1998	—	`conf`	Cognition and Affect: Architectures and Tools. Agents Aaron Sloman, Brian Logan
1994	A*	`conf`	Modelling Information Retrieval Agents with Belief Revision. SIGIR Brian Logan, Steven Reece, Karen Sparck Jones
1992	A	`conf`	The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. ECAI Brian Logan, David Corne, Tim Smithers
1990	J	`jnl`	Design as intelligent behaviour: An AI in design research programme. Artif. Intell. Eng. Tim Smithers, Alistair Conkie, Jim Doheny, Brian Logan, Karl Millington, Ming Xi Tang