编辑配置文件(在新选项卡中打开) 特蕾莎·阿尔辛 合著者距离 作者ID: alsinet.teresa公司 发布日期: 特蕾莎·阿尔辛;Alsinet,T。 外部链接: ORCID公司 已编制索引的文档: 14出版物自2001年起 1名编辑贡献 合著者: 15位合著者具有15联合出版物 259位合作作者 全部的 前5名合著者 0 单作者的 8 路易斯·戈多 5 拉蒙·贝加尔 三 卡洛斯·伊万·切斯尼瓦尔 三 塞萨尔·费尔南德斯。 三 很多,费利普 三 乔迪,飞机 三 吉列尔莫·里卡多·西马里 2 约塞普·阿格利奇 2 弗朗西斯科·吉塔特 2 卡莱斯·马图 2 Sandri,Sandra Aparecida桑德拉·阿普里 1 阿尔巴州卡比斯科 1 乔尔·塞梅利 1 普约尔·格鲁亚特(Puyol-Gruart,Josep) 1 卡梅·托拉斯 全部的 前5名系列 2 模糊集与系统 2 国际近似推理杂志 1 国际智能系统杂志 1 AI通信 1 逻辑与计算杂志 1 全球优化杂志 1 软计算 1 人工智能和应用的前沿 领域 15 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用85中的次60文件 引用人▼ 年份▼ 可能性论证的逻辑编程框架:形式化和逻辑属性。 Zbl 1187.68601号 特蕾莎·阿尔辛;卡洛斯·切斯尼瓦尔。;路易斯·戈多;吉列尔莫·西马里。 17 2008 在具有模糊统一的可能性逻辑编程环境中形式化论证推理。 Zbl 1184.68497号 特蕾莎·阿尔辛;卡洛斯·切斯尼瓦尔。;路易斯·戈多;桑德拉·桑德里;吉列尔莫·西马里 14 2008 改进了加权Max-SAT的精确解算器。 Zbl 1124.68429号 特蕾莎·阿尔辛;很多,费利普;乔迪,飞机 13 2005 具有上下文相关模糊统一的扩展可能性逻辑编程的两种形式:比较描述。 兹比尔1270.68058 特蕾莎·阿尔辛;路易斯·戈多;桑德拉·桑德里 9 2002 一阶模糊变量可能性逻辑规划的自动推理系统。 Zbl 1021.68022号 特蕾莎·阿尔辛;路易斯·戈多 7 2002 RP-DeLP:基于递归语义的加权可解论证框架。 Zbl 1354.68243号 特蕾莎·阿尔辛;拉蒙·贝加尔;路易斯·戈多;弗朗西斯科·吉塔特 6 2016 具有模糊常数的可能性逻辑规划的证明过程。 Zbl 1001.68530号 特蕾莎·阿尔辛;路易斯·戈多 5 2001 加权Max-SAT的高效求解器。 兹比尔1146.90480 特蕾莎·阿尔辛;很多,费利普;乔迪,飞机 5 2008 加权论证,用于分析推特上的讨论。 Zbl 1422.91606号 特蕾莎·阿尔辛;约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;乔迪,飞机 4 2017 将基于相似性的推理功能添加到具有模糊常量的可能逻辑的Horn片段中。 Zbl 1076.68079号 特蕾莎·阿尔辛;路易斯·戈多 三 2004 可能性不可行逻辑规划中基于参数的展开算子:特征化和逻辑性质。 Zbl 1122.68640号 卡洛斯·切斯尼瓦尔。;吉列尔莫·西马里。;路易斯·戈多;特蕾莎·阿尔辛 1 2005 针对所有间隔序列问题的最小冗余SAT编码。 Zbl 1028.68627号 Alsinet,T。;R·贝加尔。;A.Cabiscol公司。;费尔南德斯,C。;许多,F。 1 2002 加权论证,用于分析推特上的讨论。 Zbl 1422.91606号 特蕾莎·阿尔辛;约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;乔迪,飞机 4 2017 RP-DeLP:基于递归语义的加权可解论证框架。 Zbl 1354.68243号 特蕾莎·阿尔辛;拉蒙·贝加尔;路易斯·戈多;弗朗西斯科·吉塔特 6 2016 可能性论证的逻辑编程框架:形式化和逻辑属性。 Zbl 1187.68601号 特蕾莎·阿尔辛;卡洛斯·切斯尼瓦尔。;路易斯·戈多;吉列尔莫·西马里。 17 2008 在具有模糊统一的可能性逻辑编程环境中形式化议论文推理。 兹比尔1184.68497 特蕾莎·阿尔辛;卡洛斯·切斯尼瓦尔。;路易斯·戈多;桑德拉·桑德里;吉列尔莫·西马里 14 2008 加权Max-SAT的高效求解器。 Zbl 1146.90480号 特蕾莎·阿尔辛;很多,费利普;乔迪,飞机 5 2008 改进了加权Max-SAT的精确解算器。 Zbl 1124.68429号 特蕾莎·阿尔辛;很多,费利普;乔迪,飞机 13 2005 可能性可解逻辑编程中基于参数的扩展运算符:特征和逻辑属性。 Zbl 1122.68640号 卡洛斯·切斯尼瓦尔。;吉列尔莫·西马里。;路易斯·戈多;特蕾莎·阿尔辛 1 2005 将基于相似性的推理功能添加到具有模糊常量的可能逻辑的Horn片段中。 Zbl 1076.68079号 特蕾莎·阿尔辛;路易斯·戈多 三 2004 具有上下文相关模糊统一的扩展可能性逻辑编程的两种形式:比较描述。 Zbl 1270.68058号 特蕾莎·阿尔辛;路易斯·戈多;桑德拉·桑德里 9 2002 一阶模糊变量可能性逻辑规划的自动推理系统。 Zbl 1021.68022号 特蕾莎·阿尔辛;路易斯·戈多 7 2002 针对所有间隔序列问题的最小冗余SAT编码。 Zbl 1028.68627号 Alsinet,T。;R·贝加尔。;A.Cabiscol公司。;费尔南德斯,C。;许多,F。 1 2002 具有模糊常数的可能性逻辑规划的证明过程。 Zbl 1001.68530号 特蕾莎·阿尔辛;路易斯·戈多 5 2001 所有引用出版物 前5名被引用出版物 全部的 前5名被107位作者引用 10 路易斯·戈多 6 特蕾莎·阿尔辛 6 很多,费利普 6 吉列尔莫·里卡多·西马里 5 约塞普·阿格利奇 4 杰拉尔多·西马里。 三 切斯涅瓦尔,卡洛斯·伊万 三 迪迪埃·杜波依斯 三 贝蒂娜·法辛加 三 塞尔吉奥·弗莱斯卡 三 李楚敏 三 恩里科·马尔基奥尼 三 弗朗西斯科·帕里西 三 亨利·普拉德。 三 桑德拉·阿帕雷西达·桑德里 2 拉蒙·贝加尔 2 马西米利亚诺·巴丹。 2 德科克,玛蒂娜 2 皮拉尔·德尔隆德 2 马塞洛·阿莱杭德罗·法拉帕 2 费德里科·赫拉斯 2 安东尼·亨特 2 杰罗·扬森 2 哈维尔·拉罗萨 2 胡安·卡洛斯·尼维斯 2 史蒂文·肖卡特 2 保罗·沙卡里安 2 沈海鸥 2 翁贝托·斯特拉契亚 2 谭立行 2 德克·弗梅尔 2 伊格纳西奥·达里奥·维格利佐 2 张汉涛 2 张金金 2 朱兆辉 1 阿什坎·阿莱利 1 Gianvincenzo阿尔法诺 1 阿西恩·阿查,罗伯托 1 戴维·巴内雷斯 1 玛丽亚·路易莎·博内 1 阿尔巴州卡比斯科 1 马可·卡洛蒂 1 Cardenas-Viedma,M.Antonia 1 乔尔·塞梅利 1 陈一江 1 乔迪·科尔 1 玛丽亚·尤金妮亚·科内霍 1 埃丝特·安娜·科尔西 1 科尔特斯,尤利西斯 1 Darras,西尔万 1 西蒙·德·吉夫里 1 吉尔·迪肯 1 劳雷·德文德维尔 1 埃雷卡尔德,马塞洛。 1 Fermüller,Christian G。 1 塞萨尔·费尔南德斯。 1 费雷蒂,埃德加多 1 菲利波·富法罗 1 亚历杭德罗·哈维尔·加西亚 1 丹尼尔·杰尼托 1 Giangiacomo Gerla 1 Gómez Lucero,Mauro J。 1 塞尔吉奥·格雷科 1 贾马尔·哈贝特 1 何坤 1 阮杜洪 1 冈萨洛·伊玛兹(Gonzalo E.Imaz)。 1 彼得·库尔曼 1 约尔迪·利维 1 海伦娜·林格伦 1 大卫·洛博 1 拉蒙·López de Mántaras 1 Yann Loyer 1 毛罗·戈麦斯·卢切罗 1 Lynce,伊内斯 1 尼科拉斯·马德里 1 卡莱斯·马图 1 杰苏斯·麦地那 1 伊恩·米格尔 1 杰弗里·摩尔 1 牛顿,M.A.哈基姆 1 罗伯特·纽文胡斯 1 毛里西奥·奥索里奥。 1 金塔拉斯帕卢贝基斯 1 佩雷·帕尔多 1 西蒙·帕森斯。 1 保罗,达蒙 1 Phan Minh Dung公司 1 乔迪,飞机 1 恩里克广场 1 马斯鲍尔·阿拉姆(Md Masbaul Alam)·波拉什(Polash) 1 尼科·波提卡 1 阿卜杜勒·萨塔尔 1 沈强 1 卡莱斯·塞拉 1 苏,张 1 卢西亚诺·塔马戈。 1 胡安·卡洛斯·特泽。 1 Thang,范明 1 马蒂亚斯·蒂姆 …还有7位作者 全部的 前5名14篇连载文章中引用 14 国际近似推理杂志 9 人工智能 7 模糊集与系统 5 数学与人工智能年鉴 三 软计算 2 优化信函 1 应用数学与计算 1 AI通信 1 运筹学年鉴 1 启发式杂志 1 约束条件 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 应用逻辑杂志 全部的 前5名在7个字段中引用 52 计算机科学(68至XX) 14 数理逻辑与基础(03-XX) 7 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文