Sciweavers

76
Voted
AAAI
1990
15 years 2 days ago
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...
Franz Baader