机译:具有全局高速缓存的ExpTime Tableaux用于分级命题动态逻辑
Ton Duc Thang Univ, Fac Informat Technol, Div Knowledge & Syst Engn ICT, 19 Nguyen Huu Tho St,Tan Phong Ward,Dist 7, Ho Chi Minh City, Vietnam|Univ Warsaw, Inst Informat, Banacha 2, PL-02097 Warsaw, Poland;
机译:具有描述逻辑SHIO的全局状态缓存的ExpTime表
机译:具有全局高速缓存的ExpTime Tableaux,用于混合PDL
机译:exptime tableeaux与hybrid pdl的全球缓存
机译:具有全局缓存的EXPTIME Tableaux,用于具有传递角色,逆角色和角色层次结构的描述逻辑
机译:全局分布的网络缓存的设计和管理
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:具有全局缓存的ExpTime Tableaux用于描述逻辑sHOQ
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性