Brian Logan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
61
Venues
17
Active years
1992–2025
Best venue rank
A*
Where they publish
Papers
61 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan |
| 2025 | AAAI | Probabilistic Strategy Logic with Degrees of Observability. | Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan |
| 2025 | IJCAI | Synthesising Minimum Cost Dynamic Norms. | Natasha Alechina, Brian Logan, Giuseppe Perelli |
| 2025 | KR | Pushdown Reward Machines for Reinforcement Learning. | Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith |
| 2024 | AAAI | Pure-Past Action Masking. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2024 | ECAI | Maximally Permissive Reward Machines. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2024 | IJCAI | Intention Progression with Temporally Extended Goals. | Yuan Yao, Natasha Alechina, Brian Logan |
| 2023 | ECAI | Dynamic Causality. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan |
| 2023 | EUMAS | Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2023 | IJCAI | Multi-Agent Intention Recognition and Progression. | Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah |
| 2023 | IJCAI | Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). | Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan |
| 2023 | IJCAI | Probabilistic Temporal Logic for Reasoning about Bounded Policies. | Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan |
| 2022 | IJCAI | Multi-Agent Intention Progression with Reward Machines. | Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah |
| 2022 | IJCAI | Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). | Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardia |
| 2022 | KR | Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. | Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2021 | EMAS | 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, Samarth Swarup |
| 2021 | IJCAI | Multi-Agent Intention Progression with Black-Box Agents. | Michael Dann, Yuan Yao, Brian Logan, John Thangarajah |
| 2021 | JURIX | 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, Samarth Swarup |
| 2021 | MABS | 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, Samarth Swarup |
| 2020 | AAAI | Parameterised Resource-Bounded ATL. | Natasha Alechina, Stphane Demri, Brian Logan |
| 2020 | EMAS | The Intention Progression Competition. | Simon Castle-Green, Alexi Dewfall, Brian Logan |
| 2020 | EMAS | Multi-agent Control of Industrial Robot Vacuum Cleaners. | Joe Collenette, Brian Logan |
| 2020 | IJCAI | Intention Progression under Uncertainty. | Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah |
| 2020 | IJCAI | BDI Agent Architectures: A Survey. | Lavindra de Silva, Felipe Meneguzzi, Brian Logan |
| 2019 | AAAI | Unbounded Orchestrations of Transducers for Manufacturing. | Natasha Alechina, Toms Brzdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi |
| 2018 | AAAI | Synthesis of Orchestrations of Transducers for Manufacturing. | Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan |
| 2018 | IJCAI | Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). | Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan |
| 2018 | IJCAI | An Operational Semantics for a Fragment of PRS. | Lavindra de Silva, Felipe Meneguzzi, Brian Logan |
| 2017 | AAAI | Incentivising Monitoring in Open Normative Systems. | Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan |
| 2017 | IJCAI | Process Plan Controllers for Non-Deterministic Manufacturing Systems. | Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev |
| 2016 | AAAI | Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions. | Yuan Yao, Brian Logan, John Thangarajah |
| 2016 | CiE | Verifying Systems of Resource-Bounded Agents. | Natasha Alechina, Brian Logan |
| 2016 | ECAI | Realisability of Production Recipes. | Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev |
| 2016 | ECAI | Intention Selection with Deadlines. | Yuan Yao, Brian Logan, John Thangarajah |
| 2016 | IJCAI | Verifying Existence of Resource-Bounded Coalition Uniform Strategies. | Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2016 | IJCAI | Parallel Behavior Composition for Manufacturing. | Paolo Felli, Brian Logan, Sebastian Sardia |
| 2015 | AAAI | Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. | Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin |
| 2015 | IJCAI | On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. | Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen |
| 2015 | IJCAI | Symbolic Model Checking for One-Resource RB+-ATL. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2015 | PRIMA | Programming Deliberation Strategies in Meta-APL. | Sam Leask, Brian Logan |
| 2014 | ECAI | Decidable Model-Checking for a Resource Logic with Production of Resources. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2014 | ECAI | SP-MCTS-based Intention Scheduling for BDI Agents. | Yuan Yao, Brian Logan, John Thangarajah |
| 2013 | AAAI | Multi-Cycle Query Caching in Agent Programming. | Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hbner, Brian Logan, Hai H. Nguyen, Marc van Zee |
| 2013 | IJCAI | Reasoning about Normative Update. | Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2013 | ISPEC | Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. | Xiaofan Liu, Natasha Alechina, Brian Logan |
| 2012 | AAMAS | Programming norm-aware agents. | Natasha Alechina, Mehdi Dastani, Brian Logan |
| 2012 | AAMAS | Consensus games. | Julian Zappala, Natasha Alechina, Brian Logan |
| 2010 | KES | Syntax and Semantics for Business Rules. | Xiaofan Liu, Natasha Alechina, Brian Logan |
| 2009 | IJCAI | A Logic for Coalitions with Bounded Resources. | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
| 2008 | KR | Reasoning about Agent Deliberation. | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2007 | AAAI | A Logic of Agent Programs. | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2006 | AAAI | Model-Checking Memory Requirements of Resource-Bounded Reasoners. | Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini |
| 2006 | CCGRID | Large Scale Distributed Simulation on the Grid. | Georgios Theodoropoulos, Yi Zhang, Dan Chen, Rob Minson, Stephen John Turner, Wentong Cai, Yong Xie, Brian Logan |
| 2006 | ECAI | Modal Logics for Communicating Rule-Based Agents. | Natasha Alechina, Mark Jago, Brian Logan |
| 2005 | EUMAS | Verifying Bounds on Deliberation Time in Multi-Agent Systems. | Natasha Alechina, Brian Logan |
| 2005 | IJCAI | It's About Time. | Neil Madden, Brian Logan |
| 2004 | JELIA | Modelling Communicating Agents in Timed Reasoning Logics. | Natasha Alechina, Brian Logan, Mark Whitsey |
| 2001 | LPAR | Logical Omniscience and the Cost of Deliberation. | Natasha Alechina, Brian Logan |
| 1998 | AAAI | A* with Bounded Costs. | Brian Logan, Natasha Alechina |
| 1994 | SIGIR | Modelling Information Retrieval Agents with Belief Revision. | Brian Logan, Steven Reece, Karen Sparck Jones |
| 1992 | ECAI | The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. | Brian Logan, David Corne, Tim Smithers |