Logic-Based Knowledge Representation

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

Toggle side column

Logic-Based Knowledge Representation

Franz BaaderFranz Baader
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
  • 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},
}