埃米利奥·穆尼奥斯·韦拉斯科
人员信息
附属: 西班牙马拉加大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元26年] 威廉·康雷迪 , 达里奥·德拉·莫妮卡 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
模糊Halpern和Shoham的区间时序逻辑。 模糊集系统。 456 : 107-124 ( 2023 ) [公元25年] 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 , 伯纳德·德·贝茨 :
模糊传递有向图之间的模糊关系Galois连接。 模糊集系统。 463 : 108456 ( 2023 ) [公元24年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
模糊闭包结构作为形式概念。 模糊集系统。 463 : 108458 ( 2023 ) [公元23年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
作为形式概念的模糊闭包结构2。 模糊集系统。 473 : 108734 ( 2023 ) [公元34年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
模糊形式概念分析中的伪意图。 ICCS系统 2023 : 36-40 [公元33年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
封闭结构中Galois连接之间的交换图。 ICFCA公司 2023 : 49-63 [公元32年] 威廉·康雷迪 , 里卡多·莫内戈 , 埃米利奥·穆尼奥斯·贝拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
模糊Halpern和Shoham区间时序逻辑的完备表系统。 时间 2023 : 9:1-9:14 2022 [公元22年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
模糊闭合关系。 模糊集系统。 450 : 118-132 ( 2022 ) [公元21年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
模糊闭合系统:动机、定义和性质。 国际期刊近似原因。 148 : 151-161 ( 2022 ) [c31] 曼努埃尔·奥赫达·埃尔南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
Heyting代数上的模糊闭包系统作为模糊Galois连接的不动点。 CLA公司 2022 : 9-18 [公元30年] 伊奥内尔·爱德华·斯坦 , Guido Sciavicco公司 , 埃米利奥·穆尼奥斯·韦拉斯科 , 乔瓦尼·帕利亚里尼 , 毛罗·米莱拉 , 安德烈亚·帕拉迪索 :
模态逻辑关联规则挖掘研究。 信息通信与通信系统 2022 : 53-65 [公元29年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
封闭结构的关系扩展。 IPMU(1) 2022 : 77-86 [公元28年] 因马P.卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 , 伯纳德·德·贝茨 :
模糊传递有向图之间模糊关系Galois连接的定义。 IPMU(1) 2022 : 100-106 [第1页] 多明戈·洛佩斯·罗德里格斯 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
FCA和大数据中的形式化方法。 具有形式概念分析的复杂数据分析 2022 : 201-224 2021 [公元27年] 曼努埃尔·奥杰达·赫南德斯 , 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 :
关于完备模糊格中的(模糊)闭包系统。 模糊-IEEE 2021 : 1-6 2020 [公元20年] 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
使用数量级定性推理的基于逻辑的灵活接近方法。 日志。 J.IGPL公司 28 ( 1 ) : 121-133 ( 2020 ) [公元19年] 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 , 伯纳德·德·贝茨 :
传递有向图之间的关系Galois连接:特征和构造。 信息科学。 519 : 439-450 ( 2020 ) [公元26年] 威廉·康雷迪 , 达里奥·德拉·莫妮卡 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
时间间隔的模糊模态逻辑方法。 ECAI公司 2020 : 696-703 [公元25年] 威廉·康拉迪 , 达里奥·德拉·莫妮卡 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
模糊区间时序逻辑时间序列检验。 信息通信与通信系统 2020 : 250-262 [公元24年] 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
模糊框架中非平衡结构之间的伽罗瓦联系。 IPMU(3) 2020 : 736-747 [电子1] 埃米利奥·穆尼奥斯·韦拉斯科 , 安娜·奥扎基 , 马丁·西奥博尔德 :
第27届时间表征与推理国际研讨会,《时代》2020,2020年9月23日至25日,意大利博赞博尔扎诺。 LIPIcs公司 178, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,十亿 978-3-95977-167-2 [目录]
2010 – 2019
2019 [公元18年] 埃米利奥·穆尼奥斯·韦拉斯科 , 梅赛德斯·佩利根-加西亚 , 彼得罗·萨拉 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
关于粗间隔时间逻辑。 Artif公司。 智力。 266 : 1-26 ( 2019 ) [公元17年] 普尔泽米斯瓦夫·安德烈·瓦莱加(Przemyslaw Andrzej Walega) , 埃米利奥·穆尼奥斯·韦拉斯科 :
基于命题动态逻辑的稳定定性运动控制系统。 J.多值日志。 软计算。 32 ( 3-4 ) : 221-239 ( 2019 ) 【c23】 埃斯特雷拉·卢塞纳·桑切斯 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 , 亚历山德罗·瓦卡里 :
基于区间时序逻辑规则的分类。 AI覆盖层 *IA公司 2019 : 65-70 [公元22年] 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
模糊T有向图之间的模糊关系Galois连接。 EUSFLAT确认。 2019 【c21】 英玛·P·卡布雷拉 , 巴勃罗·科德罗 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
伽罗瓦连接的关系扩展。 ICFCA公司 2019 : 290-303 2018 [公元16年] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
模态逻辑的次命题片断。 日志。 方法计算。 科学。 14 ( 2 ) ( 2018 ) [公元20年] 大卫·布雷索林 , 恩里科·科米纳托 , 西蒙·格纳尼 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
提取区间时间逻辑规则:第一种方法。 时间 2018 : 7:1-7:15 2017 [公元15年] 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
亲密度的多模态逻辑。 J.应用。 非班级。 逻辑 27 ( 3-4 ) : 225-237 ( 2017 ) [公元14年] 大卫·布雷索林 , 阿吉·库鲁茨 , 埃米利奥·穆尼奥斯·韦拉斯科 , 弗拉迪斯拉夫·里日科夫 , Guido Sciavicco公司 , 迈克尔·扎哈里亚舍夫 :
Halpern-Shoham区间时间逻辑的喇叭片段。 ACM事务处理。 计算。 日志。 18 ( 三 ) : 22:1-22:39 ( 2017 ) [第19条] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
区间时序逻辑中的快速推理。 CSL公司 2017 : 17:1-17:17 [第18条] 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
HS3基于表的可满足性检查器的实现。 ICTCS/CILC 2017 : 326-340 2016 [j13] 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 , 安杰尔·莫拉 :
表简化:实现模态必要性的最佳决策程序。 J.应用。 日志。 17 : 14-24 ( 2016 ) [第17条] 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·贝拉斯科 , 曼纽尔·奥杰达·阿西戈 :
数量级定性推理框架下的接近性混合方法。 海地 2016 : 721-729 [第16条] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
关于Horn模态逻辑片段的复杂性。 时间 2016 : 186-195 [第15条] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
论模态逻辑次命题片段的表达能力。 甘道夫 2016 : 91-104 [i2] 大卫·布雷索林 , 阿吉·库鲁茨 , 埃米利奥·穆尼奥斯·韦拉斯科 , 弗拉迪斯拉夫·里日科夫 , Guido Sciavicco公司 , 迈克尔·扎克哈里亚舍夫 :
Halpern-Shoham区间时间逻辑的喇叭片段(技术报告)。 CoRR公司 abs/1604.03515 ( 2016 ) [i1] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
模态逻辑的次命题片断。 CoRR公司 abs/1611.08800 ( 2016 ) 2015 [公元12年] 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 :
相对运动的混合定性方法。 日志。 J.IGPL公司 23 ( 三 ) : 410-420 ( 2015 ) [第14条] 埃米利奥·穆尼奥斯·韦拉斯科 , 梅赛德斯·佩利根-加西亚 , 彼得罗·萨拉 , Guido Sciavicco公司 :
关于粗区间时间逻辑及其可满足性问题。 CAEPIA公司 2015 : 105-115 [第13条] 普尔泽米斯瓦夫·安德烈·瓦莱加(Przemyslaw Andrzej Walega) , 埃米利奥·穆尼奥斯·韦拉斯科 :
基于定性推理的运动控制系统。 SOCO公司 2015 : 179-189 [第12条] 安吉洛·蒙塔纳里 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
印章的不确定性。 时间 2015 : 79-89 2014 [公元11年] 乔安娜·戈林斯卡·皮拉雷克 , 塔内利·胡斯科宁 , 埃米利奥·穆尼奥斯·贝拉斯科 :
关系对偶表决策过程及其在模态逻辑和直觉逻辑中的应用。 Ann.纯粹应用。 日志。 165 ( 2 ) : 409-427 ( 2014 ) [公元10年] 埃米利奥·穆尼奥斯·韦拉斯科 , 阿尔弗雷多·布里耶扎 , 曼纽尔·奥杰达·阿西戈 :
基于模糊定性表示的运动推理逻辑框架。 模糊集系统。 242 : 114-131 ( 2014 ) [第11条] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
时间间隔模态逻辑的喇叭片段的初步研究。 CILC公司 2014 : 314-318 [第10条] 大卫·布雷索林 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 :
艾伦关系的区间时间逻辑的次传播片段。 杰莉亚 2014 : 122-136 2013 【c9】 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 , 安杰尔·莫拉 :
模态逻辑K的约简确定表判定过程。 SOCO-CISIS-ICEUTE公司 2013 : 429-438 2012 [公元9年] 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 , 安吉尔·莫拉·波尼拉 :
模态逻辑K的关系对偶表判定过程。 日志。 J.IGPL公司 20 ( 4 ) : 747-756 ( 2012 ) 【c8】 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·贝拉斯科 :
定性速度推理:走向混合方法。 海地(1) 2012 : 635-646 2011 [j8] 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 , 安吉尔·莫拉 :
模态逻辑K中一种新的判定有效性的演绎系统。 日志。 J.IGPL公司 19 ( 2 ) : 425-434 ( 2011 ) [j7] 安杰尔·莫拉 , 埃米利奥·穆尼奥斯·韦拉斯科 , 乔安娜·戈林斯卡·皮拉雷克 :
实现模态逻辑的关系定理证明器。 国际期刊计算。 数学。 88 ( 9 ) : 1869-1884 ( 2011 ) [j6] 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
定性速度的PDL方法。 国际期刊不确定性。 模糊知识。 基于系统。 19 ( 1 ) : 11-26 ( 2011 ) 2010 [j5] 阿尔弗雷多·布里耶扎 , 古兹曼(Inmaculada Perez de Guzmán) , 埃米利奥·穆尼奥斯·韦拉斯科 :
分析时态×模态逻辑公理函数系统的完备性。 数学。 日志。 问:。 56 ( 1 ) : 89-102 ( 2010 )
2000 – 2009
2009 【j4】 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 :
具有可忽略性、非封闭性和距离的数量级定性推理逻辑的关系方法。 日志。 J.IGPL公司 17 ( 4 ) : 375-394 ( 2009 ) [j3] 阿尔弗雷多·布里耶扎 , 英曼·P·德·古兹曼 , 埃米利奥·穆尼奥斯·韦拉斯科 :
具有索引流的时序×模态逻辑上下文中的功能系统。 国际期刊计算。 数学。 86 ( 10&11 ) : 1696-1706 ( 2009 ) [注2] 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 :
具有双向可忽略性的数量级定性推理的多模态逻辑的对偶表。 国际期刊计算。 数学。 86 ( 10&11 ) : 1707-1718 ( 2009 ) 【c7】 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
基于PDL的数量级紧密距离关系定性推理。 CAEPIA公司 2009 : 71-80 2008 [j1] 阿尔弗雷多·布里耶扎 , 英曼·P·德·古兹曼 , 埃米利奥·穆尼奥斯·韦拉斯科 :
泛化了函数时态×模态逻辑中关系的一些性质。 国际期刊计算。 数学。 85 ( 3&4 ) : 371-383 ( 2008 ) 【c6】 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
一种用于数量级推理的命题动态逻辑方法。 伊贝拉米亚 2008 : 11-20 【c5】 乔安娜·戈林斯卡·皮拉雷克 , 安杰尔·莫拉 , 埃米利奥·穆尼奥斯·韦拉斯科 :
具有可忽略性、非封闭性和距离的数量级推理关系证明系统的ATP。 价格 2008 : 128-139 2007 【c4】 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
具有可忽略性、非封闭性和距离的数量级推理逻辑。 CAEPIA公司 2007 : 210-219 2006 【c3】 加布里埃尔·阿奎莱拉 , 阿尔弗雷多·布里耶扎 , 巴勃罗·科德罗 , 古兹曼(Inmaculada Perez de Guzmán) , 埃米利奥·穆尼奥斯·韦拉斯科 :
MAT逻辑:一种具有非确定性算子的时态×模态逻辑,用于处理通信技术中的交互系统。 伊贝拉米亚-SBIA 2006 : 602-611 2005 【c2】 阿尔弗雷多·布里耶扎 , 埃米利奥·穆尼奥斯·韦拉斯科 , 曼纽尔·奥杰达·阿西戈 :
双向可忽略的数量级定性推理。 CAEPIA公司 2005 : 370-378 2002 【c1】 阿尔弗雷多·布里耶扎 , 英曼·P·德·古兹曼 , 埃米利奥·穆尼奥斯·韦拉斯科 :
具有函数语义的时态x模态逻辑中的索引流。 时间 2002 : 146-153
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)