曼努埃尔·恩西索
人员信息
附属: 西班牙马拉加大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元27年] 弗朗西斯科·佩雷斯-加梅斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
简化未知信息管理的逻辑。 信息科学。 634 : 505-519 ( 2023 ) 2022 [公元26年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 多明戈·洛佩斯·罗德里格斯 , 安杰尔·莫拉 :
fcaR,用R进行形式概念分析。 R J。 14 ( 1 ) : 341-361 ( 2022 ) [公元25年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 维勒姆·维科迪尔 :
参数化简化逻辑:以自动方式进行隐含推理。 IEEE传输。 模糊系统。 30 ( 12 ) : 5534-5543 ( 2022 ) [公元45年] 弗朗西斯科·佩雷斯-加梅斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 曼纽尔·奥杰达·阿西戈 :
带有学位的部分形式上下文。 CLA公司 2022 : 35-44 [c44] 弗朗西斯科·佩雷斯-加梅斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
部分形式上下文和属性集之间的Galois连接。 CLA公司 2022 : 45-56 [公元43年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 多明戈·洛佩斯·罗德里格斯 , 安杰尔·莫拉 :
fcaR,将FCA推广到数据科学世界。 CLA公司 2022 : 199-205 [公元42年] 弗朗西斯科·佩雷斯-加梅斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 多明戈·洛佩斯·罗德里格斯 , 安杰尔·莫拉 :
计算混合概念格。 IPMU(1) 2022 : 87-99 [第1页] 蒂姆·帕蒂森 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 巴勃罗·科德罗 , 德里克·韦伯 , 迈克尔·布劳顿 :
FCA中的可扩展可视化分析。 具有形式概念分析的复杂数据分析 2022 : 167-200 2021 [公元41年] 多明戈·洛佩斯·罗德里格斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
如何通过FCA为COVID数据提供光照。 RealDataFCA@ICFCA 2021 : 5-12 [公元40年] 弗朗西斯科·佩雷斯-加梅斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
未知信息推理的一种新含义。 ICFCA公司 2021 : 74-90 [公元39年] 多明戈·洛佩斯·罗德里格斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
核心含义的聚类和识别。 ICFCA公司 2021 : 138-154 2020 [公元24年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 多明戈·洛佩斯·罗德里格斯 , 安杰尔·莫拉 :
使用模糊规则进行诊断的会话推荐系统。 专家系统。 申请。 154 : 113449 ( 2020 ) [公元23年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 曼纽尔·奥杰达·阿西戈 , 卡洛斯·罗西 :
合作会话推荐的形式化概念分析方法。 国际期刊计算。 智力。 系统。 13 ( 1 ) : 1243-1252 ( 2020 ) [公元22年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 维勒姆·维科迪尔 :
参数化简化逻辑I:用闭包操作符的含义和类进行推理。 国际通用系统杂志。 49 ( 7 ) : 724-746 ( 2020 )
2010 – 2019
2019 [公元21年] 弗朗西斯科·哈维尔·洛佩斯·冈萨雷斯 , 何塞·帕雷德斯·帕切科 , 卡尔·瑟恩霍夫·赫姆西 , 卡洛斯·罗西 , 曼努埃尔·恩西索 , 丹尼尔·托罗·弗洛雷斯 , 贝伦·穆尔西亚·卡萨斯 , 安东尼奥·古铁雷斯-卡多 , 努里亚·罗埃·维尔韦 :
QModeling:PET动力学分析的多平台、易用和开源工具箱。 神经信息学 17 ( 1 ) : 103-114 ( 2019 ) [j20] 费尔南多·贝尼托·皮卡佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
最小生成器,这是一种通过大规模计算实现的负担得起的方法。 J.超级计算机。 75 ( 三 ) : 1350-1367 ( 2019 ) [公元38年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 巴勃罗·戈麦斯·冈萨雷斯 :
可视化含义的方法。 ICFCA(补充) 2019 : 113-124 2018 [公元19年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 卡雷尔·贝特 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
通过融合简化规则进行直接优化基计算。 谨慎。 应用。 数学。 249 : 106-119 ( 2018 ) [公元37年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 维勒姆·维科迪尔 :
具有一般语义的分级属性蕴涵的简化逻辑。 CLA公司 2018 : 129-140 [公元36年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
模糊形式概念分析中的直接性。 IPMU(1) 2018 : 585-595 2017 [公元18年] L.Jezková , 巴勃罗·科德罗 , 曼努埃尔·恩西索 :
模糊函数相关性:一项比较调查。 模糊集系统。 317 : 88-120 ( 2017 ) [公元17年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 基拉·V·阿达里切娃 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
使用简化逻辑从关联系统形成D-基。 国际通用系统杂志。 46 ( 5 ) : 547-568 ( 2017 ) [公元16年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , Rokia Missaoui公司 , 安杰尔·莫拉 :
三元概念分析中条件属性蕴涵的公理系统。 《国际情报杂志》。 系统。 32 ( 8 ) : 760-777 ( 2017 ) [公元15年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
典型二分直接碱。 信息科学。 376 : 39-53 ( 2017 ) [公元14年] 费尔南多·贝尼托·皮卡佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
通过闭包和简化范式减少搜索空间。 J.超级计算机。 73 ( 1 ) : 75-87 ( 2017 ) 2016 [j13] 拉迪姆·贝洛哈维克 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 维莱姆·维乔迪尔 :
具有等级的数据中属性相关性的自动校准器。 国际期刊近似原因。 70 : 51-67 ( 2016 ) [公元12年] 何塞·曼努埃尔·罗德里格斯-吉梅内斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 塞巴斯蒂安·鲁道夫 :
负信息概念格:一个特征定理。 信息科学。 369 : 51-62 ( 2016 ) [公元35年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , Rokia Missaoui公司 , 安杰尔·莫拉 :
CAISL:条件属性含义的简化逻辑。 CLA公司 2016 : 337-348 2015 [公元11年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 曼纽尔·奥杰达·阿西戈 , 卡洛斯·罗西 :
通过使用基于逻辑的含意处理在社交网络中发现知识。 知识。 基于系统。 87 : 16-25 ( 2015 ) [公元34年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 基拉·V·阿达里切娃 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
从蕴涵系统到相应的D-基。 CLA公司 2015 : 217-228 [公元33年] 何塞·曼努埃尔·罗德里格斯-吉梅内斯 , 埃斯特雷拉·罗德里格斯·洛伦佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
模糊函数依赖的一个正规形式。 SSCI公司 2015 : 984-989 2014 [公元10年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 古兹曼(Inmaculada Perez de Guzmán) :
一种类似tableaux的方法,用于推断所有最小键。 日志。 J.IGPL公司 22 ( 6 ) : 1019-1044 ( 2014 ) [公元32年] 埃斯特雷拉·罗德里格斯·洛伦佐 , 卡雷尔·贝特 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
通过缩减的直接优化基础。 CLA公司 2014 : 145-156 [公元31年] 何塞·曼努埃尔·罗德里格斯-吉梅内斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
形式概念分析中考虑正负属性的通用框架。 CLA公司 2014 : 267-278 [公元30年] 费尔南多·贝尼托·皮卡佐 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
通过并行性提高最小密钥枚举方法的效率。 ICSOFT EA公司 2014 : 512-517 [公元29年] 何塞·曼努埃尔·罗德里格斯-吉梅内斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
形式概念分析中的否定属性和含义。 ITQM公司 2014 : 758-765 2013 [公元28年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 曼纽尔·奥杰达·阿西戈 :
计算隐含的左最小直接基。 CLA公司 2013 : 293-298 [公元27年] 曼努埃尔·恩西索 , 恩里克·索勒 :
教学数据库设计:逆向工程方法。 教育 2013 : 474-480 [公元26年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 何塞·曼努埃尔·罗德里格斯-吉梅内斯 :
通过简化计算功能相关性的非冗余集合。 FOCI公司 2013 : 9-14 [公元25年] 何塞·路易斯·莱瓦 , 曼努埃尔·恩西索 , 卡洛斯·罗西 , 巴勃罗·科德罗 , 安杰尔·莫拉 , 安东尼奥·格瓦拉 :
用简化逻辑改进推荐系统,以管理分数的含义。 ICSOFT(论文集) 2013 : 290-305 [公元24年] 罗萨里奥·巴纳 , 罗伯托·阿拉贡 , 曼努埃尔·恩西索 , 卡洛斯·罗西 , 巴勃罗·科德罗 , 安杰尔·莫拉 :
数据模型中的质量改进 SL公司 财务总监 -基于OCL约束。 ICSOFT公司 2013 : 563-569 【c23】 何塞·路易斯·莱瓦 , 曼努埃尔·恩西索 , 卡洛斯·罗西 , 巴勃罗·科德罗 , 安杰尔·莫拉 , 安东尼奥·格瓦拉 :
使用模糊形式概念分析的上下文软件推荐。 ICSOFT公司 2013 : 617-623 [公元22年] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 曼纽尔·奥杰达·阿西戈 :
通过最小生成器的基础。 FCA4AI@IJCAI 2013 : 33-36 【c21】 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
自动推理以推断所有最小密钥。 国际JCAI 2013 : 817-823 [公元20年] 何塞·曼努埃尔·罗德里格斯-吉梅内斯 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
分级数据上具有模糊函数依赖的自动推理。 IWANN(2) 2013 : 254-265 2012 [公元9年] 安杰尔·莫拉 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , Inmaculada Fortes公司 , 加布里埃尔·阿奎莱拉 :
通过功能依赖简化实现闭包。 国际期刊计算。 数学。 89 ( 4 ) : 510-526 ( 2012 ) [第19条] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 曼纽尔·奥杰达·阿西戈 :
从蕴涵计算最小生成元:一种逻辑指导方法。 CLA公司 2012 : 187-198 [第18条] 曼努埃尔·恩西索 , 卡洛斯·罗西 , 安东尼奥·格瓦拉 :
功能依赖的元模型-朝向功能依赖模型转换。 ICSOFT公司 2012 : 291-296 [第17条] 拉迪姆·贝洛哈维克 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 维勒姆·维科迪尔 :
一种有效的相似性和顺序数据相关性推理方法。 MDAI公司 2012 : 408-419 2011 [j8] 安杰尔·莫拉 , 古兹曼(Inmaculada Perez de Guzmán) , 曼努埃尔·恩西索 , 巴勃罗·科德罗 :
理想的非确定性算子作为一个形式化框架来减少关键发现问题。 国际期刊计算。 数学。 88 ( 9 ) : 1860-1868 ( 2011 ) [第16条] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 古兹曼(Inmaculada Perez de Guzmán) , 何塞·曼努埃尔·罗德里格斯-吉梅内斯 :
模糊属性的描述和推理。 FOCI公司 2011 : 107-114 [第15条] 曼努埃尔·恩西索·加西亚·奥利维罗斯 , 安吉尔·莫拉·波尼拉 , 巴勃罗·科德罗 , 罗萨里奥·巴纳 :
在开发工具中加入功能依赖的声明-基准测试和检查功能依赖算法。 ICSOFT(1) 2011 : 313-316 [第14条] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 古兹曼(Inmaculada Perez de Guzmán) , 何塞·曼努埃尔·罗德里格斯-吉梅内斯 :
一种有效的模糊函数依赖推理算法。 IWANN(2) 2011 : 412-420 2010 [第13条] 卡洛斯·罗西 , 安东尼奥·格瓦拉 , 曼努埃尔·恩西索 , 何塞·路易斯·卡罗 , 安杰尔·莫拉 , 巴勃罗·科德罗 :
用于用户引导的数据库应用程序开发的工具-使用CBD自动设计XML模型。 ICSOFT(2) 2010 : 195-200
2000 – 2009
2009 [第12条] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 古兹曼(Inmaculada Perez de Guzmán) :
具有相似关系的域上模糊函数依赖的完备逻辑。 IWANN(1) 2009 : 261-269 2008 [j7] 巴勃罗·科德罗 , 安杰尔·莫拉 , 英曼·P·德·古兹曼 , 曼努埃尔·恩西索 :
非确定性理想操作符:数据库中形式化的适当工具。 谨慎。 应用。 数学。 156 ( 6 ) : 911-923 ( 2008 ) 2006 [j6] 安杰尔·莫拉 , 加布里埃尔·阿奎莱拉 , 曼努埃尔·恩西索 , 巴勃罗·科德罗 , 古兹曼(Inmaculada Perez de Guzmán) :
一种新的基于逻辑的闭包算法:SLFD-闭包与经典闭包。 智能工艺。 10 ( 31 ) : 31-40 ( 2006 ) [第11条] 安杰尔·莫拉 , 曼努埃尔·恩西索 :
集成关系数据库方案并保留原始信息的正式工具。 冰岛(1) 2006 : 302-305 2004 [j5] 曼努埃尔·恩西索 , 古兹曼(Inmaculada Perez de Guzmán) , 卡洛斯·罗西 :
非形式的正常时间独立演绎。 智能工艺。 8 ( 23 ) : 27-45 ( 2004 ) 【j4】 卡洛斯·罗西 , 曼努埃尔·恩西索 , 古兹曼(Inmaculada Perez de Guzmán) :
使用时序逻辑对UML状态机进行形式化。 柔和。 系统。 模型。 三 ( 1 ) : 31-54 ( 2004 ) [第10条] 卡洛斯·罗西 , 曼努埃尔·恩西索 , 安杰尔·莫拉 :
行为表示的一阶时序逻辑。 伊贝拉米亚 2004 : 408-418 【c9】 安杰尔·莫拉 , 曼努埃尔·恩西索 , 巴勃罗·科德罗 , 英曼·P·德·古兹曼 , J.格雷罗 :
A/D病例:FD3的新心脏。 冰岛(1) 2004 : 482-490 【c8】 加布里埃尔·阿奎莱拉 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 古兹曼(Inmaculada Perez de Guzmán) :
使用重写逻辑对函数依赖进行非爆炸性处理。 SBIA公司 2004 : 31-40 2003 【c7】 安杰尔·莫拉 , 曼努埃尔·恩西索 , 巴勃罗·科德罗 , 古兹曼(Inmaculada Perez de Guzmán) :
一种基于替换范式的函数依赖集的高效预处理变换。 CAEPIA公司 2003 : 136-146 2002 [j3] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 英曼·P·德·古兹曼 :
时态逻辑中隐式和蕴涵的闭集的基础。 信息学报 38 ( 9 ) : 599-619 ( 2002 ) [注2] 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 古兹曼(Inmaculada Perez de Guzmán) :
从时间隐含语/隐含语的姿势到时间否定形式。 数学报告。 日志。 36 : 3-53 ( 2002 ) 【c6】 巴勃罗·科德罗 , 曼努埃尔·恩西索 , 安杰尔·莫拉 , 英曼·P·德·古兹曼 :
SL公司 财务总监 逻辑:消除知识表示中的数据冗余。 伊贝拉米亚 2002 : 141-150 【c5】 曼努埃尔·恩西索 , 安杰尔·莫拉 :
FD3:函数依赖数据字典。 冰岛 2002 : 807-810 2000 [j1] 英曼·P·德·古兹曼 , 曼努埃尔·恩西索 , 巴勃罗·科德罗 :
保留暗示和暗示的时间否定范式。 J.应用。 非班级。 逻辑 10 ( 3-4 ) : 243-272 ( 2000 )
1990 – 1999
1999 【c4】 英曼·P·德·古兹曼 , 巴勃罗·科德罗 , 曼努埃尔·恩西索 :
时间逻辑中蕴涵/蕴涵闭集的结构定理。 计划免疫分析 1999 : 193-207 1996 【c3】 曼努埃尔·恩西索 , J.F.蒙卡达 , 英曼·P·德·古兹曼 , 曼纽尔·奥杰达·阿西戈 :
使用TAS工具执行内涵逻辑。 APPIA-GULP-PRODE公司 1996 : 561-566 【c2】 曼努埃尔·恩西索 , 英曼·P·德·古兹曼 , 卡洛斯·罗西 :
线性离散时间上的时间推理。 犹太教徒 1996 : 303-319 1994 【c1】 曼努埃尔·恩西索 , 英曼·P·德·古兹曼 , 卡洛斯·罗西 :
程序规范的时序逻辑。 活塞杆(2) 1994 : 309-323
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)