斯莫德尔斯 231篇文献引用(1999–2022) 软件作者: 伊尔卡·尼梅尔;西蒙斯,P;托米·西尔贾宁 相关软件: 亚萨特;C模型;XSB… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
扣环 104篇文献引用(2007–2022) 软件作者: 马丁·格布瑟(Martin Gebser)、本杰明·考夫曼(Benjamin Kaufmann)、安德烈·诺依曼(AndréNeumann)、托尔斯滕·绍布(Torsten Schaub) 相关软件: 格林戈;克林戈;WASP… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Potassco公司 82份文件引用(2008–2023) 软件作者: 马丁·格布瑟(Martin Gebser);本杰明·考夫曼;罗兰·卡明斯基;奥斯特罗夫斯基,马克斯;托尔斯滕·绍布(Torsten Schaub);马吕斯·施奈德 相关软件: 克林戈;格林戈;扣… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
DLV2型 26篇文献引用(2017–2022) 软件作者: 阿尔维亚诺,马里奥;弗朗西斯科·卡利默里;多达罗、卡明;福斯科,戴维德;尼古拉·利昂内(Nicola Leone);西蒙娜·佩里(Simona Perri);弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari 相关软件: 克林戈;WASP;扣… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o克林戈;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
NoMoRe公司 引用于22份文件(2001–2012) 软件作者: 愤怒,克里斯蒂安;Kathrin Konczak;托马斯·林奇 相关软件: 亚萨特;C模型;平滑… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)
GASP公司 18篇文献引用(2008–2022) 软件作者: 亚历山德罗·达尔·帕鲁;阿戈斯蒂诺·多维尔;恩里科·蓬泰利(Enrico Pontelli);吉安弗兰科·罗西 相关软件: 克林戈;格林戈;WASP… 主要字段: 计算机科学(68-XX)
中国科学院科学院 18篇文献引用(2018–2023) 软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta) 相关软件: 克林戈;ezcsp;GitHub… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
DLV-EX公司 16篇文献引用(2007–2021) 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼 相关软件: 克林孔;克林戈;接通DLV… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
ezcsp公司 13份文件引用(2009年至2022年) 软件作者: 马尔切洛·巴尔杜奇尼(Marcello Balduccini);尤利亚·利勒 相关软件: 克林孔;克林戈;ASP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
阿司匹林 12份文件引用(2012–2022) 软件作者: 胡斯,霍尔格;罗兰·卡明斯基;马吕斯·林道尔;托尔斯滕·绍布 相关软件: 萨齐拉;阳光;SMAC… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
扣 9份文件引用(2012–2021) 软件作者: 马丁·格布瑟(Martin Gebser);罗兰·卡明斯基;克奈赫特,穆拉特;托尔斯滕·绍布 相关软件: PDDL;克林戈;ROSoClingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
海狮 引用于7份文件(2012–2019) 软件作者: Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件: 天基信息平台;卡拉;APE… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
DLVHEX公司 引用于7份文件(2010–2019) 软件作者: Van Nieuwenborgh,Davy;Martine De Cock;德克·维尔梅尔;Eiter,T.、Ianni,G.、Schindlauer,R.、Tompits,H。 相关软件: 克林戈;赛车手;ezcsp… 主要字段: 计算机科学(68-XX)
DLV综合体 引用于3份文件(2008–2009) 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;Giovambattista Ianni;尼古拉·利昂 相关软件: DLV-EX;OntoDLV;CiaoPP… 主要字段: 计算机科学(68-XX)
xclingo公司 5份文件引用(2020–2023) 软件作者: 佩德罗·卡巴拉尔;豪尔赫·范丁诺;穆尼兹,布雷斯 相关软件: 中国科学院科学院;克林戈;XSB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
民主党人 4份文件引用(2015–2020) 软件作者: 格恩瑟·查瓦特;安德烈亚斯·普范德勒 相关软件: Isabelle/HOL;通用电气;PSPLIB… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
埃林戈 4份文件引用(2020–2022) 软件作者: 佩德罗·卡巴拉尔;豪尔赫·范丁诺;哈维尔·加里亚(Javier Garea);哈维尔·罗梅罗;托尔斯滕·绍布 相关软件: 克林戈;出售;htd… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
视频 2份文件引用(2016–2019) 软件作者: Oetsch,Johannes;普尔,约格;塞德尔,马蒂娜;汉斯·托姆皮茨(Hans Tompits);帕特里克·兹维克 相关软件: 平滑;APE;辐条… 主要字段: 计算机科学(68-XX)
Equibel公司 2份文件引用(2015–2016) 软件作者: 保罗·维科尔(Paul Vicol);詹姆斯·德尔格兰德(James Delgrade);托尔斯滕·绍布 相关软件: 克林戈 主要字段: 计算机科学(68-XX)
在线SPARC 2份文件引用(2019) 软件作者: Elias Marcopoulos;张元林 相关软件: 海狮;卡拉;天基信息平台… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
OOASP(OOASP) 1份文件引用(2016) 软件作者: 安德烈亚斯·福克纳;Ryabokon,安娜;戈特弗里德·施纳(Gottfried Schenner);克斯特安提恩·什切科提金 相关软件: 格林戈;MiniSat;对夹2… 主要字段: 计算机科学(68-XX)
SkuARE公司 2份文件引用(2020–2022) 软件作者: 巴苏,金加尔;萨拉特·钱德拉(Sarat Chandra),瓦拉纳西(Varanasi);法哈德·沙克林(Farhad Shakerin);戈帕尔·古普塔 相关软件: 小队;水;ASP… 主要字段: 计算机科学(68-XX)
ASPDoc公司 1份文件引用(2012) 软件作者: 玛丽娜·德沃斯;Kisa、Doğa Gizem;Oetsch,Johannes;普尔,约格;汉斯·托姆皮茨 相关软件: 平滑;ASP单元;拉娜… 主要字段: 计算机科学(68-XX)
ASP单元 1份文件引用(2012) 软件作者: 玛丽娜·德沃斯;基萨,多阿·吉泽姆;Oetsch,Johannes;普尔,约格;汉斯·托姆皮茨 相关软件: 平滑;ASPDoc;拉娜… 主要字段: 计算机科学(68-XX)
拉娜 1份文件引用(2012) 软件作者: 玛丽娜·德沃斯;基萨,多阿·吉泽姆;Oetsch,Johannes;元首,约尔格;汉斯·托姆皮茨 相关软件: 平滑;ASP单元;ASPDoc… 主要字段: 计算机科学(68-XX)
xASP(xASP) 1份文件引用(2022) 软件作者: 特里厄,莱利;Tran Cao Son;马塞洛·巴尔杜奇尼 相关软件: 中国科学院科学院;DiscASP;xclingo公司 主要字段: 计算机科学(68-XX)