Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition (2020-0070-1340-159970)

Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition

Data pubblicazione: 04-03-2020
Data scadenza: 03-04-2020

Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-

data dell'ultimo aggiornamento: 02/07/2020 - 12:22

Codice bando: 7

Bando AR 7 De Giacomo.pdf

Criteri di valutazione

AR 7 approvazione atti.pdf

2020-0070-1340-159970

Totale incarichi: 1

Incarichi conferiti

Tutte le pubblicazioni riguardanti i titolari di incarichi politici, i dirigenti, i consulenti e i collaboratori, di seguito riportate, sono garantite per tutta la durata dell'incarico nonché per un periodo ulteriore di tre anni decorrenti dalla data di cessazione dell'incarico medesimo ai sensi delle normative vigenti in termini di Trasparenza e Privacy.

ESTREMI ATTO	Nominativo	Periodo rapporto	Oggetto dell'incarico	Compenso
AR 7-2020 Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition	FRAGA PEREIRA RAMON	01-02-2021 to 31-01-2023	Studio e sviluppo di tecniche e system Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition.	€80 000.00