ACM计算逻辑汇刊（TOCL），第7卷
第7卷第1期，2006年1月
托米·詹胡宁 , 伊尔卡·尼梅尔 , 迪特马尔·塞佩尔 , 帕特里克·西蒙斯 , 嘉惠游 :
在稳定模型语义中展开偏爱和析取。 1-37 黛博拉东区 , 米罗斯瓦·特鲁兹琴斯基 :
基于谓词计算的逻辑，用于建模和解决搜索问题。 38-83 保罗·利伯拉托雷 :
DPLL和分辨率的复杂性。 84-107 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
单声道时间分辨率。 108-150 尤尔根·迪克斯 , 萨里特·克劳斯 , V.S.Subrahmanian公司 :
异构时间概率代理。 151-198
第7卷第2期，2006年4月
罗素·英帕利亚佐 
, 内森·塞格林德 :
具有计数公理多项式的等深Frege系统模拟了Nullstellensatz反驳。 199-218 保罗·科波拉 , 马提尼 :
优化最优约简：初等仿射逻辑的类型推理算法。 219-260 弗拉基米尔·利夫希茨 , 亚历山大·拉兹博罗夫 :
为什么有这么多循环公式？ 261-268 阿戈斯蒂诺·多维尔 , 安德烈亚·福米萨诺 , 尤金尼奥·奥莫多 :
含原子集的可判定性结果。 269-301 乔治·贾帕里泽 :
命题可计算逻辑I。 302-330 乔治·贾帕里泽 :
命题可计算逻辑2。 331-362 安德烈亚斯·布拉斯 , 尤里·古雷维奇 :
普通交互式小步算法，I。 363-419
第7卷第3期，2006年7月
张燕（音译） :
基于逻辑程序的更新。 421-472 安德烈·穆拉夫斯基 , C.-H.卢克·翁 :
通过IMLL快速验证MLL证明网络。 473-498 尼古拉·利昂 , 杰拉尔德·菲弗 , 沃尔夫冈·费伯 , 托马斯·艾特 , 乔治·戈特洛布 , 西蒙娜·佩里 , 弗朗西斯科·斯卡切罗 :
用于知识表示和推理的DLV系统。 499-562 斯特凡诺·比斯塔雷利 , 乌戈·蒙塔纳里 , 弗朗西丝卡·罗西 :
软并发约束编程。 563-589 亚瑟·查尔斯沃思 :
理解软件正确性意味着理解与智能相关的限制。 590-612
第7卷第4期，2006年10月
Tran Cao儿子 , 奇塔·巴拉尔 , Tran Hoai Nam公司 , 希拉·麦克拉伊思 :
答案集规划中的领域相关知识。 613-657 劳伦斯·保尔森 :
在等价类上定义函数。 658-675 克里斯托弗·斯通 , 罗伯·哈波 :
扩展等价和单例类型。 676-722 斯特凡·拉思坎（Stefan Ratschan） :
有效解决实数上的量化不等式约束。 723-748 史提芬·古克 , 尼尔·萨彭 :
弱运算中替换的强度。 749-764 Joost Vennekens公司 , 大卫·吉利斯 , 马克·德内克 :
拆分操作符：代数模块化是具有不动点语义的逻辑的结果。 765-797 朱尔斯·德沙奈斯 , 伯恩哈德·莫勒 , 乔治·斯特鲁斯 :
带域的Kleene代数。 798-833
