E-LIB Suche - Ergebnisse für: Fuggitti, Francesco

1

A tool for declarative Trace Alignment via automated planni..:

De Giacomo, Giuseppe ; Fuggitti, Francesco ; Maggi, Fabrizio Maria..
Software Impacts. 16 (2023) - p. 100505 , 2023

Link: https://doi.org/10.1016/..

2

Temporally extended goal recognition in fully observable no..:

Pereira, Ramon Fraga ; Fuggitti, Francesco ; Meneguzzi, Felipe.
Applied Intelligence. 54 (2023) 1 - p. 470-489 , 2023

Link: https://doi.org/10.1007/..

3

From Natural Language to Workflows: Towards Emergent Intell..:

, In: Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe Forum; Lecture Notes in Business Information Processing,

Chakraborti, Tathagata ; Rizk, Yara ; Isahagian, Vatche.. - p. 123-137 , 2022

Link: https://doi.org/10.1007/..

4

Temporally Extended Goal Recognition in Fully Observable No..:

Pereira, Ramon Fraga ; Fuggitti, Francesco ; Meneguzzi, Felipe.
http://arxiv.org/abs/2306.08680. , 2023

Link: http://arxiv.org/abs/230..

5

Planning for Temporally Extended Goals in Pure-Past Linear ..:

Bonassi, Luigi ; De Giacomo, Giuseppe ; Favorito, Marco...
ispartofbook:Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. , 2023

Link: https://hdl.handle.net/1..

6

Temporally extended goal recognition in fully observable no..:

Pereira, Ramon Fraga ; Fuggitti, Francesco ; Meneguzzi, Felipe.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10787694/. , 2023

Link: http://www.ncbi.nlm.nih...

7

Planning for Temporally Extended Goals in Pure-Past Linear ..:

De Giacomo, Giuseppe ; Favorito, Marco ; Fuggitti, Francesco
http://arxiv.org/abs/2204.09960. , 2022

Link: http://arxiv.org/abs/220..

8

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Determ..:

Pereira, Ramon Fraga ; Fuggitti, Francesco ; De Giacomo, Giuseppe
http://arxiv.org/abs/2103.11692. , 2021

Link: http://arxiv.org/abs/210..

9

FOND Planning for LTLf and PLTLf Goals:

Fuggitti, Francesco
http://arxiv.org/abs/2004.07027. , 2020

Link: http://arxiv.org/abs/200..

10

Pure-Past Linear Temporal and Dynamic Logic on Finite Trace:

Giuseppe De Giacomo ; Antonio Di Stasio ; Francesco Fuggitti.
info:eu-repo/semantics/altIdentifier/wos/WOS:000764196705013. , 2020

Link: http://hdl.handle.net/11..

11

LTLf2DFA:

Francesco Fuggitti
https://github.com/Francesco17/LTLf2DFA/tree/0.2.2.post0. , 2019

Link: https://zenodo.org/recor..

12

Francesco17/LTLf2DFA: First release:

Francesco Fuggitti
https://github.com/Francesco17/LTLf2DFA/tree/0.2.2.post0. , 2019

Link: https://zenodo.org/recor..