Author:
Baader Franz,Lutz Carsten
Reference156 articles.
1. A road-map on complexity for hybrid logics;Areces,1999
2. Unification in commutative theories;Baader;J. of Symbolic Computation,1989
3. Augmenting concept languages by transitive closure of roles: An alternative to termi- nological cycles;Baader,1991
4. A formal definition for the expressive power of terminological knowledge representation languages;Baader;J. of Logic and Computation,1996
5. Using automata theory for characterizing the semantics of terminological cycles;Baader;Ann. of Mathematics and Artificial Intelligence,1996
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献