Temporal DL-Lite over Finite Traces (Preliminary Results)

Alessandro Artale, Andrea Mazzullo, Ana Ozaki. Temporal DL-Lite over Finite Traces (Preliminary Results). In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

Authors

Alessandro Artale

This author has not been identified. Look up 'Alessandro Artale' in Google

Andrea Mazzullo

This author has not been identified. Look up 'Andrea Mazzullo' in Google

Ana Ozaki

This author has not been identified. Look up 'Ana Ozaki' in Google