Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL / Pagliarecci, Francesco; Spalazzi, Luca; Taccari, Gilberto. - ELETTRONICO. - 1014:(2013), pp. 885-897. ( 26th International Workshop on Description Logics Ulm, Germany 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.


