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