编辑配置文件（在新选项卡中打开） 维托尔·桑托斯·科斯塔 合著者距离 作者ID： 科斯塔·维托·桑托斯 发布日期： 维托尔·桑托斯·科斯塔；维托尔·桑托斯·科斯塔；维托尔·桑托斯·科斯塔；维托·科斯塔；桑托斯·科斯塔，V。；维托尔·科斯塔。；维托尔·科斯塔 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 48出版物自1996年起 8作为编辑的贡献 合著者： 67位合著者具有55联合出版物 1257名合作作者 全部的 前5名合著者 0 单作者的 12 里卡多·罗查 10 费尔南多·席尔瓦 6 西蒙·丹塔斯 5 鲁伊·卡马乔 5 迪特尔·劳滕巴赫 4 德卡斯特罗·杜特拉 4 巴特·德梅恩 4 努诺·A·丰塞卡。 4 阿琳·佩斯 4 佩奇，大卫·L。 4 格尔森·扎维鲁查 三 吕克·德·雷德 三 米特尔·科斯塔·杜拉多 三 露西娅·德拉克·彭索 三 杜特拉，因斯 三 马里奥弗洛里多 三 戈帕尔·古普塔 三 安吉丽卡·基米格 三 里卡多·洛佩斯 三 恩里科·蓬泰利 2 里卡多·比安奇尼 2 阿戈斯蒂诺·多维尔 2 裘德·沙夫利克。 2 阿什温·斯里尼瓦桑 2 Wielemaker，简 1 萨尔瓦多阿布雷乌 1 埃琳娜·贝洛迪 1 亨德里克·布洛克 1 巴维尔·B·布拉迪尔。 1 曼纽尔·卡罗 1 路易斯·费尔南多·卡斯特罗 1 乔瓦尼·西亚托 1 赫克托·科拉达·布拉沃 1 曼努埃尔·爱德华多·科雷亚 1 詹姆斯·库森 1 安德森·福斯蒂诺·达席尔瓦 1 维罗妮卡·达尔 1 路易斯·达马斯 1 德阿莫林，克劳迪奥·路易斯 1 丹尼尔·迪亚兹 1 乔安·加马 1 戈麦斯、蒂亚戈 1 伯恩德·古特曼 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 杰尔达·詹森斯 1 阿利皮奥·马里奥·豪尔赫 1 彼得·卡苏克 1 克里斯汀·克斯汀 1 安迪·金 1 菲利普·科纳 1 伊芙琳娜·拉姆 1 Michael Leuschel先生 1 胡安·利马科 1 马塞洛·洛博斯科 1 洛佩斯，A.R。 1 何塞·弗朗西斯科·莫拉莱斯 1 Irene M.Ong。 1 洛朗·普罗韦 1 拉胡·拉马克里希南 1 凯特·雷弗里多 1 法布里西奥·里古齐 1 大卫·桑科夫 1 汤姆·施里杰弗斯 1 Shen，Kish（基什·申） 1 简·斯特鲁伊夫 1 斯科特·托珀（Scott E.Topper）。 1 温·范拉尔 1 亨克·范德卡斯泰尔 1 徐锡明 1 里卡多·泽斯 全部的 前5名系列 8 逻辑程序设计理论与实践 三 离散应用数学 三 计算机科学课堂讲稿 2 函数与逻辑程序设计杂志 1 离散数学 1 应用数学与优化 1 逻辑程序设计杂志 1 机器学习 1 当代音乐 1 计算机基础理论 1 机器学习研究杂志（JMLR） 1 理论计算机科学电子笔记 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 52 计算机科学（68至XX） 8 总体主题；集合（00-XX） 6 组合数学（05-XX） 三 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 数理逻辑与基础（03-XX） 2 生物学和其他自然科学（92-XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用163中的次125文件 引用人▼ 年份▼ YAP序言系统。 Zbl 1244.68017号 维托尔·桑托斯·科斯塔；里卡多·罗查；路易斯·达马斯 25 2012 概率逻辑程序设计语言ProbLog的实现。 Zbl 1220.68037号 安吉丽卡·基米格；巴特·德梅恩；吕克·德·雷德；维托尔·桑托斯·科斯塔；里卡多·罗查 25 2011 更多的火力和更多的战士。 Zbl 1285.05121号 维托·科斯塔；西蒙·丹塔斯；米特尔·杜拉多。；露西娅·彭索；迪特尔·劳滕巴赫 13 2013 朝向键入的Prolog。 兹比尔1185.68181 汤姆·施里杰弗斯；维托尔·桑托斯·科斯塔；Wielemaker，简；巴特·德梅恩 11 2008 在逻辑程序中应用或并行和表。 Zbl 1093.68021号 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 8 2005 关于ProbLog程序的高效执行。 Zbl 1185.68162号 安吉丽卡·基米格；维托尔·桑托斯·科斯塔；里卡多·罗查；巴特·德梅恩；吕克·德·雷德 8 2008 CLP（\（\mathcal{BN}\））：概率知识的约束逻辑编程。 Zbl 1137.68342号 维托尔·桑托斯·科斯塔；大卫·佩奇；詹姆斯·库森 8 2008 概率逻辑编程的提升变量消除。 兹比尔1309.68027 埃琳娜·贝洛迪；伊芙琳娜·拉姆；法布里西奥·里古齐；维托尔·桑托斯·科斯塔；里卡多·泽斯 6 2014 从实例中修正概率一阶理论。 Zbl 1134.68550号 阿琳·佩斯；凯特·雷弗里多；格尔森·扎维鲁查；维托尔·桑托斯·科斯塔 5 2005 通过随机局部搜索从示例中修改一阶逻辑理论。 Zbl 1136.68500号 阿琳·佩斯；格尔森·扎维鲁查；维托尔·桑托斯·科斯塔 5 2008 归纳逻辑程序设计中装袋的实证评估。 Zbl 1017.68518号 德卡斯特罗·杜特拉；大卫·佩奇；维托尔·桑托斯·科斯塔；裘德·沙夫利克 4 2003 用于提高ILP系统效率的查询转换。 Zbl 1102.68541号 维托尔·桑托斯·科斯塔；阿什温·斯里尼瓦桑；鲁伊·卡马乔；亨德里克·布洛克；巴特·德梅恩；杰尔达·詹森斯；简·斯特鲁伊夫；亨克·范德卡斯泰尔；温·范拉尔 4 2004 奇数正则性和周长图中的匹配。 兹比尔1281.05105 维托·科斯塔；西蒙·丹塔斯；迪特尔·劳滕巴赫 4 2013 概率归纳查询使用ProbLog（问题日志）. Zbl 1211.68152号 吕克·德·雷德；安吉丽卡·基米格；伯恩德·古特曼；克里斯汀·克斯汀；维托尔·桑托斯·科斯塔 4 2010 在一个可以利用或并行的列表引擎上。 Zbl 1053.68543号 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 三 2001 用于逻辑编程的数据类型推理。 Zbl 1521.68028号 若昂·巴博萨；马里奥弗洛里多；维托尔·桑托斯·科斯塔 2 2022 距离：控制并行执行粒度的新度量。 Zbl 0949.68022号 Shen，Kish（基什·申）；维托尔·桑托斯·科斯塔；安迪·金 2 1998 设计和实施扩展的安道尔模式。 Zbl 1247.68045号 里卡多·洛佩斯；维托尔·桑托斯·科斯塔；费尔南多·席尔瓦 2 2012 基因簇作为路径幂的交集。 Zbl 1251.05171号 维托尔·科斯塔；西蒙·丹塔斯；大卫·桑科夫；徐锡明 2 2010 2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑编程国际会议（ICLP 2012）的技术交流。论文基于会议上的陈述。 Zbl 1253.68010号 2 2012 评估Prolog因子语言的推理算法。 Zbl 1382.68192号 蒂亚戈·戈麦斯；维托尔·桑托斯·科斯塔 2 2013 与或并行Prolog中的剪切和副作用。 Zbl 0874.68049号 戈帕尔·古普塔；维托尔·桑托斯·科斯塔 2 1996 在图表上涂抹和燃烧——使用一般重量灭火。 Zbl 1339.05253号 维托·科斯塔；西蒙·丹塔斯；米特尔·杜拉多。；露西娅·彭索；迪特尔·劳滕巴赫 2 2016 通过归纳逻辑编程从时间序列表达式数据和关系数据推断监管网络。 Zbl 1201.68101号 Irene M.Ong。；斯科特·托珀（Scott E.Topper）。；大卫·佩奇；维托尔·桑托斯·科斯塔 2 2007 线程和/或并行度统一。 Zbl 1209.68088号 维托尔·桑托斯·科斯塔；杜特拉，因斯；里卡多·罗查 2 2010 使用随机局部搜索技术从示例中修改一阶逻辑理论。 Zbl 1453.68172号 阿琳·佩斯；格尔森·扎维鲁查；维托尔·桑托斯·科斯塔 2 2017 类型化逻辑编程的三值语义。 Zbl 07453101号 若昂·巴博萨；马里奥弗洛里多；维托尔·桑托斯·科斯塔 2 2019 关于具有局部和非局部非线性的一维热方程自由边界问题的能控性。 Zbl 1512.93019号 V.科斯塔。；Límaco，J。；洛佩斯，A.R。；普罗韦，L。 1 2023 表格逻辑程序的动态混合策略评估。 Zbl 1165.68342号 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 1 2005 关于避免归纳逻辑编程中的冗余。 Zbl 1105.68374号 努诺丰塞卡；维托尔·科斯塔。；费尔南多·席尔瓦；鲁伊·卡马乔 1 2004 归纳逻辑程序设计中面向集的计算框架及其在推广逆蕴涵中的应用。 Zbl 1134.68467号 赫克托·科拉达·布拉沃；大卫·佩奇；拉胡·拉马克里希南；裘德·沙夫利克；维托尔·桑托斯·科斯塔 1 2005 多火源树木的渐近存活率。 Zbl 1311.05124号 维托·科斯塔；西蒙·丹塔斯；迪特尔·劳滕巴赫 1 2015 编写假设空间：做一次，经常使用。 Zbl 1155.68485号 努诺·A·丰塞卡。；鲁伊·卡马乔；里卡多·罗查；维托尔·桑托斯·科斯塔 1 2008 ILP：-试试看。 Zbl 1136.68355号 鲁伊·卡马乔；努诺·A·丰塞卡。；里卡多·罗查；维托尔·桑托斯·科斯塔 1 2008 关于具有局部和非局部非线性的一维热方程自由边界问题的能控性。 Zbl 1512.93019号 V.科斯塔。；Límaco，J。；洛佩斯，A.R。；普罗韦，L。 1 2023 用于逻辑编程的数据类型推理。 Zbl 1521.68028号 若昂·巴博萨；马里奥弗洛里多；维托尔·桑托斯·科斯塔 2 2022 类型化逻辑编程的三值语义。 Zbl 07453101号 若昂·巴博萨；马里奥弗洛里多；维托尔·桑托斯·科斯塔 2 2019 使用随机局部搜索技术从示例中修改一阶逻辑理论。 Zbl 1453.68172号 阿琳·佩斯；格尔森·扎维鲁查；维托尔·桑托斯·科斯塔 2 2017 在图表上乱涂乱画——使用一般权重灭火。 Zbl 1339.05253号 维托·科斯塔；西蒙·丹塔斯；米特尔·杜拉多。；露西娅·彭索；迪特尔·劳滕巴赫 2 2016 多火源树木的渐近存活率。 Zbl 1311.05124号 维托·科斯塔；西蒙·丹塔斯；迪特尔·劳滕巴赫 1 2015 概率逻辑编程的提升变量消除。 Zbl 1309.68027号 埃琳娜·贝洛迪；伊芙琳娜·拉姆；法布里西奥·里古齐；维托尔·桑托斯·科斯塔；里卡多·泽斯 6 2014 更多的火力和更多的战士。 Zbl 1285.05121号 维托·科斯塔；西蒙·丹塔斯；米特尔·杜拉多。；露西娅·彭索；迪特尔·劳滕巴赫 13 2013 奇数正则性和周长图中的匹配。 Zbl 1281.05105号 维托·科斯塔；西蒙·丹塔斯；迪特尔·劳滕巴赫 4 2013 评估Prolog因子语言的推理算法。 Zbl 1382.68192号 蒂亚戈·戈麦斯；维托尔·桑托斯·科斯塔 2 2013 YAP序言系统。 兹伯利1244.68017 维托尔·桑托斯·科斯塔；里卡多·罗查；路易斯·达马斯 25 2012 设计和实施扩展的安道尔模式。 Zbl 1247.68045号 里卡多·洛佩斯；维托尔·桑托斯·科斯塔；费尔南多·席尔瓦 2 2012 2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑编程国际会议（ICLP 2012）的技术交流。论文基于会议上的陈述。 Zbl 1253.68010号 2 2012 概率逻辑程序设计语言ProbLog的实现。 Zbl 1220.68037号 安吉丽卡·基米格；巴特·德梅恩；吕克·德·雷德；维托尔·桑托斯·科斯塔；里卡多·罗查 25 2011 概率归纳查询使用ProbLog（问题日志）. Zbl 1211.68152号 吕克·德·雷德；安吉丽卡·基米格；伯恩德·古特曼；克里斯汀·克斯汀；维托尔·桑托斯·科斯塔 4 2010 基因簇作为路径幂的交集。 Zbl 1251.05171号 维托尔·科斯塔；西蒙·丹塔斯；大卫·桑科夫；徐锡明 2 2010 线程和/或并行度统一。 Zbl 1209.68088号 维托尔·桑托斯·科斯塔；杜特拉，因斯；里卡多·罗查 2 2010 朝向键入的Prolog。 兹比尔1185.68181 汤姆·施里杰弗斯；维托尔·桑托斯·科斯塔；Wielemaker，简；巴特·德梅恩 11 2008 关于ProbLog程序的高效执行。 Zbl 1185.68162号 安吉丽卡·基米格；维托尔·桑托斯·科斯塔；里卡多·罗查；巴特·德梅恩；吕克·德·雷德 8 2008 CLP（\（\mathcal{BN}\））：概率知识的约束逻辑编程。 兹比尔1137.68342 维托尔·桑托斯·科斯塔；大卫·佩奇；詹姆斯·库森 8 2008 通过随机局部搜索从示例中修改一阶逻辑理论。 Zbl 1136.68500号 阿琳·佩斯；格尔森·扎维鲁查；维托尔·桑托斯·科斯塔 5 2008 编写假设空间：做一次，经常使用。 Zbl 1155.68485号 努诺·A·丰塞卡。；鲁伊·卡马乔；里卡多·罗查；维托尔·桑托斯·科斯塔 1 2008 ILP：-试试看。 Zbl 1136.68355号 鲁伊·卡马乔；努诺·A·丰塞卡。；里卡多·罗查；维托尔·桑托斯·科斯塔 1 2008 通过归纳逻辑编程从时间序列表达式数据和关系数据推断监管网络。 Zbl 1201.68101号 Irene M.Ong。；斯科特·E·托珀。；大卫·佩奇；维托尔·桑托斯·科斯塔 2 2007 在逻辑程序中应用或并行和表。 Zbl 1093.68021号 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 8 2005 从实例中修正概率一阶理论。 Zbl 1134.68550号 阿琳·佩斯；凯特·雷弗里多；格尔森·扎维鲁查；维托尔·桑托斯·科斯塔 5 2005 表格逻辑程序的动态混合策略评估。 Zbl 1165.68342号 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 1 2005 归纳逻辑程序设计中面向集的计算框架及其在推广逆蕴涵中的应用。 Zbl 1134.68467号 赫克托·科拉达·布拉沃；大卫·佩奇；拉胡·拉马克里希南；裘德·沙夫利克；维托尔·桑托斯·科斯塔 1 2005 用于提高ILP系统效率的查询转换。 Zbl 1102.68541号 维托尔·桑托斯·科斯塔；阿什温·斯里尼瓦桑；鲁伊·卡马乔；亨德里克·布洛克；巴特·德梅恩；杰尔达·詹森斯；简·斯特鲁伊夫；亨克·范德卡斯泰尔；温·范拉尔 4 2004 关于避免归纳逻辑编程中的冗余。 Zbl 1105.68374号 努诺丰塞卡；维托尔·科斯塔。；费尔南多·席尔瓦；鲁伊·卡马乔 1 2004 归纳逻辑程序设计中装袋的实证评估。 Zbl 1017.68518号 德卡斯特罗·杜特拉；大卫·佩奇；维托尔·桑托斯·科斯塔；裘德·沙夫利克 4 2003 在一个可以利用或并行的列表引擎上。 Zbl 1053.68543号 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 三 2001 距离：控制并行执行粒度的新度量。 Zbl 0949.68022号 Shen，Kish（基什·申）；维托尔·桑托斯·科斯塔；安迪·金 2 1998 与或并行Prolog中的剪切和副作用。 Zbl 0874.68049号 戈帕尔·古普塔；维托尔·桑托斯·科斯塔 2 1996 所有引用的出版物 前5名被引用出版物 全部的 前5名207位作者引用 12 维托尔·桑托斯·科斯塔 12 法布里西奥·里古齐 7 里卡多·罗查 6 吕克·德·雷德 6 阿琳·佩斯 6 格尔森·扎维鲁查 5 埃琳娜·贝洛迪 5 曼努埃尔五世（Manuel V.Hermenegildo）。 5 迪特尔·劳滕巴赫 5 汤姆·施里杰弗斯 4 亚历山大·阿提基斯 4 亨德里克·布洛克 4 乔治·巴利乌拉斯 4 阿什温·斯里尼瓦桑 4 Swift，Terrance公司 4 王伟凡 三 尼科斯·安杰洛普洛斯 三 鲁伊·卡马乔 三 朱塞佩·科塔 三 安德鲁·克洛珀 三 詹姆斯·库森 三 德索特，贝诺特 三 马里奥弗洛里多 三 马克西米利安·弗斯特 三 安吉丽卡·基米格 三 曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos） 三 何塞·弗朗西斯科·莫拉莱斯 三 大辅佐藤 三 里卡多·泽斯 2 萨默尔·阿卜杜拉。 2 米盖尔·阿雷亚斯 2 扬卡市克莱比科娃 2 摩根·肖邦 2 西蒙·丹塔斯 2 丁内·德莱特 2 佩德罗·朱西尤·德·雷泽德 2 西德·卡瓦略·德苏扎 2 巴特·德梅恩 2 迪毛罗，尼古拉 2 阿娜·路易斯·杜博克 2 塞巴斯蒂安杜曼奇奇 2 努诺·A·丰塞卡。 2 盖托，丽斯 2 杰尔达·詹森斯 2 孔江旭 2 菲利普·科纳 2 伊芙琳娜·拉姆 2 Michael Leuschel先生 2 戴维·尼蒂 2 佩奇，大卫·L。 2 乔里斯·伦肯斯 2 迪米塔尔·施特里奥诺夫 2 阿纳斯塔西奥斯·斯卡拉提迪斯 2 弗朗西斯科·胡安·索利尼亚克 2 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 Anneleen的Van Assche 2 范登·布勒克，盖伊 2 亚历山大·范登布鲁克 2 德国维达尔 2 Wielemaker，简 2 吴婷婷 2 Mauricio J.O·桑彭。 1 萨尔瓦多阿布雷乌 1 安基永 1 阿尔瓦雷斯，卡梅 1 华金·阿里亚斯 1 罗德里戈阿泽夫多·桑托斯 1 达米亚诺·阿佐利尼 1 穆苏诺里·班巴拉 1 瓦夏克·贝勒 1 利奥波多·贝尔托西。 1 斯蒂法诺·比斯塔雷利 1 玛丽亚·布莱萨。 1 克里斯蒂安·布卢姆 1 巴特·博加特 1 莫里斯·布吕诺格 1 曼纽尔·卡罗 1 巴黎查勒姆索克 1 简·克里斯蒂安森 1 乔瓦尼·西亚托 1 威廉·科恩。 1 多梅尼科·科尔皮 1 曼努埃尔·爱德华多·科雷亚 1 法布里西奥·科斯塔 1 维罗妮卡·达尔 1 路易斯·达马斯 1 蒂塔拉吉·达什 1 伊曼纽尔·德·安吉利斯 1 德卡特，布罗斯 1 库尔特·德·格雷夫 1 De Pooter，斯特夫 1 托马斯·德梅斯特 1 马克·德内克 1 丹尼尔·迪亚兹 1 托马斯·迪特里奇。 1 帕特里克·多尔蒂 1 佩德罗·多明戈斯 1 米特尔·科斯塔·杜拉多 1 阿戈斯蒂诺·多维尔 1 露西娅·德拉克·彭索 …还有107位作者 全部的 前5名28篇连载文章中引用 30 逻辑程序设计理论与实践 28 机器学习 11 国际近似推理杂志 2 人工智能 2 离散应用数学 2 计算机与运筹学 2 数学与人工智能年鉴 2 组合优化期刊 2 图形算法与应用杂志 1 倒排索引综述 1 计算机与数学及其应用 1 离散数学 1 信息科学 1 图论杂志 1 理论计算机科学 1 欧洲组合数学杂志 1 计算机程序设计科学 1 应用数学学报 1 图与组合 1 新一代计算 1 欧洲运筹学杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 1 互联网数学 1 中国数学前沿 全部的 前5名11个领域引用 111 计算机科学（68至XX） 14 组合数学（05-XX） 8 运筹学、数学规划（90-XX） 7 统计学（62-XX） 三 数理逻辑与基础（03-XX） 三 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文