LATPub103

PublikationenPublications

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

Toggle side column

Logik-basierte Wissensrepräsentation

Franz BaaderFranz Baader

Franz Baader
Logik-basierte Wissensrepräsentation
KI, {3/96}:8-16, 1996

• Details
• Bibtex

• KurzfassungAbstract
  Nach einer kurzen Betrachtung der Anforderungen, die eine Wissensrepr"asentationssprache erf"ullen sollte, werden wir auf Beschreibungslogiken, Modallogiken und nichtmonotone Logiken als Formalismen zur Repr"asentation terminologischen Wissens, zeitabh"angigen und subjektiven Wissens sowie unvollst"andigen Wissens eingehen. Am Ende jedes Abschnitts wird kurz auf die Verbindung zur Logischen Programmierung eingegangen.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ Baader-KI-96,
  author = {F. {Baader}},
  journal = {{KI}},
  pages = {8--16},
  title = {{L}ogik-basierte {W}issensrepr{\"a}sentation},
  volume = {{3/96}},
  year = {1996},
}