斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
克林戈 139篇文献引用(2009–2023) 软件作者： Martin Gebser；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；WASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
格林戈 110篇文献引用(2007–2023) 软件作者： 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件： 克林戈；卡环；WASP… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-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）；本杰明·考夫曼；罗兰·卡明斯基（Roland Kaminski）；马克斯·奥斯特罗斯基；托尔斯滕·绍布（Torsten Schaub）；施耐德，马里乌斯 相关软件： 克林戈；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Clingcon公司 39篇文献引用(2009–2022) 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-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）
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
中国科学院科学院 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；格林戈… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
ASPARTIX公司 17篇文献引用(2011–2019) 软件作者： Uwe Egly；莎拉·爱丽丝·加格尔（Sarah Alice Gaggl）；斯特凡·沃尔特兰 相关软件： 邓金；MiniSat；CoQuiAAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
天基信息平台 12份文件引用(2012–2021) 软件作者： 弗布拉罗，奥诺弗里奥；里尔，克里斯蒂安；弗朗西斯科·里卡 相关软件： 海狮；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
折页2 在14份文件中引用(2014–2022) 软件作者： 胡斯，霍尔格；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；SMAC；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
o临床 在14份文件中引用(2011–2022) 软件作者： 托尔斯滕·格罗特 相关软件： 克林戈；LARS；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ezcsp公司 13份文件引用(2009–2022) 软件作者： 巴尔杜奇尼，马塞洛；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
考拉 10篇文献引用(2010–2013) 软件作者： 马丁·格布瑟（Martin Gebser）；托尔斯滕·格罗特；托尔斯滕·绍布 相关软件： CCalc；f2lp；Cplus2ASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
扣 9份文件引用(2012–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；穆拉特·奈赫特（Murat Knecht）；托尔斯滕·绍布 相关软件： 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）
钻石 9份文件引用(2015–2021) 软件作者： Ellmauthaler，S。；斯特拉斯，H。 相关软件： 卡奈德；GRAPPA；MiniSat… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
出售 9份文件引用(2019–2022) 软件作者： Manuel Bichler、Michael Morak、Stefan Woltran 相关软件： 克林戈；htd；ES模型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
D-扁平 8份文件引用(2012–2020) 软件作者： Bliem，B.，Morak，M.，Woltran，S。；Abseher，M.、Bliem，B.、Charwat，G.、Dusberger，F.、Hecher，M。 相关软件： 克林戈；Jdrasil公司；ComputeTW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
动态ASP 8份文件引用（2010年-2023年） 软件作者： 迈克尔·莫拉克（Michael Morak）；莱因哈德·皮克勒；Rümmele，Stefan；斯特凡·沃尔特兰 相关软件： 克林戈；杰拉西尔；收件人… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
NeurASP公司 7份文件引用(2020–2023) 软件作者： 准扬；Adam Ishay；李佐雄 相关软件： DeepProbLog；CLEVR数据集；CLEVR… 主要字段： 计算机科学（68-XX）
卡拉 4份文件引用(2012–2022) 软件作者： Christian Kloimüllner、Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： ASPVIZ；阿司匹林；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
APE公司 4份文件引用(2010–2019) 软件作者： Adrian Sureshkumar、Marina De Vos、Martin Brain、John Fitch 相关软件： 海狮；天基信息平台；卡拉… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
芦笋 3份文件引用(2005–2012) 软件作者： 基督教愤怒；托尔斯滕·绍布（Torsten Schaub）；米罗斯瓦·特鲁兹琴斯基 相关软件： 亚萨特；TPTP；Runsolver… 主要字段： 计算机科学（68-XX）
ASPVIZ公司 3份文件引用(2012–2022) 软件作者： O.克利夫、M.德沃斯、M.布莱恩、J.帕吉特 相关软件： 卡拉；天基信息平台；猿… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
DLV综合体 3份文件引用(2008–2009) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；Giovambattista Ianni；尼古拉·利昂 相关软件： DLV-EX；OntoDLV；CiaoPP… 主要字段： 计算机科学（68-XX）
哈维 5份文件引用(2017–2021) 软件作者： 亚历山大·格雷勒；Oetsch，Johannes；汉斯·托姆皮茨 相关软件： Potassco；天基信息平台；无HR… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
REBA公司 5份文件引用(2019–2023) 软件作者： 莫汉·斯里德哈兰；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ROSoClingo公司 5份文件引用(2015–2021) 软件作者： 本杰明·安德烈斯；戴维·拉贾拉特南；奥昆特Sabunu；托尔斯滕·绍布 相关软件： 克林戈；克林孔；WASP… 主要字段： 计算机科学（68-XX）
xclingo公司 5份文件引用(2020–2023) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；穆尼兹，布雷斯 相关软件： 中国科学院科学院；克林戈；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
挖空的 3份文件引用(2013–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；托尔斯滕·绍布 相关软件： Potassco；克林戈；赫胥黎… 主要字段： 计算机科学（68-XX）
民主党人 4份文件引用(2015–2020) 软件作者： 格恩瑟·查瓦特；安德烈亚斯·普芬德勒 相关软件： Isabelle/HOL；通用电气；PSPLIB… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加雷亚；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
茶匙 4份文件引用(2017–2022) 软件作者： Banbara，M.、Inoue，K.、Kaufmann，B.、Schaub，T.、Soh，T.和Tamura，N.、Wanko，P。 相关软件： 格林戈；OR-tools；Clingo… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
dl2asp 3份文件引用(2010–2021) 软件作者： 陈，尹；万，海；张燕；周，易 相关软件： DeReS；CUDA；Lparse（L解析） 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
干杯 3份文件引用(2006–2018) 软件作者： Brain，马丁；汤姆·克里克；玛丽娜·德沃斯；约翰·惠誉 相关软件： Lparse；平滑；扣… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
视频 2份文件引用（2016年至2019年） 软件作者： Oetsch，Johannes；普尔，约格；塞德尔，马蒂娜；汉斯·托姆皮茨（Hans Tompits）；帕特里克·兹维克 相关软件： 平滑；APE；辐条… 主要字段： 计算机科学（68-XX）
卡特纳普 2份文件引用(2017) 软件作者： 穆苏诺里·班巴拉；井上、胜美；Kaneyuki，Hiromasa；冈本、腾达；托尔斯滕·绍布（Torsten Schaub）；Soh、Takehide；田村直之 相关软件： 茶匙；哈维；无HR… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
在线SPARC 2份文件引用(2019) 软件作者： Elias Marcopoulos；张元林 相关软件： 海狮；卡拉；天基信息平台… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
OOASP公司 1份文件引用(2016) 软件作者： 安德烈亚斯·福克纳；Anna Ryabokon；戈特弗里德·施纳（Gottfried Schenner）；克斯特安提恩·什切科提金 相关软件： 格林戈；MiniSat；对夹2… 主要字段： 计算机科学（68-XX）
SkuARE公司 2份文件引用(2020–2022) 软件作者： 巴苏，金加尔；萨拉特·钱德拉（Sarat Chandra），瓦拉纳西（Varanasi）；法哈德·沙克林（Farhad Shakerin）；戈帕尔·古普塔 相关软件： 小队；水；sCASP… 主要字段： 计算机科学（68-XX）
ASPDoc公司 1份文件引用(2012) 软件作者： 玛丽娜·德沃斯；基萨，多阿·吉泽姆；Oetsch，Johannes；普尔，约格；汉斯·托姆皮茨 相关软件： 平滑；ASP单元；拉娜… 主要字段： 计算机科学（68-XX）
ASP单元 1份文件引用(2012) 软件作者： 玛丽娜·德沃斯；基萨，多阿·吉泽姆；Oetsch，Johannes；普尔，约格；汤比思，汉斯 相关软件： 平滑；ASPDoc；拉娜… 主要字段： 计算机科学（68-XX）
dlvhex-sparql 1份文件引用(2013) 软件作者： Polleres，A.、Schindlauer，R。 相关软件： R2RML；乌龟；nSPARQL… 主要字段： 计算机科学（68-XX）
InstQL软件 1份文件引用(2010) 软件作者： 卢克·霍普顿（Luke Hopton）；欧文·克利夫；玛丽娜·德沃斯；朱利安·帕吉特 相关软件： 斯莫德尔斯 主要字段： 计算机科学（68-XX）
LAIMA公司 1份文件引用(2006) 软件作者： Padget，J.A.、De Vos，M.、Crick，T.、Brain，M.和Cliffe，O.、Needham，J。 相关软件： 干杯；德纳利；芦笋… 主要字段： 计算机科学（68-XX）
拉娜 1份文件引用(2012) 软件作者： 玛丽娜·德沃斯；基萨，多阿·吉泽姆；Oetsch，Johannes；普尔，约格；汉斯·托姆皮茨 相关软件： 烟雾；ASP单元；ASPDoc… 主要字段： 计算机科学（68-XX）
LP2ACYC公司 1份文件引用(2014) 软件作者： M.Gebser、T.Janhunen、J.Rintanen 相关软件： LP2正常2；葡萄糖；lp2正常… 主要字段： 计算机科学（68-XX）
meneco公司 1份文件引用(2019) 软件作者： Prigent，S.、Frioux，C.、Dittami，S.，Thiele，S.和Larhlimi，A.、Collet，G.、Gutknecht，F.、Got，J.和Eveillard，D.、Bourdon，J.、Plewniak，F.和Tonon，T.Siegel，A 相关软件： COBRA工具箱；快速间隙填充；COBRApy… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
xASP（xASP） 1份文件引用(2022) 软件作者： Trieu、Ly-Ly；Tran Cao Son公司；马塞洛·巴尔杜奇尼 相关软件： 中国科学院科学院；DiscASP；xclingo公司 主要字段： 计算机科学（68-XX）
阿斯匹罗 在0个文档中引用 软件作者： 马丁·格布瑟（Martin Gebser）；菲利普·奥伯迈尔；托马斯·奥托；托尔斯滕·绍布（Torsten Schaub）；奥昆特Sabunu；Nguyen，Van；儿子Tran Cao 相关软件： – 主要字段： –