EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. - Francesco Fabiano; Alessandro Burigana; Agostino Dovier; Enrico Pontelli (ICAPS, 2020)

A Java visual Simulator of Turing Machines. - Alessandro Burigana; Francesco De Martino; Agostino Dovier (ICTCS, 2020)

Modelling Multi-Agent Epistemic Planning in ASP. - Alessandro Burigana; Francesco Fabiano; Agostino Dovier; Enrico Pontelli (Theory Pract. Log. Program., 2020)

Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. - Francesco Fabiano; Alessandro Burigana; Agostino Dovier; Enrico Pontelli; Tran Cao Son (PRICAI (1), 2021)

The Epistemic Planning Domain Definition Language (Short Paper). - Alessandro Burigana; Francesco Fabiano (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. - Alessandro Burigana; Paolo Felli; Marco Montali (OVERLAY@AI*IA, 2022)

A Semantic Approach to Decidability in Epistemic Planning. - Alessandro Burigana; Paolo Felli; Marco Montali; Nicolas Troquard (ECAI, 2023)

delphic: Practical DEL Planning via Possibilities. - Alessandro Burigana; Paolo Felli; Marco Montali (JELIA, 2023)

DELPHIC: Practical DEL Planning via Possibilities (Extended Version). - Alessandro Burigana; Paolo Felli; Marco Montali (CoRR, 2023)

A Semantic Approach to Decidability in Epistemic Planning (Extended Version). - Alessandro Burigana; Paolo Felli; Marco Montali; Nicolas Troquard (CoRR, 2023)

Better Bounded Bisimulation Contractions. - Thomas Bolander; Alessandro Burigana (AiML, 2024)

Glocal Conformance Checking. - Alessandro Burigana; Alessandro Gianola; Marco Montali; Sarah Winkler (BPM, 2024)

Better Bounded Bisimulation Contractions (Preprint). - Thomas Bolander; Alessandro Burigana (CoRR, 2024)

Depth-Bounded Epistemic Planning. - Thomas Bolander; Alessandro Burigana; Marco Montali (CoRR, 2024)