应用非经典逻辑杂志,第33卷
第33卷第1期,2023年1月
阿纳斯·查菲克 , 法希玛·谢赫·阿利利 , Jean-François Condotta女士 , 伊万·瓦尔津扎克 :
可延迟线性时序逻辑。 1-51 翁贝托·里维奇奥 :
准Nelson碎片:残差。 52-119
第33卷第2期,2023年4月
第33卷,第3-4期,2023年10月
西尔维·多特 , 安德烈亚斯·赫齐格 , 安东尼·亨特 :
逻辑、论点和矛盾:为纪念菲利普·贝斯纳德而举行的节日庆典介绍。 207-211 亨利·仆拉肯 :
论证什么时候是演绎的? 212-223 弗朗西丝卡·托尼 , 安东尼奥·拉戈 , 克里斯蒂约纳斯·塞拉斯 :
利用基于陪审团的概率论证进行预测。 224-243 西尔维·多特 , Marie-Christine Lagasquie-Schiex女士 :
RAF分隔器 :在高阶抽象论证框架中计算语义的分布式算法。 244-297 沃尔夫冈·德沃拉克 , 阿特菲赫·凯沙瓦尔齐·扎法尔甘迪 , 斯特凡·沃尔特兰 :
三值语义下SETAF和无支持ADF的表达性。 298-327 伊莉丝·邦松(Elise Bonzon) , 杰尔·德罗贝尔 , 塞巴斯蒂安·科尼奇尼 , 尼古拉斯·莫代特 :
抽象论证中基于等级的语义的实证和公理比较。 328-386 马塞洛·A·法拉帕 , 亚历杭德罗·哈维尔·加西亚 , 吉列尔莫·里卡多·西马里 :
在配备论证推理的分层信念基础上合并算子。 387-420 伊莎贝尔·布洛赫 , 杰罗姆·朗 , 拉蒙·皮诺·佩雷斯 , 卡洛斯·乌兹卡特吉 :
知识动力学的形态学:修正、融合和溯源。 421-466 佛罗伦萨·杜宾·德圣-西尔 , 亨利·普拉德 :
信仰修正与不一致:这是一个玩笑吗? 467-494 阿维德·贝克尔 , 佩德罗·卡巴拉尔 , 马丁·迪盖兹 , 路易斯·法利尼亚斯·德尔·塞罗 , 托尔斯滕·绍布 , 安娜·舒曼 :
度量动态平衡逻辑。 495-519 玛尔塔·西亚尔达·梅耶尔 , 路易斯·法利尼亚斯·德尔·塞罗 :
两状态语义的逻辑连接词。 520-536 约翰·格兰特 :
假设满足单调逻辑和数据库中的不一致性度量。 537-560 Sihem Belabbes教堂 , 塞勒姆·本费哈特 :
在部分排序的不一致DL-Lite知识库中选择接受的断言。 561-581 迪迪埃·杜布瓦 , 路易斯·戈多 , 亨利·普拉德 :
一种基本的信念函数逻辑。 582-605 马丁·吉斯 , 汉斯·托姆皮茨 :
有限值非确定性逻辑的序列型拒绝系统。 606-640 托马斯·古耶特 :
将时间序列概括为编年史是可以接受的。 641-653
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)