Alessandro Burigana

Orcid: 0000-0002-9977-6735

According to our database1, Alessandro Burigana authored at least 14 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Depth-Bounded Epistemic Planning.
CoRR, 2024

Better Bounded Bisimulation Contractions (Preprint).
CoRR, 2024

Glocal Conformance Checking.
Proceedings of the Business Process Management - 22nd International Conference, 2024

Better Bounded Bisimulation Contractions.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023
A Semantic Approach to Decidability in Epistemic Planning (Extended Version).
CoRR, 2023

DELPHIC: Practical DEL Planning via Possibilities (Extended Version).
CoRR, 2023

delphic: Practical DEL Planning via Possibilities.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Semantic Approach to Decidability in Epistemic Planning.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework.
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

The Epistemic Planning Domain Definition Language (Short Paper).
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2021
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies.
Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

2020
Modelling Multi-Agent Epistemic Planning in ASP.
Theory Pract. Log. Program., 2020

A Java visual Simulator of Turing Machines.
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020


  Loading...