Logic-Based Knowledge Representation

F. BaaderF. Baader

Datei:Baader-LNAI-1999.ps.gz

Download

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