SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-38575
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3857/


Terminological knowledge representation : a proposal for a terminological logic

Baader, Franz ; Bürckert, Hans-Jürgen ; Heinsohn, Jochen ; Hollunder, Bernhard ; Müller, Jürgen ; Nebel, Bernhard ; Nutt, Werner ; Profitlich, Hans-Jürgen

Quelle: (1990) Kaiserslautern ; Saarbrücken : DFKI, 1990
pdf-Format:
Dokument 1.pdf (4.764 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Künstliche Intelligenz
Institut: DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Bandnummer: 90-04
Sprache: Englisch
Erstellungsjahr: 1990
Publikationsdatum: 05.07.2011
Kurzfassung auf Englisch: This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English