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

Codice bando: 7
Data pubblicazione: 04-03-2020
Data scadenza: 03-04-2020
riapertura termini fino al: 21-05-2020
Decreto approvazione atti
Verbale della seduta preliminare:
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2020-0070-1340-159970
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002