Logic-Based Knowledge Representation

PublikationenPublications

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

Toggle side column

Logic-Based Knowledge Representation

Franz BaaderFranz Baader

Datei:Baader-LNAI-1999.ps.gz

• Download

Franz Baader
Logic-Based Knowledge Representation
In M.J. Wooldridge and M. Veloso, eds., Artificial Intelligence Today, Recent Trends and Developments, Lecture Notes in Computer Science, 13-41, 1999. Springer

• Details
• Bibtex

• KurzfassungAbstract
  After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we briefly comment on the connection to Logic Programming.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ Baader-LNAI-1999,
  author = {F. {Baader}},
  booktitle = {Artificial Intelligence Today, Recent Trends and Developments},
  editor = {M.J. {Wooldridge} and M. {Veloso}},
  number = {1600},
  pages = {13--41},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Logic-Based Knowledge Representation},
  year = {1999},
}