弹丸

此软件的关键字
zbMATH中的参考文献(参考文献 95篇文章 )
杜斯拉夫,克莱门斯; 库普曼,帕特里克; Turhan,AnniYasmin:用本体论增强概率模型检查(2021) 泰纳库卡拉,大卫; Cuenca Grau,贝尔纳多; Horrocks,Ian:Pay-as-you-go描述逻辑的基于结果的推理(\mathcalSROIQ)(2021) 江云城:语义计算的形式化模型(2019) 泽斯,里卡多; 科塔,朱塞佩; 南丫岛,伊芙丽娜; 贝洛迪,埃琳娜; Riguzzi,Fabrizio:带精确公式的概率DL推理:基于Prolog的方法(2019) 马特佐格鲁,尼古拉斯; 帕西娅,比扬; 萨特勒,Uli:OWL推理:包容测试硬度和模块性(2018) 史考提欣,康斯坦丁; 罗德勒,帕特里克; Schmid,Wolfgang:Ontodebug:protégé交互式本体调试插件(2018) 泽斯,里卡多; 贝洛迪,埃琳娜; 里古兹,法布里齐奥; 科塔,朱塞佩; Lamma,Evelina:描述逻辑的表推理及其对概率的扩展(2018) 帕西娅,比扬; 马特佐格鲁,尼古拉斯; 冈萨尔维斯,拉斐尔S。; 微光,白桦; Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年) 布山,美嘉; Goel,Shivani:使用本体论方法改进软件产品线(2016) 科塔,朱塞佩; 泽斯,里卡多; 贝洛迪,埃琳娜; 里古兹,法布里齐奥; Lamma,Evelina:概率本体论的分布参数学习(2016) 阿里夫,M.法雷德; 门西亚,卡洛斯; Marques Silva,Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用(2015) 奥特西耶,谢尔盖; Hutter,Dieter:SHIP——一种基于逻辑的编程智能环境的语言和工具(2015) 周玉娇; 格劳贝尔纳多·昆卡; 尼诺夫,亚弗; 卡明斯基,马克; Horrocks,Ian:宝塔:使用数据日志推理器进行按需付费本体查询回答(2015) 微光,白桦; 霍洛克斯,伊恩; 莫蒂克,鲍里斯; 斯托伊洛斯,乔戈斯; 王哲:《隐士:猫头鹰2推理者》(2014) 卡明斯基,马克; Smolka,Gert:混合动力PDL的目标导向决策程序(2014) 叶夫根尼·卡扎科夫; 克鲁兹,马库斯; 西曼契克,弗兰蒂舍克:不可思议的麋鹿。 从多项式过程到有效推理(\mathcalEL)本体论(2014) 尼基蒂娜,纳德斯卡达; Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014) 拉扎克,阿卜杜勒; 拉蒂夫,哈立德; 艾哈迈德,H.法鲁克; 啊,阿里; 安瓦尔,扎希德; Bloodworth,Peter Charles:针对web应用程序攻击的语义安全(2014) ioport公司 西曼契克,弗兰蒂舍克; 莫蒂克,鲍里斯; Horrocks,Ian:描述逻辑中基于结果和固定参数可处理推理(2014) 斯坦米勒,安德烈亚斯; 微光,白桦; Liebig,Thorsten:《通过吸收来推理名词性图式》(2014)