Data di Pubblicazione:
2011
Citazione:
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]
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.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Admissible rules; Description logics; Modal logics; Unification
Elenco autori:
F. Baader, S. Ghilardi
Link alla scheda completa: