数据日志 282份文件引用(1978–2022) 软件作者: Ceri,S.、Gottlob,G.、Tanca,L 相关软件: 亚萨特;格林戈;Clingo… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
swrl公司 32篇文献引用(2005–2022) 软件作者: Horrocks,I.、Patel-Schneider,P.F.、Boley,H.、Tabet,S.、Grosof,B.、Dean,M。 相关软件: 颗粒;FaCT++;SPARQL… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
图形日志 34份文件引用(1990–2022) 软件作者: 康森斯,M。;门德尔松 相关软件: XPath;SPARQL;洛雷尔… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…
NP-SPEC公司 21篇文献引用(1999–2022) 软件作者: 马可·卡多利;乔瓦姆巴蒂斯塔·伊安尼;路易吉·帕洛波利;安德烈·谢尔夫(Andrea Schaerf);多梅尼科·瓦西莱 相关软件: 平滑;ESRA;图形库… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
ASPARTIX公司 17篇文献引用(2011–2019) 软件作者: 乌韦·埃格利;莎拉·爱丽丝·加格尔(Sarah Alice Gaggl);斯特凡·沃尔特兰 相关软件: 邓金;MiniSat;CoQuiAAS… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
穆瓦尔 8份文件引用(2010年-2023年) 软件作者: Ou,X.,Govindavajhala,S.,Appel,A.W。 相关软件: ADEPTS;分享;SPSS… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
数据日志LITE 9份文件引用(2002–2019) 软件作者: 乔治·戈特洛布(Georg Gottlob);Erich Grädel;赫尔穆特·维思 相关软件: XPath;中尉;ComputeTW… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
NP数据日志 6篇文献引用(2005–2016) 软件作者: 塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;特鲁比西纳,伊琳娜;埃斯特·赞帕诺 相关软件: 酸;XSB;数据日志… 主要字段: 计算机科学(68-XX)
代码任务 4份文件引用(2007–2013) 软件作者: 埃尔纳尔·哈吉耶夫;马修·韦巴埃(Mathieu Verbaere);Oege De Moor公司 相关软件: 方面J;JHotDraw;XSB… 主要字段: 计算机科学(68-XX)
RDFox公司 5份文件引用(2020–2023) 软件作者: Nenov,Y.、Piro,R.、Motik,B.、Horrocks,I.、Wu,Z.、Banerjee,J。 相关软件: DBpedia;SPARQL;LUBM… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
大数据日志 7份文件引用(2018–2022) 软件作者: 亚历山大·什卡普斯基(Alexander Shkapsky);杨默翰;马泰奥·英特兰迪;宣丘;泰森·康迪;卡洛·扎尼奥洛 相关软件: 预凝胶;Apache Spark;WebPIE… 主要字段: 计算机科学(68-XX)
数据日志MTL 6篇文献引用(2022–2023) 软件作者: Wałȩga,P.A。;Cuenca Grau,B。;卡明斯基,M。;科斯特列夫,E。 相关软件: LARS;克林戈;Graal… 主要字段: 计算机科学(68-XX)
千对数 6篇文献引用(2014–2022) 软件作者: 保罗·弗雷斯科尼;Costa,Fabrizio;Luc De Raedt;库尔特·德·格雷夫 相关软件: ProbLog;PyTorch;阿莱夫… 主要字段: 统计学(62-XX);计算机科学(68-XX)
流浪汉 4份文件引用(2021–2022) 软件作者: Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件: 数据日志;RDFox;LUBM… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
空标题 引用于3份文件(2017–2022) 软件作者: Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré 相关软件: HyperBench;利格拉;图形X… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
逻辑Blox 引用于3份文件(2016–2021) 软件作者: 托德·格林(Todd J.Green);Molham Aref;格里戈里斯·卡沃纳拉基斯 相关软件: i工作台;HyperBench;空标题… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
帕戈达 4份文件引用(2015年至2022年) 软件作者: 周玉娇;格劳,伯纳多·昆卡;亚沃·内诺夫;马克·卡明斯基(Mark Kaminski);伊恩·霍洛克斯 相关软件: 数据日志;Polyanna;CEX… 主要字段: 计算机科学(68-XX)
ERBlox公司 2份文件引用(2017–2019) 软件作者: 扎伊纳布巴赫马尼;利奥波多·贝托西;尼古拉斯·瓦西洛格鲁 相关软件: LogicBlox;逻辑QL;数据日志 主要字段: 计算机科学(68-XX)
数据娱乐 2份文件引用(2016–2022) 软件作者: 迈克尔·阿恩特泽尼乌斯(Michael Arntzenius);尼拉坎坦·R·克里希纳斯瓦米。 相关软件: 汞;哈斯克尔;夏普… 主要字段: 计算机科学(68-XX)
图形生成 1份文件引用(2023) 软件作者: K.Xirogiannopoulos、V.Srinivas、A.Deshpande 相关软件: 奈亚德;利格拉;GraphBolt… 主要字段: 计算机科学(68-XX)
逻辑QL 2份文件引用(2016–2017) 软件作者: Terry Halpin,Spencer Rugaber公司 相关软件: 数据日志;DeepDive;风险投资… 主要字段: 计算机科学(68-XX)
RailCNL公司 1份文件引用(2017) 软件作者: 比约纳尔·卢特伯格(Björnar Luteberget)、约翰·卡米莱里(John J.Camilleri)、克里斯蒂安·约翰森(Christian Johansen)、杰拉尔多·施奈德(Gerardo Schneider) 相关软件: MiniSat;dReal;z3… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
SociaLite公司 1份文件引用(2022) 软件作者: Jiwon Seo;Stephen Guo;Monica S.Lam女士 相关软件: 预凝胶;大数据日志;奈德… 主要字段: 计算机科学(68-XX)
蓄意破坏 2份文件引用(2021) 软件作者: Lexi Brent、Anton Jurisevic、Michael Kong、Eric Liu、Francois Gauthier、Vincent Gramoli、Ralph Holz、Bernhard Scholz 相关软件: github;SmartCheck;eThor公司 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
Yedalog公司 2份文件引用(2017–2022) 软件作者: Chin,B.、von Dincklage,D.、Ercegovac,V.、Hawkins,P.、Miller,M.S.、Och,F.J.、Olston,C.、Pereira,F。 相关软件: aspeed;LPaaS;GHC… 主要字段: 计算机科学(68-XX)
考拉 1份文件引用(2023) 软件作者: 博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);莎拉·温克勒 相关软件: 常春藤;常春藤;iProver… 主要字段: 计算机科学(68-XX)
RapidNet公司 1份文件引用(2015) 软件作者: 宾夕法尼亚大学 相关软件: VCGen;SANDLog;ProVerif… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)