Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.
Unification in modal and description logics / F. Baader, S. Ghilardi. - In: LOGIC JOURNAL OF THE IGPL. - ISSN 1367-0751. - 19:6(2011), pp. jzq008.705-jzq008.730. [10.1093/jigpal/jzq008]
Unification in modal and description logics
S. GhilardiUltimo
2011
Abstract
Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
