Brian Logan
23 papers · 2013–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (30) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π€
Dynamic Duo
(17)
π
Keyword Champion
(3)
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Silver
π
Conference Pioneer
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(82)
Venues
Top co-authors
Research topics
Artificial Intelligence
(14)
Core AI
(14)
Knowledge & Reasoning
(6)
Reasoning
(6)
Machine Learning
(5)
Mathematics & Optimization
(4)
Optimization
(4)
Computer Science
(3)
Reinforcement Learning
(3)
Learning Types
(3)
Optimization & Theory
(3)
Applications
(2)
Foundations
(2)
Methods
(2)
Deep Learning
(1)
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
Probabilistic Strategy Logic with Degrees of Observability
AAAI 2025
Synthesising Minimum Cost Dynamic Norms
IJCAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
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
Multi-Agent Intention Progression with Reward Machines
IJCAI 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
IJCAI 2022
Multi-Agent Intention Progression with Black-Box Agents
IJCAI 2021
BDI Agent Architectures: A Survey
IJCAI 2020
Intention Progression under Uncertainty
IJCAI 2020
Parameterised Resource-Bounded ATL
AAAI 2020
Unbounded Orchestrations of Transducers for Manufacturing
AAAI 2019
An Operational Semantics for a Fragment of PRS
IJCAI 2018
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)
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