IGPL逻辑杂志,第20卷
第20卷第1期,2012年2月
埃文·戈利斯 , 乔斯特·J·乔斯顿 :
自校准仪和∑ 1 句子。 1-21 塔雷克·赛义德·艾哈迈德 :
即使在简单代数中,同态也不是满射的。 22-26 马吉德·阿里扎德 , 穆罕默德·阿尔德斯希尔 :
关于Löb代数,II。 27-44 弗雷德里克·范·德普特 :
层次自适应逻辑。 45-72 Katarzyna Slomczynska公司 :
弗雷琴变种的统一性和投射性。 73-93 安东·本茨 :
多智能体信令博弈中公共信息的超大不动点。 94-120 Wojciech Dzik公司 , 彼得·沃伊泰拉克 :
模态逻辑中的投影统一。 121-153 马丁·莫吉兰斯基 , 雷娜塔·瓦瑟曼 , 马塞洛·A·法拉帕 :
通过论点理论变化进行不一致的基础修订。 154-186年 杨恩斯克 :
伪布尔逻辑和弱布尔逻辑的(基于星的)三值克里普克式语义。 187-206 斯蒂芬·库兹涅佐夫 :
具有一个除法和一个基元类型的Lambek文法。 207-221 宫部贤治 :
最佳性和普遍性之间的区别。 222-234 米洛斯·米洛舍维奇 , 佐兰·奥格尼亚诺维奇 :
一阶条件概率逻辑。 235-253 纳扎宁·塔瓦纳 , Massoud Pourmahdian公司 , 法扎德·迪德瓦尔 :
一阶Łukasiewicz逻辑的紧凑性。 254-265 布莱·博内 , 内里奥·博尔赫斯 :
使用对偶和运算符对完备性进行句法表征。 266-282 弗吉尼亚·迪格纳姆 , 弗兰克·迪格纳姆 :
代理组织的逻辑。 283-316 徐文燕 , 刘三阳 :
可计算逻辑的循环演算系统CL6的稳健性和完备性。 317-330 小岛贤介 :
直觉模态逻辑中哪个经典对应有效? 331-348 约瑟夫·伯杰 , 道格拉斯·S·布里奇斯 , 埃里克·帕尔姆格伦 :
双序列,几乎是Cauchyness和BD-N。 349-354 何塞·Méndez , 杰玛·罗伯斯 , 弗朗西斯科·萨托 :
票证隐含加上混合公理具有可变共享特性。 355至364
第20卷第2期,2012年4月
洛伦佐·马格尼 , 沃尔特·亚历山大·卡涅利 , 克劳迪奥·皮齐 :
专题:基于模型的推理和推理中的形式表示。 367-369
马塞洛·芬格 :
走向自动化一阶诱拐:基于切割的方法。 370-387 安格尔·内波穆塞诺·费尔南德斯 , 弗朗西斯科·萨尔格罗·拉米拉尔 , 大卫·费尔南德斯·杜克 :
结构外展表。 388-399 达格马尔·普罗维金 :
从不一致的理论中产生诱拐性解释。 400-416 彼得·威尔德 :
通过自适应逻辑游戏对不可行推理进行建模。 417-437 费尔南多·索勒尔·托斯卡诺 , 大卫·费尔南德斯·杜克 , 安格尔·内波穆塞诺·费尔南德斯 :
用于建模溯源推理的模式框架。 438-444 彼得·布鲁扎 , 柯斯蒂·基托 , 布伦廷·J·拉姆 , 劳丽安妮·西本(Laurianne Sitbon) , 宋大伟 , 西蒙·布隆伯格 :
概念组合、紧急关联和诱拐的数量级不可分割性。 445-457 朱利安娜·布埃诺·索勒 :
阳极和阴极多模模式。 458-476 安德森·德阿拉乔 , 沃尔特·亚历山大·卡尼埃利 :
非标准数字:建模算术推理的语义障碍。 477-485 上民栾 , 戴国忠 , 洛伦佐·马格纳尼 :
信念修正的近似方法。 486-496 汉斯·莱克 :
寻求解释的形式化解释:溯因推理的自适应逻辑方法。 497-516 里卡多·索萨·西尔维斯特 :
论理论变革和科学异常的逻辑形式化。 517-532
第20卷第3期,2012年6月
德拉甘·西米奇 , 伊利亚·科瓦切维奇 , 斯维特兰娜·西米奇 :
用于评估公司财务健康状况的破产预测。 536-549年 巴托斯·库尔勒(Bartosz Kurlej) , 米查尔·沃兹尼亚克 :
概念漂移问题的主动学习方法。 550-559 Camelia-Mihaela品茶 , 格洛丽亚·塞拉塞拉·克里斯安 , 卡米利亚·奇拉 :
具有用于解决复杂问题的过渡策略的混合蚂蚁模型。 560-569 卡罗琳娜·扎托 , 安娜·德路易斯 , 哈维尔·巴霍 , 胡安·弗朗西斯科·德·帕斯 , 胡安·科尔查多 :
多智能体系统中活动分布和组织的动态模型。 570-578 兴兴河 , 刘军(Jun Liu) , 杨旭 , 路易斯·马丁内斯·洛佩斯 , 大阮 :
打开 α -可满足性及其 α -有限格值命题逻辑中的锁解析。 579-588 佐拉娜·班科维奇 , 何塞·曼努埃尔·莫亚 , 埃琳娜·罗梅罗 , 哈维尔·布莱萨 , 戴维·弗拉贾 , 胡安·卡洛斯·瓦列霍 , 阿尔瓦罗·阿劳霍 , 佩德罗·马拉贡 , 胡安·马里奥·德·戈耶内切 , 丹尼尔·维拉纽埃娃 , 奥克塔维奥·尼托·塔拉德利兹 :
将集群技术用于基于智能摄像头的用户界面。 589-597 何塞·路易斯·卡尔沃·罗勒 , 埃米利奥·科尔查多 :
炼油厂过程的生物激励鲁棒控制器。 598-616 Josune Gallego公司 , 卡门·埃尔南德斯 , 曼努埃尔·格拉尼亚 :
基于形态独立性的形态细胞自动机。 617-624年 布兰卡案件 , 以色列雷博洛·鲁伊斯 , 曼努埃尔·格拉尼亚 :
解释紧急情况下人类行为的混合空间-社会-逻辑模型。 625-633 米洛斯·库德尔卡 , 兹德内克·霍拉克 , 瓦克拉夫·斯纳塞尔 , 帕维尔·克罗默 , 简·柏拉图 , 阿吉斯·亚伯拉罕 :
合著网络的社交和群体方面。 634-643
第20卷第4期,2012年8月
伊利亚·贝尔蒂尼 , 马蒂奥·德费利塞 , 亚历山德罗·帕尼切利 , 斯特凡诺·皮苏蒂 :
使用软计算方法优化联合循环电厂的启动操作。 648-656 艾琳·迪亚斯 , 路易斯·罗德里格斯-穆尼兹 , 路易吉·特罗亚诺 :
数据保护中的模糊集:策略和基数。 657-666 里萨德·贾尼基 , 云斋 :
基于成对比较的一致非数值排名。 667-676 托马斯·卡普扎克 , Krzysztof Walkowiak公司 , 米查尔·沃兹尼亚克 :
多分类器系统覆盖分布式计算系统的优化——启发式方法。 677-688 安吉洛·科斯塔 , 保罗·诺维斯 , 胡安·科尔查多 , 何塞·内维斯 :
通过使用智能议程,提高医院的绩效和更好的患者出勤率。 689-698 安吉尔·阿罗约 , 埃米利奥·科尔查多 , 维罗尼卡·特里西奥 :
用于分析大气污染问题的软计算模型。 699-711 胡安·弗朗西斯科·德·帕斯 , 马丁·纳瓦罗 , 克里斯蒂安·平佐 , 维森特·朱利安 , 但丁·I·塔皮亚 , 哈维尔·巴霍 :
安全环境中时间有界分类器的数学模型。 712-721 大卫·L·冈萨雷斯-阿尔瓦雷斯 , 阿尔瓦罗·卢比奥·拉戈 , 米盖尔·维加·罗德里格斯 , Sónia M.Almeida-Lus公司 , 胡安·安东尼奥·戈麦斯·普里多 , 胡安·曼努埃尔·桑切斯·佩雷斯 :
使用并行进化算法团队解决报告单元问题。 722-731 拉德哈·桑加拉吉 , Millie长裤 , 帕斯卡·布夫里 , 阿吉斯·亚伯拉罕 :
使用改进的差分进化算法求解随机规划问题。 732-746 乔安娜·戈林斯卡·皮拉雷克 , 埃米利奥·穆尼奥斯·韦拉斯科 , 安吉尔·莫拉·波尼利亚 :
模态逻辑K的关系对偶表决策过程。 747-756 哈维尔·塞达诺 , 何塞·拉蒙·维拉尔 , 莱蒂西亚·居里 , 埃米利奥·科尔查多 , 恩里克·德拉·卡尔 :
建筑节能模糊控制的学习和培训技术。 757-769
第20卷第5期,2012年10月
克里斯托夫·贝尔 , 加布里埃尔·克恩·伊斯伯纳 :
编辑:知识表示和学习的关系方法。 771-773
海瑟姆·O·伊斯梅尔 :
日志 A类 B: 信仰的一阶非悖论代数逻辑。 774-795 延斯·菲舍勒 :
一阶概率条件逻辑和最大熵。 796年至830年 马克·芬塔默 , 马蒂亚斯·蒂姆 :
概率关系推理的集成开发环境。 831-871 马蒂亚斯·蒂姆 , 加布里埃尔·克恩·伊斯伯纳 :
关系条件逻辑中的概率推理。 872-908 丹尼尔·贝克 , 格哈德·莱克梅耶 :
Golog程序的一阶状态抽象强化学习。 909-942 帕特里克·克伦佩尔曼 :
扩展逻辑程序序列的依赖语义。 943-966
第20卷第6期,2012年12月
默多克·詹姆斯·加巴伊 :
元变量作为名词术语统一和重写的无限列表。 967-1000 塔雷克·赛义德·艾哈迈德 :
无类型逻辑的三个插值定理。 1001-1037 路易斯·伊图里奥斯 :
两个旧的表示定理和信息系统。 1038-1045 克劳斯·佩特·沃思 :
计算机辅助的人性化归纳定理证明 降落伞 -宣言。 1046-1063 加博尔·萨吉 , 多罗蒂亚·斯齐拉基 :
从代数逻辑的角度看沃特猜想的一些变体。 1064-1082 斯特芬·莱维茨卡 :
构造一阶非Fregean逻辑的规范模型,其中包含一个连接词作为参考,一个全真值谓词。 1083-1109 安娜·切尔尼洛夫斯卡娅 , 迈·盖尔克 , 洛里恩·范·罗伊扬(Lorijn van Rooijen) :
Lambek-Grishin演算的广义Kripke语义。 1110-1132 埃尔南·德拉维加 :
正规和完全布尔模糊代数和MV-pairs。 1133-1152 于。 M.莫夫西扬 , V.A.阿斯兰扬 :
德摩根代数的超恒等式。 1153-1174 大卫·恩里克斯 , 曼努埃尔·比斯凯亚 , 佩德罗·巴尔塔扎尔 , 保罗·马特乌斯 :
随机系统ω-正则性质的可判定性和复杂性。 1175-1201 穆罕默德·阿尔德斯希尔 , 瓦希德·瓦齐安 :
Sambin和Visser基本逻辑的统一。 1202-1213 M.扎耶德 , A.Y.Abdelwanis(阿卜杜勒瓦尼斯) :
Rothmaler定理的应用。 1214-1219