Author:
Divroodi Ali Rezaei,Nguyen Linh Anh
Funder
Polish National Science Center
National Foundation for Science and Technology Development
102.05-2014.08
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference39 articles.
1. Hybrid logics: characterization, interpolation and complexity;Areces;J. Symb. Log.,2001
2. A formal definition for the expressive power of terminological knowledge representation languages;Baader;J. Log. Comput.,1996
3. A refinement operator for description logics;Badea,2000
4. Modal Logic, Number 53 in Cambridge Tracts in Theoretical Computer Science;Blackburn,2001
5. On the relative expressiveness of description logics and predicate logics;Borgida;Artif. Intell.,1996
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献