TY  - RPRT
T1  - Terminological knowledge representation : a proposal for a terminological logic 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1990
A1  - Baader,Franz
A1  - Bürckert,Hans-Jürgen
A1  - Heinsohn,Jochen
A1  - Hollunder,Bernhard
A1  - Müller,Jürgen
A1  - Nebel,Bernhard
A1  - Nutt,Werner
A1  - Profitlich,Hans-Jürgen
Y1  - 2011/07/05
N2  - This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3857
ER  -