事实+++

事实+++是众所周知的事实OWL—DL推理机的新一代。事实+++使用已建立的事实算法,但具有不同的内部体系结构。此外,事实上+ +是使用C++实现的,以便创建更高效的软件工具,并最大化可移植性。还引入了新的优化,并添加了一些新的特征。


ZBMaCT中的参考文献(67篇文章中引用)

显示结果1至20的67。
按年份排序(引文
  1. Nalon,Cluuudit;HuStad,乌尔里克;狄克逊,克莱尔:(MaTrkkk\Mathrs\MaTrMP)一个基于分辨率的定理证明器(Mathsfknn):体系结构、改进、策略和实验(2020)
  2. Matentzoglu,尼古拉斯;PARSIA,Bijon;Sattler,ULI:OWL推理:包容测试硬度和模块化(2018)
  3. Nalon,Cluuudia.帕丁森,Dirk:一个基于优先逻辑的解析演算(2018)
  4. Parsia,比扬;Matentzoglu,尼古拉斯;贡·阿尔维斯,Rafael S.;Glimm,伯特;Steigmiller,安德烈亚斯:猫头鹰推理者评价(矿石)2015竞争报告(2017)
  5. SikOS,Leslie F.:多媒体推理中的描述逻辑(2017)
  6. Tettamanzi,Andrea G. B.;Faron Zucker,凯瑟琳;Gangon,Fabien:OWL公理对RDF数据的可能性测试(2017)
  7. 克罗宁,丹尼尔;斯特里曼,Ofer:决策程序。算法的观点(2016)
  8. Nalon,Cluuudia;HuStad,乌尔里克;狄克逊,克莱尔:(T.T.K.\Trime\TeXP):多模态K(2016)的一种基于分辨率的证明器
  9. 卡洛斯,奥尔布,EZISEL:对称阻塞(2015)
  10. 格利姆、伯特、霍洛克斯、伊恩、Motik、鲍里斯、斯多洛斯、吉奥斯、王、哲:隐士:猫头鹰2推理者(2014)
  11. Hidalgo Doblado,M. J.;Alonso Jim·埃内兹,J. A.;BreGo-Dyasz,J.;MaltIn N-MataOS,F. J.;Ruiz Reina,J. L.:描述逻辑的形式验证表推理器(2014)
  12. 卡明斯基,马克;SMOLKA,Gert:混合PDL的目标导向决策程序(2014)
  13. 卡萨科夫,叶夫根尼;克罗茨奇,Markus;西曼·艾克,弗兰提克:不可思议的麋鹿。从多项式过程到高效推理(\ \ MathCall)本体(2014)
  14. Nikiina,Nadeschda;鲁道夫,塞巴斯蒂安:描述逻辑(MathCall)中通用术语的统一插值(非)简洁性(2014)
  15. 西曼-艾克,弗兰提克,Motik,鲍里斯;霍洛克斯,伊恩:描述逻辑中基于结果和固定参数可处理推理(2014)
  16. 卡明斯基,马克;TeBBI,托拜厄斯:Unkesta:通过增量约简到SAT的模态推理(2013)
  17. Khodadadi,穆罕默德;施密特,Renate A.;Tishkovsky,德米特里:描述逻辑(MathCalSoi)的受控闭包的精细表演算(2013)
  18. Konev,鲍里斯;Lutz,卡斯滕;瓦尔特,Dirk;沃尔特,弗兰克:描述逻辑不可分割性和描述逻辑本体论的模块化(2013)
  19. 里卡多·纳迪尼,埃琳娜;Omicini,安德列;ViLogi,米尔科:语义元组中心(2013)伊波尔特
  20. 左,明;哈尔斯莱夫,Volker:DL推理的智能表算法(2013)