Unification in Modal and Description Logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Unification in Modal and Description Logics

Franz BaaderFranz Baader,  S. GhilardiS. Ghilardi
Franz Baader, S. Ghilardi
Unification in Modal and Description Logics
Logic Journal of the IGPL, 19(6):705-730, 2011
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: Available at http://jigpal.oxfordjournals.org/content/19/6/705.abstract
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderGhilardi2011,
  author = {F. {Baader} and S. {Ghilardi}},
  journal = {Logic Journal of the IGPL},
  note = {Available at http://jigpal.oxfordjournals.org/content/19/6/705.abstract},
  number = {6},
  pages = {705--730},
  title = {Unification in Modal and Description Logics},
  volume = {19},
  year = {2011},
}