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