论文信息 - Modal logics and Description logics - 字舞流文

Modal logics and Description logics

[1] Maarten de Rijke,et al. Counting Objects , 1995, J. Log. Comput..

[2] Klaus Schild,et al. Terminological Cycles and the Propositional µ-Calculus , 1994, KR.

[3] M. de Rijke,et al. Expressiveness of First-Order Description Logics , 1997 .

[4] J.F.A.K. van Benthem,et al. Modal Correspondence Theory , 1977 .

[5] Dov M. Gabbay,et al. EXPRESSIVE FUNCTIONAL COMPLETENESS IN TENSE LOGIC , 1981 .

[6] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[7] Maarten de Rijke,et al. Classifying Description Logics , 1997, Description Logics.