IGPL逻辑杂志,第30卷
第30卷第1期,2022年1月
吉列尔莫·巴迪亚 , 卡尔斯·诺格拉 :
一阶多值逻辑的饱和模型。 1-20 杰玛·罗布尔斯 , 何塞·Méndez :
关于Kleene强三值逻辑二元展开的函数完备性的注记。 21-33 纳贝·阿博利安 , 马吉德·阿里扎德 :
严格蕴涵逻辑的Lyndon插值性质。 34-70 赛义德·萨利希 :
“有时是一个悖论”,现在证明:亚布罗不是第一级的。 71-77 解放 :
理智和不可靠信仰的逻辑。 78-100 米查尔·瓦利基 :
图形规范形式的扩展。 101-123 Somayeh Chopoghloo公司 , 莫特扎·莫尼里 :
动态拓扑逻辑的无限公理化。 124-142 伊万·查伊达 , 赫尔穆特·隆格 :
有限高度的正交模偏序集的逻辑。 143-154 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 安德烈亚斯·赫齐格 , 彼得·伊利耶夫 :
模态公理复杂性的框架有效性游戏和下限。 155-185 亚历克斯·贝里科夫 :
关于一些传染逻辑的二价语义和自然演绎。 186-210
第30卷第2期,2022年3月
-
特刊:SOCO-CISIS 2019-IGPL。 211-213 伊格纳西奥·特罗加奥拉 , Iker Elorza公司 , 埃洛伊·伊里戈扬 , Aron Pujana-Arrese公司 , 卡洛斯·卡列亚 :
迭代学习控制对液压缓冲器力控制的影响。 214-226 米盖尔·卡尔德纳斯·蒙特斯 :
222年预测中的不确定性估计 卢比 坎弗兰克地下实验室的辐射水平时间序列。 227-238 莎拉·温德利希 , 马库斯戒指 , 迪特尔·兰德斯 , 安德烈亚斯·霍托 :
不同系统调用表示对入侵检测的影响。 239-251 贝伦·维加·马尔克斯 , 克里斯蒂娜·鲁比奥·埃斯库德罗 , 伊莎贝尔·内波穆塞诺·查莫罗 :
使用条件生成对抗网络生成合成数据。 252-262 克里斯蒂安·阿莫尔 , 何塞·米盖尔·佩雷斯 , 菲利普·施拉特 , 里卡多·维努萨 , Soledad Le Clainche公司 :
壁装方形圆柱后湍流尾迹的建模。 263-276 安德烈亚·维斯坎 , Camelia-Mihaela品茶 , 彼得里卡·波普 :
测试用例优先级-具有故障严重性的ANT算法。 277-288 阿格涅斯卡·兹布热兹尼 , 萨宾娜·西莫尼亚克 , 米罗斯瓦夫·库尔科夫斯基 :
使用可满足模理论验证安全系统的实用方法。 289-300 卢西亚诺·桑切斯 , 何塞·奥特罗 , 曼努埃拉·冈萨雷斯-维加 , 大卫·安森 , 阿兰娜·祖尔克 , 伊内斯·库索 :
LiFePO4电池增量容量曲线的远程学习。 301-313 米尔科·法涅斯 , 何塞·R·维拉 , 恩里克·德拉·卡尔 , 维克托·M·冈萨雷斯 , 哈维尔·塞达诺 :
通过无监督学习改进基于可穿戴设备的坠落检测。 314-325 阿尔贝托·莱拉 , 埃斯特班·朱夫 , 何塞·M·冈萨雷斯-卡瓦 , 何塞·路易斯·卡斯特莱罗·罗卡 , 赫克特·昆廷 , 弗朗西斯科·扎亚斯·加托 , 圣地亚哥·托雷斯·阿尔瓦雷斯 , 斯维特兰娜·西米奇 , 胡安·阿尔比诺·门德斯·佩雷斯 , 何塞·路易斯·卡尔沃·罗勒 :
用于检测麻醉过程中异常情况的单类智能分类器。 326-341
第30卷第3期,2022年5月
尼古拉斯·皮斯科 :
哥德尔论证逻辑及其实现。 343-408 埃尔南·哈维尔·圣马汀 , 瓦莱丽娅·西格尔 :
有界预线性希尔伯特代数的对偶性。 409-421 吉多·菲奥里诺 :
非子句MaxSAT问题的新Tableau刻画。 422-436 阿诺·阿夫伦 :
基于哥德尔蕴涵的三值逻辑证明系统。 437-453 菲利普·巴尔比亚尼 , 莫伊塔巴·莫伊塔赫迪 :
经典命题逻辑蕴涵片段中参数的统一。 454-464 丹尼尔·马丁内斯·里维拉斯 , 鲁伊·J·G·B·德·奎罗斯 :
由任意拓扑λ-模型生成的∞-群体。 465-488 赛义德·萨利希 :
塔斯基不可定义定理和对角线引理。 489-498 乌里·安德鲁斯 , 彼得·格德斯 , 斯特芬·伦普 , 约瑟夫·米勒 , 诺亚·戴维·施韦伯 :
可计算性和对称差分算子。 499-518 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
部分拟谓词逻辑的不确定性。 519-533 桑卡S.巴苏 , 米希尔·K·查克拉博蒂 :
推理和超一致性的限制规则。 534-560 萨拉·卡德尔 , 迭戈·F·阿兰哈 , Amparo Fuster消减器 :
用线性CA恢复基于抽取的密码序列。 561 -
自适应检测数据库入侵的进化强化学习。 562
第30卷第4期,2022年7月
希尔德·佩雷斯·加西亚 , 利迪娅·桑切斯·冈萨雷斯 , 曼努埃尔·卡斯特约恩·利马斯 , 赫克特·昆廷 , 埃米利奥·科尔查多 :
编辑:特刊HAIS19-IGPL。 563-565 阿古斯汀·圣罗曼·古兹曼 , 迭戈·瓦尔迪奥米洛斯 , 阿尔贝托·里瓦斯 , Angélica González Arrieta女士 , 巴勃罗·查莫索 :
使用分布式哈希表设计新的分布式NoSQL数据库。 566-577 石井直弘 , 德沟俊一(Toshinori Deguchi) , 川口正史 , 佐佐木浩 , 松浦东郎 :
生物激励神经网络的自适应正交特性。 578-598 保罗·罗斯罗·蒙塔尔沃 , 维维安·洛佩斯·巴蒂斯塔 , 里卡多·P·阿西尼亚加·罗查 , 迭戈·埃尔南·佩鲁福·奥尔多涅斯 :
使用WSN节点和机器学习技术进行空气污染监测:案例研究。 599-610 弗拉维奥·阿瑟·奥利维拉·桑托斯 , 克莱伯·桑切廷 , 莱昂纳多·诺盖拉·马托斯 , 保罗·诺维斯 :
主动图像增强方法中可解释性方法的影响。 611-621 奥维迪乌·科斯马 , 彼得里卡·波普 , 科斯敏·萨博 :
用混合遗传算法求解具有固定成本的两阶段供应链网络设计问题。 622-634 爱德华多·杜尔塞·查莫罗 , 弗朗西斯科·哈维尔·马丁内斯·德·皮松 :
估算医院冷却需求以提高能效的节约模型。 635-648 斯维特兰娜·西米奇 , 斯维蒂斯拉夫·D·西米奇 , 佐拉娜·班科维奇 , 米拉娜·伊夫科夫·西米奇 , 何塞·R·维拉 , 德拉甘·西米奇 :
深度卷积神经网络在皮肤肿瘤图像自动分类中的应用。 649-663 何塞·内维斯 , 努诺·迈亚 , 戈雷蒂·马雷罗斯 , 玛丽亚娜·奈维斯 , 安娜·费尔南德斯 , 若热·里贝罗 , 伊莎贝尔·阿劳约 , 努诺·阿劳霍 , 莉莉亚娜·阿维多斯 , 菲利帕·费拉兹 , 安东尼奥·卡皮塔 , 尼科拉斯·F·洛里 , 维克多·阿尔维斯 , 亨利克·文森特 :
员工平衡和稳定是组织绩效的关键。 664-678 埃斯特班·朱夫 , 何塞·路易斯·卡斯特莱罗·罗卡 , 赫克特·昆廷 , 弗朗西斯科·扎亚斯·加托 , 吉安尼·维亚尔多·维切利 , 何塞·路易斯·卡尔沃·罗勒 :
基于混合拓扑的一类分类器用于检测动力电池故障。 679-694
第30卷第5期,2022年9月
马塞洛·科尼格里奥 , 路易斯·法利尼亚斯·德尔·塞罗 , Newton Marques Peron公司 :
非确定性语义的模态逻辑:第二部分:量化案例。 695-727 马蒂亚斯·格纳 :
示例逻辑。 728-776 胡安·卡洛斯·阿古德洛·阿古德洛 , 安德烈斯·西卡德·拉米雷斯 :
具有相反类型的类型理论:一种超协调类型理论。 777-806 翁贝托·里维奇奥 :
拟Nelson的片段:可代数化的核心。 807-839 伊万·查伊达 , 大卫·法齐奥 , 赫尔穆特·隆格 , 安东尼奥·莱达 , 扬·帕塞卡 :
副正交模偏序集的代数性质。 840-869 大卫·R·吉尔伯特 , 叶卡捷琳娜·库比什基纳 , 马蒂亚·佩特罗 , 乔治·文丘里 :
无知与错误的逻辑。 870-885 罗宾·赫希 , 萨博尔斯·米库拉斯 , 蒂莫西·斯托克斯 :
非确定性程序代数:恶魔运算、命令和公理。 886-906 -
电气工程专业学生学业成绩缺失数据插补。 907
第30卷第6期,2022年11月
-
特刊CISIS 2020-IGPL。 909-911 维贝卡南达·杜塔 , 马雷克·帕利基 , 拉斐尔·科齐克 , 米查尔·乔拉斯 :
使用深度自动编码器进行无监督网络流量异常检测。 912-925 Cándido Caballero-Gil公司 , Pino Caballero-Gil公司 , 杰萨贝尔·莫里纳·吉尔 , 内斯托尔·加西亚·莫雷诺 :
基于以太坊的去中心化租车系统。 926-941 何塞·阿勒芒 , Víctor Botti-Cebriá , 埃琳娜·德尔·瓦尔 , 安娜·加西亚·福恩斯 :
社交网络中敏感信息的检测和微扰。 942-953 米格尔·V·卡里埃戈斯 , 拉蒙·安杰尔·费尔南德斯·迪亚斯 , 特蕾莎·特罗巴约(M.Teresa Trobajo) , 迭戈·阿斯特里奥·德·扎巴拉 :
网络安全总量时间序列预测方法的方向准确性研究。 954-964 维罗尼卡·奥宾 , 马尔科·莫拉 , 马蒂尔德·桑托斯 :
一种基于手写笔迹片段的书写者验证新方法。 965-978 光敏围棋 , Seok-Jun Bu先生 , 宋百秋 :
基于蒙特卡罗抽样的深度度量神经网络的数据库内幕攻击检测。 979-992 萨拉·卡德尔 , A.B.奥鲁埃 , 维罗尼卡要求 , Amparo Fuster消减器 :
广义序列级联的随机性研究。 993-1004 拉斐尔·科齐克 , 马雷克·帕利基 , 塞巴斯蒂安·库拉 , 米查尔·乔拉斯 :
假新闻检测平台——概念架构和原型。 1005-1016 耶雷·梅兹基塔 , 哈维尔·帕拉多明格斯 , 玛丽亚·佩雷兹·彭斯 , 哈维尔·普列托 , 胡安·曼努埃尔·科尔查多 :
基于区块链的土地登记平台:关于其实施和潜在挑战的调查。 1017-1027 V.加约索·马丁内斯 , 路易斯·埃尔南德斯·恩西纳斯 , 阿古斯丁·马丁·穆尼奥斯 :
密钥交换算法NewHope的和解机制的修改建议。 1028-1040 萨阿德·哈立德·阿拉布杜萨拉姆 , Trung Q.Duong先生 , Kim-Kwang Raymond Choo先生 , Nhien-An Le-Khac公司 :
一种基于网络链接的有效物联网取证和分析方法。 1041-1055 赫克特·昆廷 , 埃斯特班·朱夫 , 何塞·路易斯·卡斯特莱罗·罗卡 , 丹尼尔·乌尔达 , 安杰尔·阿罗约 , 何塞·路易斯·卡尔沃·罗勒 , 阿尔瓦罗·埃雷罗 , 埃米利奥·科尔查多 :
通过Beta-Hebbian学习实现流中入侵的高级可视化。 1056-1073