Dettaglio pubblicazione
2020, IJCAI, Pages 4959-4965
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces (04c Atto di convegno in rivista)
De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords