TF(ID:3999/tf:001)
TSL KR Language
Nebel 1990
Related languages
| KL-ONE |
=> |
TF | |
Evolution of |
| TF |
=> |
NTF | |
Evolution of |
References:
Nebel, B. On Terminological Cycles. KIT Report 58, Technische Universität Berlin, KIT Group. 1987 view details
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 view details
Nebel, B. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, Subseries of Lecture Notes in Computer Science 422. 1990 view details
Nebel, B. Terminological Cycles: Semantics and Computational Properties. Proceedings of the Workshop on Formal Aspects of Semantic Networks, Two Harbors. 1990 view details
Nebel, B. Terminological Reasoning is Inherently Intractable. Artificial Intelligence 43. 1990 view details
|