Brian Logan
23 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🏃 Academic Marathon (12) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐣 Hot Topic Early Bird
🌍
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
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