IGPL逻辑杂志,第31卷
第31卷第1期,2023年1月
梅格达德·加里 以下为:
具有过去和未来时间模式的线性时间调整逻辑。 1-38 赵志光 以下为:
带绑定器的混合逻辑的算法对应。 39-67 科斯塔斯·库特拉斯 , 克里斯托斯·莫伊泽斯 , 克里斯托斯·诺米科斯 , Konstantinos Tsaprounis公司 , 约戈斯·齐科斯 以下为:
关于弱滤子和超滤子:知识表示的集合论。 68-95 耶鲁·维斯 以下为:
布尔组的关联逻辑。 96-114 菲利普·巴尔比亚尼 , 乔伊格登·根瑟 , 玛丽亚姆·罗斯塔米吉夫 , 廷科·廷切夫 以下为:
关于一些局部表正规模态逻辑的统一类型的注记。 115-139 马蒂娜·西哈洛娃 , 玛丽·杜西 以下为:
多智能体世界中智能体的动态行为建模:Wh-问答的逻辑分析。 140年至171年 帕维尔·帕洛夫斯基 , 拉斐尔·乌尔巴尼亚克 以下为:
具有真值的非正式可证明逻辑。 172-193 卢卡·米凯克 以下为:
ILW和ILP可解释性逻辑的复杂性。 194-213 拉维尼亚·皮科洛 以下为:
“形式不一致逻辑中的真理:它能有多经典?”。 214-217
第31卷第2期,2023年3月
-
编者按:HAIS20特刊。 219-222 帕特里克·G·克拉克 , Jerzy W.Grzymala-Busse公司 , 兹兹斯拉夫·希佩(Zdzislaw S.Hippe) , 特蕾莎·姆罗切克 , 拉斐尔·尼米奇 以下为:
基于广义最大一致块的全局和饱和概率近似。 第223页至第239页 埃尔南·迪亚斯 , 胡安·何塞·帕拉西奥斯 , 艾琳·迪亚斯 , 卡米诺·R·贝拉 , 伊内斯·冈萨雷斯-罗德里格斯 以下为:
具有区间不确定性的车间拖期优化鲁棒调度。 240-254 P.吉梅内斯·埃雷拉 , 劳拉·梅尔加·加西亚 , Gualberto Asencio-Cortes公司 , 艾丽西娅·特隆科索·洛拉 以下为:
基于最近相似模式的流式大时间序列预测,并应用于能源消耗。 255-270 杰西卡·安德烈亚·卡巴利多 , 伊格纳西奥·蓬佐尼 , 罗西奥·塞奇尼 以下为:
使用进化方法过滤非平衡数据。 271-286 玛丽亚·霍多尔琴科 , 尼古拉·布塔科夫 , 帖木儿·索金 , 谢尔盖·特约什金 以下为:
额外正则化主题模型的基于代理的学习策略优化。 287-299 斯维特兰娜·西米奇 , 斯拉达纳·萨克 , 佐拉娜·班科维奇 , 何塞·R·维拉 , 何塞·路易斯·卡尔沃·罗勒 , 斯维茨拉夫·D·西米奇 , 德拉甘·西米奇 以下为:
诊断儿童原发性头痛障碍的三阶段混合聚类系统。 300-313 鲁马纳·费尔多斯·穆恩 , 柳田一郎 以下为:
通过摘要和属性嵌入进行实体对齐。 314-324 佩德罗·加西亚-维多利亚 , 米盖尔·安吉尔·古铁雷斯-纳兰霍 , 米盖尔·卡尔德纳斯·蒙特斯 , 罗伯特·安德烈斯·瓦斯科·卡罗菲利斯 以下为:
用于优化卷积神经网络初始模块的PBIL。 325至337 努尼奥·巴苏托 , 安杰尔·阿罗约 , 卡洛斯·坎布拉 , 阿尔瓦罗·埃雷罗 以下为:
用于输入和分类基于组件的机器人的混合机器学习系统。 338-351 帕沃尔·索科尔 , 理查德·斯坦纳 , 安德烈·加伊多斯 , 帕特里克·佩卡西克 以下为:
基于统计方法和神经网络的网络安全态势感知预测。 352-374 恩里克·德拉卡尔 , 米尔科·法涅斯 , 马里奥·维拉尔 , 何塞·维拉尔 , 维克托·M·冈萨雷斯 以下为:
一种低功耗HAR方法,用于使用腕带加速计设备识别跌倒和高强度ADL。 375-389 弗朗西斯科·扎亚斯·加托 , 阿尔瓦罗·米歇尔娜 , 赫克特·昆廷 , 埃斯特班·朱夫 , 何塞·路易斯·卡斯特莱罗·罗卡 , 保罗·莱特昂 , 何塞·路易斯·卡尔沃·罗尔 以下为:
一种新的基于贝塔-希伯来学习和主成分分析的异常检测方法。 390-399
第31卷第3期,2023年5月
赵志光 以下为:
分布模态中的Jónsson式规范性 微米 -微积分。 401-421 马吉德·阿里扎德 , 穆罕默德·阿尔德斯希尔 , 菲利普·巴尔比亚尼 , 莫伊塔巴·莫伊塔赫迪 以下为:
欧氏模态逻辑中的统一类型。 422-440 Anuj Kumar更多 , 莫华·班纳吉 以下为:
具有最小否定的矛盾互补Heyting代数和直觉逻辑。 441-474 杰玛·罗伯斯 , 何塞·Méndez 以下为:
关于FDE的一类关联展开式中函数关系的注记,与Brady的四值逻辑BN4有关。 475-482 彼得·伊利耶夫 以下为:
语义标记语法树和某些Sahlqvist公式的不存在。 483-509年 塞尔吉奥·马塞利诺 , 翁贝托·里维奇奥 以下为:
带否定的分配格逻辑的有限公理化性。 510-533 尼古拉斯·皮斯科 以下为:
关于中间证明逻辑。 534-573 丹妮拉·格拉瓦尼科娃 , 托马斯·贾穆泽克 , 马特乌斯·克洛诺斯基 , 彼得·库利基 以下为:
自由选择许可、合法化和相关语义。 574-597
第31卷第4期,2023年7月
-
社论:SOCO 2020特刊。 599-601 弗拉基米尔·伊林 , 德拉甘·西米奇 , 斯维茨拉夫·D·西米奇 , 斯维特兰娜·西米奇 , 内纳德·索利奇 , 何塞·路易斯·卡尔沃·罗勒 以下为:
针对旅行推销员问题的混合遗传算法、基于列表的模拟退火算法和不同的启发式算法。 602-617 帕维尔·斯卡拉巴内克 , 彼得·多利泽尔 , 拉多米尔·马图塞克 以下为:
使用紧密连接的卷积网络对葡萄品种进行RGB图像驱动识别。 618-633 丹尼尔·特索·菲兹·贝托尼奥 , 埃凯茨·祖鲁埃塔 , 安德·桑切斯·奇卡 , 尤奈·费尔南德斯·加米兹 , 阿德里安·特索·菲兹·贝托尼奥 , 何塞·曼努埃尔·洛佩斯·古德 以下为:
神经网络结构搜索用于估计自主移动机器人的相对位置。 634-647年 圣地亚哥·波拉斯 , 埃斯特班·朱夫 , 布鲁诺·巴鲁克 , 何塞·路易斯·卡尔沃·罗勒 以下为:
根据大气变量预测小型风力涡轮机发电量的智能技术对比分析。 648-663 毛里西奥·安德烈斯·萨莫拉·赫南德斯 , 何塞·安德烈斯·查夫斯·塞西莉亚诺 , 阿隆索·维拉洛博斯·格拉纳多斯 , 约翰·亚历杭德罗·卡斯特罗·瓦尔加斯 , 何塞·加西亚·罗德里格斯 , 豪尔赫·阿佐林·洛佩斯 以下为:
MDL+一种制造描述语言,用于描述和控制工业4.0中的装配任务。 664-687 佩德罗·拉拉·贝尼特斯 , 曼纽尔·卡兰萨·加西亚 , 大卫·古铁雷斯(David Gutiérrez-Avilés) , 何塞·C·里克尔梅 以下为:
在不同速度和漂移下使用深度学习进行数据流分类。 688-700 Iztok Fister公司 , 安德烈斯·伊格莱西亚斯 , 阿基米·加尔维斯 , 杜珊·费斯特 , 小伊斯托克·菲斯特。 以下为:
用于全局优化的并行自适应差分进化的设计与实现。 701-721 何塞·安东尼奥·莫斯科索·洛佩斯 , 哈维尔·冈萨雷斯-恩里克 , 丹尼尔·乌尔达 , 胡安·杰苏斯·鲁伊斯·阿吉拉尔 , 伊格纳西奥·图里亚斯 以下为:
使用深度学习方法进行每小时污染物预测,以获得AQI。 722-738 雅罗斯拉夫·马雷克 , 阿莱娜·波兹迪尔科娃 , 利伯·库普卡 以下为:
用线性化域分析和残差分析研究增长模型。 739-750 玛丽娜·阿吉拉尔·莫雷诺 , 曼努埃尔·格拉尼亚 以下为:
关于低分辨率激光雷达传感器SLAM的注册方法。 751-761 安卡·阿夫拉姆 , 奥利维乌·马泰伊 , Camelia-Mihaela品茶 , 彼得里卡·波普 以下为:
使用上下文软件数据挖掘方法预测土壤湿度时上下文可用性和可靠性的影响。 762-774 Esperanza García Gonzalo公司 , 保利诺·何塞·加西亚·尼托 , 哈维尔·格雷西亚·罗德里格斯 , 费尔南多·桑切斯·拉舍拉斯 , 格雷戈里奥·菲达尔戈·瓦尔弗德 以下为:
COMEX铜现货价格时间序列预测的支持向量回归模型。 775-784 弗朗西斯科·扎亚斯·加托 , 埃斯特班·朱夫 , 何塞·路易斯·卡斯特莱罗·罗卡 , 赫克特·昆廷 , 弗朗西斯科·哈维尔·佩雷斯-卡斯特罗 , 安德烈斯·何塞·皮尼翁·帕佐斯 , 埃琳娜·阿斯 , 何塞·路易斯·卡尔沃·罗勒 以下为:
小型风力涡轮机有功功率预测的智能模型。 785-803
第31卷第5期,2023年9月
桑德罗·普雷托 , 马塞洛·芬格 以下为:
通过Łukasiewicz逻辑证明二分类神经网络的性质。 805-821 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 以下为:
施密特结构的功能性。 822-893 马钦·利扎克 以下为:
使用更改运算符公理化的分支时间。 894-906 克劳迪奥·皮齐 以下为:
结果反事实逻辑公理。 907-925年 马塞尔·杰克逊 , 蒂姆·斯托克斯 以下为:
程序代数中的限制。 926-960 维罗尼卡·博尔贾·马西亚斯 , 马塞洛·科尼格里奥 , 亚历杭德罗·埃尔南德斯·特洛 以下为:
真正的准完备逻辑。 961-987年 布兰卡·费尔南达·洛佩斯·马丁诺利奇 , 玛丽亚·德尔·卡门·范尼科拉 以下为:
Łukasiewicz-Moisil代数簇与环的等价性。 988-1003
第31卷第6期,2023年11月
吉列尔莫·巴迪亚 以下为:
社论:纪念约翰·纽瑟姆·克罗斯利的特刊。 1005-1009 约翰·纽瑟姆·克罗斯利 以下为:
什么是数学逻辑? 澳大利亚的冒险旅行。 1010-1022 阿尼尔·内罗德 以下为:
约翰·克罗斯利:一位生活知识分子。 1023 利兹·索伦伯格 以下为:
逻辑和协作。 1024-1046 马丁·威辛 , 亚历山大·纳普 以下为:
动态认知逻辑的基于约简的无割Gentzen演算。 1047-1068 罗希特·帕里赫 以下为:
逻辑、协调和我们信念的外壳。 1069-1077 Jouko Väänänen 以下为:
原子的匿名价值。 1078-1083 劳埃德·亨伯斯通 以下为:
再次遭遇矛盾:非标准矛盾和内部否定**。 1084-1134 本瑟姆 以下为:
内陆小道上条件句的逻辑。 1135-1152 杰夫·萨特克利夫 以下为:
TPTP世界的逻辑语言。 1153-1169 威尔弗里德·霍奇斯 以下为:
阿维森纳是如何理解巴坎公式的? 1170-1191 尤里·古雷维奇 以下为:
逻辑基础:个人观点。 1192-1202 C.斯莫林斯基 以下为:
形式对角化的早期历史。 1203-1224 帕拉贡·彭萨姆丹 , Pimpen Vejjajiva公司 以下为:
在没有选择公理的情况下,集合的分区的基数。 1225-1231 约翰·贝尔 以下为:
逻辑学家、数学家和哲学家的回忆。 1232-1250 马修·阿斯克斯 , 罗德·唐尼 以下为:
在线、可计算和准时结构理论。 1251-1293