Brian Logan

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 84

Top Venues

Publications

Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS (2023)
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). IJCAI (2023)
Di Wu, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
Intention Progression with Maintenance Goals. AAMAS (2023)
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI (2023)
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
Dynamic Causality. ECAI (2023)
Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah
Multi-Agent Intention Recognition and Progression. IJCAI (2023)
Jan de Mooij, Parantapa Bhattacharya, Davide Dell'Anna, Mehdi Dastani, Brian Logan, Samarth Swarup
A framework for modeling human behavior in large-scale agent-based epidemic simulations. Simul. 99 (12) (2023)
Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
A Logic of East and West. J. Artif. Intell. Res. 76 (2023)
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR (2022)
Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren, Bruno Yun
Resilience, reliability, and coordination in autonomous multi-agent systems. AI Commun. 35 (4) (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302 (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI (2022)
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan
Data-Driven Revision of Conditional Norms in Multi-Agent Systems. J. Artif. Intell. Res. 75 (2022)
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Maarten Löffler, Brian Logan
The Complexity of Norm Synthesis and Revision. COINE (2022)
Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
Multi-Agent Intention Progression with Reward Machines. IJCAI (2022)
Jürgen Dix, Brian Logan, Michael Winikoff
Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. 35 (2) (2021)
Michael Dann, Yuan Yao, Brian Logan, John Thangarajah
Multi-Agent Intention Progression with Black-Box Agents. IJCAI (2021)
Jan de Mooij, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, Samarth Swarup
Using Agent-Based Simulation to Investigate Behavioural Interventions in a Pandemic using Mobility Data. AMPM@JURIX (2021)
Parantapa Bhattacharya, A. Jan de Mooij, Davide Dell'Anna, Mehdi Dastani, Brian Logan, Samarth Swarup
PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents. EMAS@AAMAS (2021)
Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci
Agent Programming in the Cognitive Era. AAMAS (2021)
Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani
The Complexity of Data-Driven Norm Synthesis and Revision. CoRR (2021)
Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
Intention Progression using Quantitative Summary Information. AAMAS (2021)
Jan de Mooij, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, Samarth Swarup
Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation. MABS (2021)
Simon Castle-Green, Alexi Dewfall, Brian Logan
The Intention Progression Competition. EMAS@AAMAS (2020)
Joe Collenette, Brian Logan
Multi-agent Control of Industrial Robot Vacuum Cleaners. EMAS@AAMAS (2020)
Natasha Alechina, Brian Logan
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III (2020)
Natasha Alechina, Stéphane Demri, Brian Logan
Parameterised Resource-Bounded ATL. AAAI (2020)
Ahmed Rady, Joel E. Fischer, Stuart Reeves, Brian Logan, Nicholas James Watson
The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. Sensors 20 (1) (2020)
Lavindra de Silva, Felipe Meneguzzi, Brian Logan
BDI Agent Architectures: A Survey. IJCAI (2020)
Natasha Alechina, Joseph Y. Halpern, Brian Logan
Causality, Responsibility and Blame in Team Plans. CoRR (2020)
Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci
Agent programming in the cognitive era. Auton. Agents Multi Agent Syst. 34 (2) (2020)
Michael Dann, John Thangarajah, Yuan Yao, Brian Logan
Intention-Aware Multiagent Scheduling. AAMAS (2020)
Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah
Intention Progression under Uncertainty. IJCAI (2020)
Kwabena Amponsah, Sameh Zakhary, Darren Robinson, Paul Nathanail, Brian Logan, Peer-Olaf Siebers
Distributed building energy simulation with the HLA. SummerSim (2019)
Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev
Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf. 58 (2019)
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan
Strategic Responsibility Under Imperfect Information. AAMAS (2019)
Natasha Alechina, Mehdi Dastani, Brian Logan
Decidable Model Checking with Uniform Strategies. AAMAS (2019)
Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
Unbounded Orchestrations of Transducers for Manufacturing. AAAI (2019)
Jürgen Dix, Brian Logan, Michael Winikoff
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9 (3) (2019)
Lavindra de Silva, Felipe Meneguzzi, Brian Logan
An Operational Semantics for a Fragment of PRS. IJCAI (2018)
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750 (2018)
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI (2018)
Natasha Alechina, Fenrong Liu, Brian Logan
Efficient minimal preference change. J. Log. Comput. 28 (8) (2018)
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI (2018)
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. 62 (2018)
Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28 (4) (2018)
Natasha Alechina, Brian Logan
Resource Logics with a Diminishing Resource. CoRR (2018)
Brian Logan
An agent programming manifesto. Int. J. Agent Oriented Softw. Eng. 6 (2) (2018)
Sam Leask, Brian Logan
Programming Agent Deliberation Using Procedural Reflection. Fundam. Informaticae 158 (1-3) (2018)
Natasha Alechina, Brian Logan
Resource Logics with a Diminishing Resource. AAMAS (2018)
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
Composite Capabilities for Cloud Manufacturing. AAMAS (2018)
Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR (2018)
Natasha Alechina, Brian Logan, Mehdi Dastani
Modeling Norm Specification and Verification in Multiagent Systems. FLAP 5 (2) (2018)
Dhirendra Singh, Lin Padgham, Brian Logan
Integrating BDI Agents with Agent-Based Simulation Platforms: (JAAMAS Extended Abstract). AAMAS (2017)
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
Incentivising Monitoring in Open Normative Systems. AAAI (2017)
Natasha Alechina, Joseph Y. Halpern, Brian Logan
Causality, Responsibility and Blame in Team Plans. AAMAS (2017)
Brian Logan, John Thangarajah, Neil Yorke-Smith
Progressing Intention Progression: A Call for a Goal-Plan Tree Contest. AAMAS (2017)
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
Synthesising Industry-Standard Manufacturing Process Controllers. AAMAS (2017)
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. 245 (2017)
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI (2017)
Natasha Alechina, Wiebe van der Hoek, Brian Logan
Fair decomposition of group obligations. J. Log. Comput. 27 (7) (2017)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. 88 (2017)
Yuan Yao, Brian Logan, John Thangarajah
Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions. AAAI (2016)
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS (2016)
Natasha Alechina, Mehdi Dastani, Brian Logan
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI (2016)
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
On the Complexity of Resource-Bounded Logics. RP (2016)
Yuan Yao, Brian Logan
Action-Level Intention Selection for BDI Agents. AAMAS (2016)
Dhirendra Singh, Lin Padgham, Brian Logan
Integrating BDI Agents with Agent-Based Simulation Platforms. Auton. Agents Multi Agent Syst. 30 (6) (2016)
Natasha Alechina, Brian Logan
Verifying Systems of Resource-Bounded Agents. CiE (2016)
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
Realisability of Production Recipes. ECAI (2016)
Natasha Alechina, Mehdi Dastani, Brian Logan
Expressibility of norms in temporal logic. CoRR (2016)
Yuan Yao, Brian Logan, John Thangarajah
Intention Selection with Deadlines. ECAI (2016)
Paolo Felli, Brian Logan, Sebastian Sardiña
Parallel Behavior Composition for Manufacturing. IJCAI (2016)
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR (2016)
Yuan Yao, Lavindra de Silva, Brian Logan
Reasoning About the Executability of Goal-Plan Trees. EMAS@AAMAS (2016)
Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI (2015)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda
Symbolic Model-checking for Resource-Bounded ATL. AAMAS (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI (2015)
Sam Leask, Brian Logan
Programming Deliberation Strategies in Meta-APL. PRIMA (2015)
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI (2015)
Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS (2015)
Jiaqi Li, Felipe Meneguzzi, Moser Silva Fagundes, Brian Logan
Reinforcement Learning of Normative Monitoring Intensities. COIN@AAMAS/IJCAI (2015)
Brian Logan
A Future for Agent Programming. EMAS@AAMAS (2015)
Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
N-Jason: Run-Time Norm Compliance in AgentSpeak(L). EMAS@AAMAS (2014)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI (2014)
Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan
Verifying heterogeneous multi-agent programs. AAMAS (2014)
Natasha Alechina, Mehdi Dastani, Brian Logan
Norm approximation for imperfect monitors. AAMAS (2014)
Felipe Meneguzzi, Brian Logan, Moser Silva Fagundes
Norm monitoring with asymmetric information. AAMAS (2014)
Natasha Alechina, Wiebe van der Hoek, Brian Logan
Fair Allocation of Group Tasks According to Social Norms. CLIMA (2014)
Yuan Yao, Brian Logan, John Thangarajah
SP-MCTS-based Intention Scheduling for BDI Agents. ECAI (2014)
Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
Run-time norm compliance in BDI agents. AAMAS (2014)
Natasha Alechina, Mehdi Dastani, Brian Logan
Reasoning about Normative Update. IJCAI (2013)
Natasha Alechina, Fenrong Liu, Brian Logan
Minimal Preference Change. LORI (2013)
Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee
Multi-Cycle Query Caching in Agent Programming. AAAI (2013)
Daniela Dybalova, Bas Testerink, Mehdi Dastani, Brian Logan
A Framework for Programming Norm-Aware Multi-agent Systems. COIN@AAMAS/PRIMA (2013)
Xiaofan Liu, Natasha Alechina, Brian Logan
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC (2013)
Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan
Query Caching in Agent Programming Languages. ProMAS (2012)
Natasha Alechina, Mehdi Dastani, Brian Logan
Programming norm-aware agents. AAMAS (2012)
Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). Dagstuhl Reports 2 (8) (2012)

Brian Logan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Brian Logan