Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Baader, F.: On the complexity of Boolean unification. Inf. Process. Lett. 67, 215–220 (1998)
2. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in
$$\cal{EL}$$
towards general TBoxes. In: Brewka, G. et al. (eds.) Principles of Knowledge Representation and Reasoning, pp. 568–572. AAAI Press (2012)
3. Baader, F., Ghilardi, S.: Unification in modal and description logics. Log. J. IGPL 19, 705–730 (2011)
4. Lecture Notes in Computer Science;F Baader,2009
5. Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31, 277–305 (2001)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献