Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL / Pagliarecci, Francesco; Spalazzi, Luca; Taccari, Gilberto. - ELETTRONICO. - 1014:(2013), pp. 885-897. (Intervento presentato al convegno 26th International Workshop on Description Logics tenutosi a Ulm, Germany nel July 23 - 26, 2013).
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL
PAGLIARECCI, Francesco;SPALAZZI, Luca;TACCARI, GILBERTO
2013-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.