吉隆坡一号

此软件的关键字
zbMATH中的参考文献(参考文献 41条 )
鲍姆加特纳,彼得; Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020) Nguyen,Linh Anh:ExpTime tableaux,带混合PDL的全局缓存(2020) 泽斯,里卡多; 科塔,朱塞佩; 南丫岛,伊芙丽娜; 贝洛迪,埃琳娜; Riguzzi,Fabrizio:带精确公式的概率DL推理:基于Prolog的方法(2019) 巴德尔,弗兰兹; 博格沃德,斯特凡; Peñaloza,Rafael:关于带有一般概念包含的模糊(\mathcalA\mathcalL\mathcalC)的可判定状态(2015) 博格沃德,斯特凡; Peñaloza,Rafael:无限值哥德尔语义下的表达描述逻辑推理(2015) 施密特,雷诺A。; Waldmann,Uwe:具有分块和同余闭包的模态tableau系统(2015) 陶、贾; 斯鲁茨基,乔拉; Honavar,Vasant:知识库中保密推理的概念框架(2015) 博格沃德,斯特凡; Peñaloza,Rafael:基于格的模糊描述逻辑中的一致性推理(2014) 微光,白桦; 霍洛克斯,伊恩; 莫蒂克,鲍里斯; 斯托伊洛斯,乔戈斯; 王哲:《隐士:猫头鹰2推理者》(2014) 施密特,雷诺A。; Tishkovsky,Dmitry:使用tableau来决定完全角色否定和身份的描述逻辑(2014) 戈雷,拉吉耶夫; Nguyen,Linh Anh:ExpTime tableaux for(\mathcalALC)使用声音全局缓存(2013) 陶、贾; 斯鲁茨基,乔拉; Honavar,Vasant:PS\textscSpaceTableau算法的非循环模型化(\MathCalac)(2012) 巴德尔,弗兰兹; Peñaloza,Rafael:基于GCIs和乘积t-范数的模糊描述逻辑的不可判定性(2011) 卡明斯基,马克; 施耐德,西格德; Smolka,Gert:带全局模式和角色层次的分级混合逻辑的终止表(2011) Meissner,Adam:描述逻辑的简单并行推理系统中一些计算规则的实验分析(2011) 阮林安; Szałas,Andrzej:ExpTime tableau decision procedures for regular grammar logics with converse(2011年) 施密特,雷诺A。; Tishkovsky,Dmitry:tableau calculi的自动合成(2011) 巴德尔,弗兰兹; 贝克特,伯恩哈德; Nipkow,Tobias:推断:von der Theorie zur Anwendung(2010年) ioport公司 巴德尔,弗兰兹; 卢茨,卡斯滕; 图尔汉,安尼·亚斯明:小是再美的描述逻辑(2010) ioport公司 巴德尔,弗兰兹; Peñaloza,Rafael:基于自动机的公理精确定位(2010)