Francesco Fuggitti

Orcid: 0000-0003-0925-5897

According to our database1, Francesco Fuggitti authored at least 13 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
Temporally extended goal recognition in fully observable non-deterministic domain models.
Appl. Intell., January, 2024

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
A tool for declarative Trace Alignment via automated planning.
Softw. Impacts, May, 2023

Efficient techniques for automated planning for goals in linear temporal logics on finite traces.
PhD thesis, 2023

FOND Planning for Pure-Past Linear Temporal Logic Goals.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.
CoRR, 2022

From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation.
Proceedings of the Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe Forum, 2022

2021
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models.
CoRR, 2021

2020
FOND Planning for LTLf and PLTLf Goals.
CoRR, 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020


  Loading...