LATPub471

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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