H ?
«
‹
←
→
›
»
Language peer sets for TF:
Germany↑
Germany/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
TF(ID:3999/tf:001)
alternate simple view
Country: Germany
Designed 1990
TSL KR Language
Nebel 1990
Related languages
KL-ONE |
→
|
TF | |
Evolution of |
TF |
→
|
NTF | |
Evolution of |
References:
Nebel, B. (1987) Nebel, B. On Terminological Cycles. KIT Report 58, Technische Universität Berlin, KIT Group. 1987
Nebel, B. (1989) Nebel, B. ; Smolka, G. Representation and Reasoning with Attributive Descriptions. IWBS Report 81, IBM Deutschland, Stuttgart. Bläsius, K.H. et al. (eds.). Sorts and Types for Artificial Intelligence, Lecture Notes in Artificial Intelligence. 1989
Nebel, B. (1990) Nebel, B. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, Subseries of Lecture Notes in Computer Science 422. 1990
Nebel, B. (1990) Nebel, B. Terminological Cycles: Semantics and Computational Properties. Proceedings of the Workshop on Formal Aspects of Semantic Networks, Two Harbors. 1990
Nebel, B. (1990) Nebel, B. Terminological Reasoning is Inherently Intractable. Artificial Intelligence 43. 1990
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|