麋鹿

此软件的关键字
zbMATH参考文献(参考12篇文章)
弗尔南多·比尔多(Fernandon Boccumbero),2018年《费尔南多·比尔多推理》(Fernando Boccumbero,2018年) Kazakov,Yevgeny;Skočovský,Peter:使用决议列举理由(2018) Ceylan,İsmailİlkan;Peñaloza,Rafael:贝叶斯本体论语言(\mathcalBEL)(2017) Hutschenreiter,Lisa;Peñaloza,Rafael:目标导向方法的自动机视角(2017) Lopes,Carlos;Knorr,Matthias;Leite,João:Nohr:integrating XSB prolog与OWL2配置文件及更高版本(2017) Parsia,Bijan;Matentzoglu,Nicolas;Gonçalves,Rafael S.;Glimm,Birte;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年) Thomas Eiter;Fink,Michael;Stepanova,Daria:不一致非单调描述逻辑程序的数据修复(2016) Marques Silva,Joao;Ignatiev,Alexey;Mencía,Carlos;Peñaloza,Rafael:不一致Horn公式的有效推理(2016) Ecke,Andreas;Peñaloza,Rafael;Turhan,Anni Yasmin:基于相似性的宽松实例查询(2015) 格里姆,伯特;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:隐士:猫头鹰2推理者(2014) 叶夫根尼·卡扎科夫;马库斯·克鲁兹;弗朗蒂舍克·西曼切克:不可思议的麋鹿。 从多项式过程到有效推理(\mathcalEL)本体论(2014) Krötzsch,Markus:OWL2概要:轻量级本体语言简介(2012)