Unification in Modal and Description Logics

Franz BaaderFranz Baader, S. GhilardiS. Ghilardi

Download

Franz Baader, S. Ghilardi
Unification in Modal and Description Logics
Logic Journal of the IGPL, 19(6):705-730, 2011

Details
Bibtex

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},
}