Proceedings

Brian Logan

University of Aberdeen; University of Utrecht

20 papers in the IJCAI proceedings

IJCAI 2025

Synthesising Minimum Cost Dynamic Norms
with Natasha Alechina, Giuseppe Perelli
doi:10.24963/ijcai.2025/1
Details PDF

IJCAI 2024

Intention Progression with Temporally Extended Goals
with Yuan Yao, Natasha Alechina
doi:10.24963/ijcai.2024/33
Details PDF

IJCAI 2023

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)
with Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani
doi:10.24963/ijcai.2023/773
Details PDF
Multi-Agent Intention Recognition and Progression
with Michael Dann, Yuan Yao, Natasha Alechina, Felipe Meneguzzi, John Thangarajah
doi:10.24963/ijcai.2023/11
Details PDF
Probabilistic Temporal Logic for Reasoning about Bounded Policies
with Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder
doi:10.24963/ijcai.2023/367
Details PDF

IJCAI 2022

Multi-Agent Intention Progression with Reward Machines
with Michael Dann, Yuan Yao, Natasha Alechina, John Thangarajah
doi:10.24963/ijcai.2022/31
Details PDF
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
with Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
doi:10.24963/ijcai.2022/798
Details PDF

IJCAI 2021

Multi-Agent Intention Progression with Black-Box Agents
with Michael Dann, Yuan Yao, John Thangarajah
doi:10.24963/ijcai.2021/19
Details PDF

IJCAI 2020

BDI Agent Architectures: A Survey
with Lavindra de Silva, Felipe Meneguzzi
doi:10.24963/ijcai.2020/684
Details PDF
Intention Progression under Uncertainty
with Yuan Yao, Natasha Alechina, John Thangarajah
doi:10.24963/ijcai.2020/2
Details PDF

IJCAI 2018

An Operational Semantics for a Fragment of PRS
with Lavindra de Silva, Felipe Meneguzzi
doi:10.24963/ijcai.2018/27
Details PDF
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)
with Natasha Alechina, Joseph Y. Halpern, Ian A. Kash
doi:10.24963/ijcai.2018/781
Details PDF

IJCAI 2017

Process Plan Controllers for Non-Deterministic Manufacturing Systems
with Paolo Felli, Lavindra de Silva, Svetan Ratchev
doi:10.24963/ijcai.2017/142
Details PDF

IJCAI 2016

Parallel Behavior Composition for Manufacturing
with Paolo Felli, Sebastian Sardiña
Details PDF
Verifying Existence of Resource-Bounded Coalition Uniform Strategies
with Natasha Alechina, Mehdi Dastani
Details PDF

IJCAI 2015

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
with Natasha Alechina, Nils Bulling, Nguyen Hoang Nga
Details PDF
Symbolic Model Checking for One-Resource RB+-ATL
with Natasha Alechina, Nguyen Hoang Nga, Franco Raimondi
Details PDF

IJCAI 2013

Reasoning about Normative Update
with Natasha Alechina, Mehdi Dastani
Details PDF

IJCAI 2009

A Logic for Coalitions with Bounded Resources
with Natasha Alechina, Nguyen Hoang Nga, Abdur Rakib
Details PDF

IJCAI 2005

It’s About Time
with Neil Madden
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards