A uniform tableaux-based method for concept abduction and contraction in description logics / Colucci, S; Di Noia, T; Di Sciascio, E; Donini, Fm; Mongiello, M. - STAMPA. - 110:(2004), pp. 975-976. (Intervento presentato al convegno 16th European Conference on Artificial Intelligence, ECAI 2004 tenutosi a Valencia, Spain nel August 22-27, 2004).
A uniform tableaux-based method for concept abduction and contraction in description logics
Colucci, S;Di Noia, T;Di Sciascio, E;Mongiello, M
2004-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.