应用逻辑杂志,第13卷
第13卷第1期,2015年3月
简·A·伯格斯特拉 , 科内利斯·A·米德尔堡 :
在非进化草甸中被零除。 1-12 洛伦佐·马格尼 :
逻辑自然化:证明推理错误:逻辑重新确立认知科学的地位。 13-36 何塞·路易斯·卡尔沃·罗勒 , 赫克特·昆蒂安·帕尔多 , 埃米利奥·科尔查多 , 玛丽亚·德尔·卡门·梅佐索·洛佩斯 , 拉蒙·费雷罗·加西亚 :
基于智能模型的简化方法,以获得具有电阻和电感负载的单相半波可控整流器的电流消光角。 37-47 佐·克里斯托夫 , 延斯·乌尔里克·汉森 :
社交网络中传播的逻辑。 48-77 费尔南多·托梅 , 吉安卢卡·卡特里娜 , Rocco恒河 :
绑架:一种分类描述。 78-90
第13卷第2期A部分,2015年6月
阿尔瓦罗·埃雷罗 , 瓦克拉夫·斯纳塞尔 , 阿吉斯·亚伯拉罕 , 伊凡·泽林卡 , 布鲁诺·巴鲁克 , 赫克特·昆廷 , 何塞·路易斯·卡尔沃·罗勒 , 哈维尔·塞达诺 , 安德烈·卡瓦略 , 埃米利奥·科尔查多 :
特别发行SOCO12。 91-93
维莱姆·诺瓦克 , 彼得·赫蒂克 , 哈希姆·哈比巴拉 , 马丁·斯特普尼卡 :
基于数学模糊逻辑分析的受损字母识别。 94-104 彼得里卡·波普 , Camelia-Mihaela品茶 , 科琳娜·波普·西塔 , 玛拉·哈杜·马塞拉鲁 :
解决可持续供应链网络设计问题的高效逆向分销系统。 105-113 米凯尔·拉雷亚·苏基亚 , 伊凯茨·拉扎巴尔 , 伊洛伊·伊里戈延 , 胡安·何塞·瓦莱拉·加西亚 , 马丁·登达卢斯 :
在工业控制器上实现和测试基于软计算的模型预测控制。 114-125 米罗斯拉夫·布尔萨 , 伦卡·洛茨卡 , 瓦茨拉夫·查德塞克 , 吉里·斯皮尔卡 , 彼得·扬库 , 卢卡斯·赫鲁班 :
从医院信息系统检索信息:使用群智能提高效率。 126-137 德拉甘·西米奇 , 瓦萨·斯维切维奇 , 斯维特兰娜·西米奇 :
入境物流中供应商评估和选择的混合进化模型。 138-147 贾娜·诺瓦科娃 , 米罗斯拉夫·波科恩 , 马丁派 :
基于Takagi-Sugeno模糊模型的常规控制器设计。 148-155 伊凡·泽林卡 , 唐纳德·大卫·达文德拉 , 罗曼·森克里克 , 米查尔·普卢哈切克 :
化学反应器的进化预测控制研究。 156-166
何塞·路易斯·卡尔沃·罗勒 , 赫克特·昆蒂安·帕尔多 , 埃米利奥·科尔查多 , 玛丽亚·德尔·卡门·梅佐索·洛佩斯 , 拉蒙·费雷罗·加西亚 :
基于智能模型的简化方法,以获得具有电阻和电感负载的单相半波可控整流器的电流消光角。 167
第13卷第2期B部分,2015年6月
第13卷第3期,2015年9月
Krzysztof Petelczyc公司 , 马吕斯·泽内尔 :
射影空间和格拉斯曼空间中点子集的补。 169-187 吉尔曼·佩耶特 :
反射规则:关于推广演绎定理的注释。 188-196 安德烈·瓦西利琴科 :
朝向投射识别的逻辑。 197-214 伍锡公园 :
关于绑架的分类。 215-238 奥登·斯托尔佩 :
输入/输出逻辑的概念方法。 239-258 让·B·恩加诺 , Serge F.T.特布 :
拓扑FL 电子战 -代数。 259-269 安东尼奥·迪·诺拉 , 雷瓦兹·格里戈利亚(Revaz Grigolia) :
哥德尔空间和完美MV-代数。 270-284 洛伦佐·马格尼 :
诱拐的生态认知模型:παγωγ_3 now:将诱拐的逻辑自然化。 285-315 埃里克·安德烈·马丁 :
逻辑编程作为经典推理。 316-369 YN.Wang , 托马斯·奥戈特斯 :
动态认知逻辑的相关常识。 370-393
第13卷,第4期,第1部分,2015年12月
路易斯·戈多 , 亨利·普拉德 , 桂林齐 :
人工智能加权逻辑-2。 395-396 瓦夏克·贝勒 , 赫克托·J·列夫斯克 :
情境演算中的机器人位置估计。 397-413 尼科·波提卡 , 克里斯托夫·贝尔 , 加布里埃尔·克恩·伊斯伯纳 :
在最佳熵语义下,关系概率信度状态的演化及其变化的计算的概念。 414-440 劳伦斯·霍尔维 :
走向逻辑信念函数理论。 441-457 亨利埃塔·爱 , 乔纳森·劳里 :
非精确断言策略的Dempster-Shafer模型。 458-479 安德烈亚斯·埃克 , 拉斐尔·佩尼亚洛萨 , 安妮·亚斯敏·图尔汗 :
基于相似性的轻松实例查询。 480-508 安德烈亚·科恩 , 塞巴斯蒂安·戈蒂弗雷迪 , 亚历杭德罗·哈维尔·加西亚 , 吉列尔莫·里卡多·西马里 :
一种具有递归攻击和支持的抽象论证方法。 509-533 马克西米利亚诺·塞尔莫·巴丹 , 毛罗·哈维尔·戈梅斯·卢塞罗 , 伊格纳西奥·达里奥·维格利佐 , 吉列尔莫·里卡多·西马里 :
一个有标签的论证框架。 534-553
第13卷第4期第2部分,2015年12月
克里斯托夫·贝尔 , 科里·J·布茨 , 苏希拉·卡奇 :
FLAIRS的不确定性推理。 555-556 尼古拉斯·马特伊 , 朱迪·戈德史密斯 , 安德鲁·克拉珀 , 马丁·蒙德亨克 :
关于不确定信息比赛中贿赂和操纵的复杂性。 557-581 Ofer Arieli公司 :
约束论证框架的无冲突和容错语义。 582-604 克里斯蒂安·艾奇霍恩 , 加布里埃尔·克恩·伊斯伯纳 :
使用归纳推理完成OCF网络。 605-627 帕罗特·拉特纳宾达 , 马雷克·德鲁兹泽尔 :
从连续数据流中学习离散贝叶斯网络参数:最佳策略是什么? 628-642
第13卷第4期第3部分,2015年12月
斯嘉丽·刘 , 马克·艾伯特·惠蒂 :
基于SVM分类器的葡萄园葡萄丛自动检测。 643-653 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) , Yong Zhou(永州) :
公理化Lüttgen&Vogler对CLL中有限过程的就绪模拟 R(右) . 654-675 曼弗雷德·埃普 , 梅胡尔·巴特 :
使用答案集编程进行近似后置推理。 676-719 曼弗雷德·埃普 , 梅胡尔·巴特 :
一种基于历史的近似认知行为理论,用于有效的后置推理。 720-769 费萨尔·图阿兹 , 克劳德特·凯洛尔 , 迪迪埃·杜布瓦 :
具有偏序信念的可能性推理。 770-798 尼西姆·弗朗西兹 :
限定词的一个证明理论的普遍性质。 799-808 斯蒂芬·塞莱斯尼克 , J.P.罗林 :
计算标准模型的拉格朗日函数。 809-824 安纳托利·德武雷岑斯基 :
词汇伪MV-代数。 825-841