Brian Logan

23 papers · 2013–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (12) 🗺️ Taxonomy Completionist (30) 🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (7) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (12) 🧭 Keyword Pioneer 🏆 Keyword Champion (2) 🤝 Dynamic Duo (16) 🗃️ Keyword Collector (82) 🚀 Conference Pioneer 💎 Century Club (22) 🔥 Unstoppable (11)

Conferences

IJCAI (18) AAAI (5)

Top co-authors

Natasha Alechina (17) Mehdi Dastani (6) Yuan Yao (5) John Thangarajah (4) Paolo Felli (4) Giuseppe De Giacomo (3) Michael Dann (3) Felipe Meneguzzi (3) Lavindra de Silva (3) Giuseppe Perelli (2)

Keywords

multi-agent system (6) monte carlo tree search (4) model checking (4) temporal logic (4) controller synthesis (3) formal methods (3) intention progression (3) bdi agents (2) process planning (2) manufacturing system (2) bdi architecture (2) intention recognition (2) safe reinforcement learning (1) markov decision process (1) action prediction (1) pareto optimality (1) mechanism design (1) causal reasoning (1) expressive power (1) parameterized algorithm (1)

Papers

Synthesising Minimum Cost Dynamic Norms IJCAI 2025

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025

Probabilistic Strategy Logic with Degrees of Observability AAAI 2025

Intention Progression with Temporally Extended Goals IJCAI 2024

Pure-Past Action Masking AAAI 2024

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract) IJCAI 2023

Multi-Agent Intention Recognition and Progression IJCAI 2023

Probabilistic Temporal Logic for Reasoning about Bounded Policies IJCAI 2023

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022

Multi-Agent Intention Progression with Reward Machines IJCAI 2022

Multi-Agent Intention Progression with Black-Box Agents IJCAI 2021

Intention Progression under Uncertainty IJCAI 2020

Parameterised Resource-Bounded ATL AAAI 2020

BDI Agent Architectures: A Survey IJCAI 2020

Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract) IJCAI 2018

An Operational Semantics for a Fragment of PRS IJCAI 2018

Process Plan Controllers for Non-Deterministic Manufacturing Systems IJCAI 2017

Parallel Behavior Composition for Manufacturing IJCAI 2016

Verifying Existence of Resource-Bounded Coalition Uniform Strategies IJCAI 2016

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic IJCAI 2015

Symbolic Model Checking for One-Resource RB+-ATL IJCAI 2015

Reasoning about Normative Update IJCAI 2013