Decidability of Circumscribed Description Logics Revisited / Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter. - (2014), pp. 112-124. [10.1007/978-3-319-14726-0_8]
Decidability of Circumscribed Description Logics Revisited
BONATTI, PIERO ANDREA;FAELLA, MARCO;SAURO, LUIGI;
2014
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.