IGPL逻辑杂志,第32卷
第32卷第1期,2024年1月
巴哈雷语Afshari , 塞巴斯蒂安·恩奎斯特 , 格雷厄姆·E·利 :
一阶微积分的循环证明。 1-34 瑞士科尔杜拉 :
一阶变化逻辑。 35-46 穆罕默德·阿尔德斯希尔 , 维姆·鲁登堡 :
Kolmogorov和Kuroda将其翻译为基本谓词逻辑。 47-63 莫特扎·莫尼里 , Fatemeh Shirmohammadzadeh Maleki先生 :
直觉主义逻辑的另一个邻域语义。 64-75 Edelcio G.de Souza公司 , 亚历山大·科斯塔·莱特 , 迪奥戈·H·B·迪亚斯 :
Parasconsistentization和多值逻辑。 76-93 佐兰·奥格尼亚诺维奇 , 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 阿列克桑达尔·佩罗维奇 :
概率时间认识逻辑:强完备性。 94-138 吕亚杰 , 陈文娟 :
拟布尔代数的谱。 139-163 达尼亚尔·沙姆卡诺夫 :
关于公共知识S4CI的模态逻辑的代数语义和拓扑语义。 164-179 扎兰·吉尼斯 , 奥夫赫·兹蒂尔克 :
泛代数逻辑中的合并和Robinson性质。 180-196 会议。 197-205
2024年第32卷第2期
社论:《CISIS 2021》特刊。 207-209 大流士·加利斯 , Ciprian蓬吉拉 , 维奥雷尔·内格鲁 :
基于区块链的智能合约中的实时多态恶意行为检测。 210-223 Gonzalo A.Aranda Corral公司 , 约阿昆·博雷戈·迪亚斯 , 胡安·加兰·帕兹 :
基于FCA的隐私推理。 224-242 劳拉·费尔南德斯·贝塞拉 , 天使曼努埃尔·格雷罗·希格拉斯 , 弗朗西斯科·哈维尔·罗德里格斯-勒拉 , 维森特·马特兰 :
作为机器人服务的问责制:对自主机器人不同问责制策略的性能评估。 243-262 罗伯托·马甘·卡里翁 , 丹尼尔·乌尔达 , 伊格纳西奥·迪亚斯·卡诺 , 伯纳贝·多罗索罗 :
评估不同特征作为计数器数据聚合方法对NIDS及其所选特征的性能的影响。 263-280 奥斯卡·洛伦特·巴斯克斯 , 伊戈尔·桑托斯·格鲁埃罗 , 艾克·帕斯托尔·洛佩斯 , 巴勃罗·加西亚·布林加斯 :
检测、利用和缓解内存错误。 281-292 康斯坦丁诺斯·卡兰皮迪斯 :
利用多模式生物特征增强密码安全。 293-305 努尼奥·巴苏托 , 迭戈·加西亚·普列托 , 赫克特·昆廷 , 丹尼尔·乌尔达 , 何塞·路易斯·卡尔沃·罗勒 , 埃米利奥·科尔查多 :
Beta-Hebbian学习增强Android恶意软件家族的无监督探索可视化。 306-320 安东内洛·卡拉博 , 道达说 , 埃达·马切蒂 :
建立具有智能预测的增强监测框架。 321-333 鲁道夫·埃尔迪 , 丹妮拉·德林斯基 , 奥利维乌·马泰伊 , 劳拉·安德烈卡 :
设计用于安全异步灵活分布式协作的通信通道体系结构的良好实践。 334-351 阿尔瓦罗·米切莱纳 , 玛丽亚·特蕾莎·加西亚·奥尔德斯 , JoséAveleira-Mata公司 , 大卫·耶雷吉·马科斯·德尔布兰科 , 米里亚姆·蒂米拉奥斯·迪亚斯 , 弗朗西斯科·扎亚斯·加托 , 埃斯特班·朱夫 , 何塞·路易斯·卡斯特莱罗·罗卡 , 赫克特·昆廷 , Héctor Alaiz-Moretón公司 , 何塞·路易斯·卡尔沃·罗勒 :
Beta Hebbian Learning,用于使用物联网设备MQTT协议的网络中的入侵检测。 352-365
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)