65.生日: 弗拉基米尔·利夫希茨 2012
伊斯娃·爱德姆 , 李佐雄 , 尤利亚·利勒 , 大卫·皮埃尔斯 :
正确的推理——为纪念弗拉基米尔·利夫施奇茨撰写的基于逻辑的人工智能论文。 计算机科学课堂讲稿 7265, 施普林格 2012 ,国际标准图书编号 978-3-642-30742-3 杰克·明克 :
致弗拉基米尔·利夫希茨(Vladimir Lifschitz)65岁生日。 1-13 内拉坎坦·卡塔 , 伊斯娃·爱德姆 , 李佐雄 , 保罗·法拉利 , 万万人 , 尤利亚·利勒 , 杨芳凯 , 阿尔伯特·隆丹 :
弗拉基米尔·利夫希茨-65岁的年轻人。 14-23 马塞洛·巴尔杜奇尼 :
用非随机函数扩展答案集编程的“保守”方法。 24-39 奇塔·巴拉尔 , 马科斯·阿尔瓦雷斯·冈萨雷斯 , 亚伦·戈特斯曼 :
类型化一阶逻辑Lambda演算的逆Lambda算法及其在英译FOL中的应用。 40-56 林戈·鲍曼 , 格哈德·布鲁卡 , 沃尔夫冈·德沃拉克 , 斯特凡·沃尔特兰 :
参数化拆分:一种简单的基于修改的方法。 57-71 尼古拉·比约纳 , 吉多·德·卡索 , 尤里·古雷维奇 :
从具有单个变量的原始信息逻辑到数据日志。 72-86 亚历山大·波奇曼 :
逻辑编程逻辑中的这里和那里。 87-101 佩德罗·卡巴拉尔 :
因果逻辑编程。 102-116 安德烈亚·卡奥 , 乔治·戈特洛布 , 乔治·奥尔西 , 安德烈亚斯·皮利斯 :
本体查询中存在规则与等式约束的相互作用。 117-133 陈晓平 , 金国强 , 杨芳凯 :
通过形式化复合动作来扩展动作语言$\mathcal{C}+$。 134-148 斯蒂芬妮娅·科斯坦蒂尼 , 安德烈亚·福米萨诺 , 大卫·皮埃尔斯 :
RASP程序的强等效性。 149-163 詹姆斯·德尔格兰德 :
行动理论中信念修正的思考。 164-177 马克·德内克 , 莫里斯·布吕诺格 , Joost Vennekens公司 :
近似不动点理论与逻辑和答案集程序的语义。 178-194年 尤尔根·迪克斯 , 沃尔夫冈·法伯 , V.S.Subrahmanian公司 :
使用多控制系统和默认逻辑保护隐私。 195-210 托马斯·艾特 , 克里斯蒂娜·费尔 , 迈克尔-芬克 :
使用ACTHEX模拟生产规则。 211-228 伊斯娃·爱德姆 , 沃尔坎·帕托格鲁 :
动作语言在认知机器人中的应用。 229-246 沃尔夫冈·费伯 , 尼古拉·利昂 , 西蒙娜·佩里 :
DLV的智能根基。 247-264 路易斯·法利尼亚斯·德尔·塞罗 , 大卫·皮埃尔斯 , 阿古斯汀·瓦尔维德 :
双状态逻辑。 265-278 Dov M.Gabbay公司 :
逻辑程序设计的等式方法。 279-295 马丁·格布瑟 , 罗兰·考夫曼 , 托尔斯滕·绍布 :
为有效的ASP规划做好准备。 296-310 亚娜·托多罗娃 , 迈克尔·盖尔丰德 :
走向旅游领域的问答。 第311页至第326页 恩里科·金奇利亚 , 马可·马拉特 :
定性偏好可满足性问题的求解算法。 327-344 井上胜美 , 恰基·萨卡马 :
逻辑程序的振荡行为。 345-362 托米·詹胡宁 , 伊尔卡·尼梅尔 :
在答案集程序转换中应用可视强等价。 363-379 纪建民 , 林芳珍 :
从特纳的普遍因果逻辑到GK的逻辑。 380-385 内拉坎坦·卡塔 :
Lifschitz和界限。 386-389 弗拉基克·克雷诺维奇 :
物理学中非单调推理的形式化:基于物理归纳的逻辑方法及其与科尔莫戈洛夫复杂性的关系。 390-404 李佐雄 :
在答案集编程中改写动作语言C++。 405-421 赫克托·J·列夫斯克 , 格哈德·莱克梅耶 :
违约真相。 422-435 尤利亚·利勒 , 彼得·施勒 :
通过答案集编程中的规划分析组合范畴语法。 436-453 豪尔赫·洛博 , 马洁菲 , 亚历山德拉·拉索 , 弗兰克·勒 :
声明性分布式计算。 454-470 维克托·马雷克 , 杰弗里·伦梅尔 :
带有集合约束的析取程序。 471-486 格里戈里造币厂 :
直觉主义命题公式的哥德尔-塔斯基翻译。 487-491 约翰内斯·奥茨 , 约尔格·普勒 , 汉斯·托姆皮茨 :
描述逻辑程序的逐步调试。 492-508年 恩里科·蓬泰利 , Tran Cao儿子 , 奇塔·巴拉尔 , 格雷戈里·盖尔芬德 :
答案集编程和规划,在多代理域中使用知识和世界改变动作。 509-526 汉内斯·斯特拉斯 , 迈克尔·泰尔舍尔 :
关于动作的默认推理语言。 527-542 米罗斯瓦·特鲁兹琴斯基 :
通过Reducts连接一阶ASP和逻辑FO(ID)。 543-559 桑迪普·钦塔巴蒂纳 , 理查德·沃森 :
动作语言H的新化身。 560-575 嘉惠游 , 易东申 , 王克文(Kewen Wang) :
具有广义规则的逻辑程序的良好支持语义。 576-591
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)