威廉·康雷迪
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [公元25年] 威廉·康雷迪 , 安德烈亚·德多梅尼科 , 克里希纳·马诺卡尔 , 亚历山德拉·帕尔米吉亚诺 , 马蒂亚·帕内蒂埃 , Daira Pinto Prieto公司 , 阿波斯托洛斯·齐莫利斯 :
跨关系语义的模态约简原则。 模糊集系统。 481 : 108892 ( 2024 ) [公元24年] 威廉·康雷迪 , 克里希纳·马诺卡尔 , 亚历山德拉·帕尔米吉亚诺 , 马蒂亚·帕内蒂埃 :
模态约简原则:向图形的参数转换。 J.应用。 非类别。 逻辑 34 ( 2-3 ) : 174-222 ( 2024 ) [c21] 盖伊·阿克塞尔罗德 , 威廉·康雷迪 :
多值模态逻辑的前缀表和决策程序。 PAAR+SC²@IJCAR 2024 : 10-27 2023 [公元23年] 威廉·康雷迪 , 达里奥·德拉·莫妮卡 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
模糊Halpern和Shoham的区间时序逻辑。 模糊集系统。 456 : 107-124 ( 2023 ) [公元20年] 威廉·康雷迪 , 里卡多·莫内戈 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
模糊Halpern和Shoham区间时序逻辑的完备表系统。 时间 2023 : 9:1-9:14 2022 [第19条] 威廉·康雷迪 :
对应理论中的参数现象。 AiML公司 2022 : 3-6 [第18条] 威廉·康雷迪 , 马蒂亚·帕内蒂埃 :
通过ALBA实现模态逆对应。 AiML公司 2022 : 259-280 [第九章] 威廉·康雷迪 , 安德烈亚·德多梅尼科 , 克里希纳·马诺卡尔 , 亚历山德拉·帕尔米吉亚诺 , 马蒂亚·帕内蒂埃 , Daira Pinto Prieto公司 , 阿波斯托洛斯·齐穆利斯 :
跨关系语义的模态约简原则。 CoRR公司 abs/2202.00899 ( 2022 ) [i8] 威廉·康雷迪 , 安德烈亚·德多梅尼科 , 朱塞佩·格雷科 , 亚历山德拉·帕尔米吉亚诺 , 马蒂亚·帕内蒂埃 , 阿波斯托洛斯·齐莫利斯 :
DLE逻辑的统一逆对应。 CoRR公司 abs/2203.09199 ( 2022 ) 2021 [公元22年] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 , 克劳德特·罗宾逊 , 阿波斯托洛斯·齐穆利斯 , 纳乔姆·维恩伯格 :
模拟社会政治竞争。 模糊集系统。 407 : 115-141 ( 2021 ) [公元21年] 威廉·康雷迪 , 萨宾·弗里特拉 , 克里希纳·马诺卡尔 , 萨贾德·纳扎里 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 , 纳乔姆·维恩伯格(Nachoem M.Wijnberg) :
粗略的概念。 信息科学。 561 : 371-413 ( 2021 ) [第17条] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 彼得·吉普森 :
通过算法PEARL的实现实现关联逻辑、簇蕴涵逻辑和关系代数的算法对应。 RAMiCS公司 2021 : 126-143 [i7] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 彼得·吉普森 :
关联逻辑、串蕴涵逻辑和关系代数的算法对应:算法PEARL及其实现(技术报告)。 CoRR公司 abs/2108.06603 ( 2021 ) 2020 [公元20年] 威廉·康雷迪 , 萨利赫·杜尔汉 , Guido Sciavicco公司 :
线性阶上点和区间的一阶综合理论(第二部分)。 日志。 方法计算。 科学。 16 ( 2 ) ( 2020 ) [公元19年] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 :
归纳不等式的构造性规范。 日志。 方法计算。 科学。 16 ( 三 ) ( 2020 ) [第16条] 威廉·康雷迪 , 达里奥·德拉·莫妮卡 , 埃米利奥·穆尼奥斯·贝拉斯科 , Guido Sciavicco公司 :
时间间隔的模糊模态逻辑方法。 ECAI公司 2020 : 696-703 [第15条] 威廉·康雷迪 , 达里奥·德拉·莫妮卡 , 埃米利奥·穆尼奥斯·韦拉斯科 , Guido Sciavicco公司 , 伊奥内尔·爱德华·斯坦 :
模糊区间时序逻辑时间序列检验。 信息通信与通信系统 2020 : 250-262
2010 – 2019
2019 [公元18年] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 :
非分配逻辑的算法对应和规范性。 Ann.纯粹应用。 日志。 170 ( 9 ) : 923-974 ( 2019 ) [j17] 威廉·康雷迪 , 克劳德特·罗宾逊 :
混合逻辑布尔定理的类比。 日志。 J.IGPL公司 27 ( 三 ) : 281-313 ( 2019 ) [公元16年] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 , 赵志光 :
Sahlqvist通过翻译。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) [公元15年] 威廉·康雷迪 , 萨宾·弗里特拉 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 , 纳乔姆·维恩伯格 :
代数上的概率认知更新。 ACM事务处理。 计算。 日志。 20 ( 4 ) : 24:1-24:75 ( 2019 ) [第14条] 威廉·康雷迪 , 安德鲁·克雷格 , 亚历山德拉·帕尔米吉亚诺 , 纳乔姆·维恩伯格 :
模拟竞争理论。 EUSFLAT确认。 2019 [第13条] 威廉·康雷迪 , 安德鲁·克雷格 , 亚历山德拉·帕尔米吉亚诺 , 纳乔姆·维恩伯格(Nachoem M.Wijnberg) :
信息熵建模。 沃尔利克 2019 : 140-160 [i6] 威廉·康雷迪 , 萨宾·弗里特拉 , 克里希纳·马诺卡尔 , 萨贾德·纳扎里 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 , 纳乔姆·维恩伯格(Nachoem M.Wijnberg) :
粗略的概念。 CoRR公司 abs/1907.00359 ( 2019 ) 2018 [公元14年] 威廉·康雷迪 , 萨利赫·杜尔汗 , Guido Sciavicco公司 :
线性阶上点和区间的一阶综合理论(第一部分)。 日志。 方法计算。 科学。 14 ( 2 ) ( 2018 ) [i5] 威廉·康雷迪 , 萨利赫·杜尔汗 , Guido Sciavicco公司 :
线性阶上点和区间的一阶综合理论(第一部分)。 CoRR公司 abs/1805.08425 ( 2018 ) [i4] 威廉·康雷迪 , 萨利赫·杜尔汉 , Guido Sciavicco公司 :
线性阶上点和区间的一阶综合理论(第二部分)。 CoRR公司 abs/1809.04468 ( 2018 ) 2017 [j13] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 , 苏米特·苏拉布 :
代数模态对应:Sahlqvist及其他。 J.日志。 代数方法课程。 91 : 60-84 ( 2017 ) [公元12年] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 :
编辑。 J.日志。 计算。 27 ( 三 ) : 607-608 ( 2017 ) [公元11年] 威廉·康雷迪 , 安德鲁·克雷格 :
mu-calculi的规范性结果:一种算法方法。 J.日志。 计算。 27 ( 三 ) : 705-748 ( 2017 ) [公元10年] 威廉·康雷迪 , 克劳德特·罗宾逊 :
关于混合逻辑的Sahlqvist理论。 J.日志。 计算。 27 ( 三 ) : 867-900 ( 2017 ) [第12条] 威廉·康雷迪 , 安德鲁·克雷格 , 亚历山德拉·帕尔米吉亚诺 , 赵志光 :
基于格的不动点逻辑的构造规范性。 沃尔利克 2017 : 92-109 [第11条] 威廉·康雷迪 , 萨宾·弗里特拉 , 亚历山德拉·帕尔米吉亚诺 , 米歇尔·皮亚扎伊 , 阿波斯托洛斯·齐穆利斯 , 纳乔姆·维恩伯格 :
走向认识论-逻辑范畴化理论。 TARK(目标) 2017 : 167-186 2016 [第10条] 威廉·康雷迪 , 萨宾·弗里特拉 , 亚历山德拉·帕尔米吉亚诺 , 米歇尔·皮亚扎伊 , 阿波斯托洛斯·齐穆利斯 , 纳乔姆·维恩伯格 :
分类:我如何学会停止忧虑和爱两种类型。 沃尔利克 2016 : 145-164 2015 【b2】 威廉·康雷迪 , 瓦伦丁·戈兰科 , 克劳德特·罗宾逊 :
逻辑和离散数学-简明介绍,解决方案手册。 威利 2015 ,国际标准图书编号 978-1-118-76267-7 ,第1-184页 【b1】 威廉·康雷迪 , 瓦伦丁·戈兰科 :
逻辑和离散数学-简介。 威利 2015 ,国际标准图书编号 978-1-118-75127-5 第I-XIX页,1-426页 [公元9年] 威廉·康雷迪 , 伊夫·福马塔蒂 , 亚历山德拉·帕尔米吉亚诺 , 苏米特·苏拉布 :
直觉模态多演算的算法对应。 西奥。 计算。 科学。 564 : 30-62 ( 2015 ) 【c9】 威廉·康雷迪 , 萨宾·弗里特拉 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 :
代数上的概率认知更新。 LORI公司 2015 : 64-76 [i3] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 , 苏米特·苏拉布 , 赵志光 :
基于伪对应的规范性和相对化规范性:ALBA的应用。 CoRR公司 abs/1511.04271 ( 2015 ) 2014 【p1】 威廉·康雷迪 , 西尔维奥·吉拉尔迪 , 亚历山德拉·帕尔米吉亚诺 :
统一通信。 约翰·范·本特姆论逻辑和信息动力学 2014 : 933-975 [i2] 威廉·康雷迪 , 安德鲁·克雷格 :
mu-calculi的规范性结果:一种算法方法。 CoRR公司 abs/1408.6367 ( 2014 ) 2013 [j8] 威廉·康雷迪 , 威尔玛丽·莫顿 , 克林特·范·阿尔滕 :
模态逻辑中滤波的代数研究。 日志。 J.IGPL公司 21 ( 5 ) : 788-811 ( 2013 ) 【c8】 威廉·康雷迪 , 伊夫·福马塔蒂 , 亚历山德拉·帕尔米吉亚诺 , 苏米特·苏拉布 :
直觉模态微积分的算法对应,第1部分。 TACL公司 2013 : 52-56 【c7】 威廉·康雷迪 , 伊夫·福马塔蒂 , 亚历山德拉·帕尔米吉亚诺 , 苏米特·苏拉布 :
直觉模态微积分的算法对应,第2部分。 TACL公司 2013 : 57-60 【c6】 克劳德特·罗宾逊 , 威廉·康雷迪 :
混合逻辑的布尔定理的类似物。 TACL公司 2013 : 179-182 2012 [j7] 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 :
分配模态逻辑的算法对应和规范性。 Ann.纯粹应用。 日志。 163 ( 三 ) : 338-376 ( 2012 ) [c5] 威廉·康雷迪 , 萨利赫·杜尔汗 , Guido Sciavicco公司 :
点和区间的综合一阶理论:所有线性阶类的表达能力。 时间 2012 : 47-54 2011 【c4】 威廉·康雷迪 , Guido Sciavicco公司 :
严格情形下用Allen关系推广的一阶逻辑的表达能力。 CAEPIA公司 2011 : 173-182 2010 [j6] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 V.SQEMA的递归扩展。 J.应用。 日志。 8 ( 4 ) : 319-333 ( 2010 )
2000 – 2009
2009 [j5] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 三、 带替换的SQEMA算法的扩展。 芬丹。 信息学 92 ( 4 ) : 307-343 ( 2009 ) 2008 【j4】 威廉·康雷迪 , 瓦伦丁·戈兰科 :
模态逻辑中的算法对应性和完备性。 J.应用。 非班级。 逻辑 18 ( 2-3 ) : 175-211 ( 2008 ) 2007 【c3】 威廉·康雷迪 :
通过SQEMA的扩展实现混合逻辑中的完备性和对应性。 400万 2007 : 175-190 2006 [j3] 威廉·康雷迪 :
关于DLS的强度和范围。 J.应用。 非类别。 逻辑 16 ( 3-4 ) : 279-296 ( 2006 ) [注2] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 一、核心算法SQEMA。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) [j1] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 二、。 算法SQEMA的多元和混合扩展。 J.日志。 计算。 16 ( 5 ) : 579-612 ( 2006 ) 【c2】 打捆机十类 , 威廉·康雷迪 , 马尔滕·马克思 , Yde Venema公司 :
最终完整的描述逻辑。 韩国 2006 : 79-89 [i1] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 一、核心算法SQEMA。 CoRR公司 abs/cs/0602024 ( 2006 ) 2004 【c1】 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
基本规范公式:句法、算法和模型综述? 理论方面。 模态逻辑的进展 2004 : 17-51