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

Data di aggiornamento: 02/07/2020 - 12:22
Tipologia bando: 
Assegni di ricerca
Codice bando: 
7
Data pubblicazione: 
Mer, 04/03/2020
Data scadenza: 
Ven, 03/04/2020
decreto approvazione atti: 
Riapertura termini: 
Venerdì, 3 Aprile, 2020 to Giovedì, 21 Maggio, 2020
Criteri di valutazione: 
SPC: 
2020-0070-1340-159970
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002