2024

September

Glocal Conformance Checking

August

Better Bounded Bisimulation Contractions

2023

October

A Semantic Approach to Decidability in Epistemic Planning

September

DELPHIC: Practical DEL Planning via Possibilities

May

DAEDALUS - DynAmic Epistemic and DoxAstic Logic Universal Solver

2022

November

The Epistemic Planning Domain Definition Language (Short Paper)

DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework

2021

October

Multi-Agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies

July

DELPHIC ASP - An Answer Set Programming model of the DELPHIC semantics

2020

September

Modelling Multi-Agent Epistemic Planning in ASP

June

EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations

February

PLATO - ePistemic muLti-agent Answer seT programming sOlver

2019

March

EFP 2.0 - Epistemic Forward Planner