埃斯拉·埃尔登（编辑）;Lee，Joohyng先生（编辑）;尤利亚·利勒（编辑）;大卫·皮尔斯（编辑） 正确的推理。关于基于逻辑的人工智能的论文，以纪念Vladimir Lifschitz。 （英语） Zbl 1241.68016号 计算机科学课堂讲稿7265.柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。xi，第594页。(2012). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：杰克·明克尔弗拉基米尔·利夫希茨65岁生日，1-13岁[Zbl 1357.01013号]内拉坎坦省卡塔；埃斯拉·埃尔登；Lee，Joohyung；保罗·费拉里斯；任万万；Yuliya Lierler；杨芳凯；阿尔伯特·罗丹弗拉基米尔·利夫希茨（Vladimir Lifschitz），65岁，14-23岁[Zbl 1357.01006号]马塞洛·巴尔杜奇尼，用非Herbrand函数扩展答案集编程的“保守”方法，24-39[Zbl 1248.68468号]奇塔·巴拉尔；冈萨雷斯、马科斯·阿尔瓦雷斯；亚伦·哥特斯曼，类型化一阶逻辑lambda演算的lambda逆演算算法及其在英译FOL中的应用，40-56[Zbl 1357.68211号]林戈·鲍曼（Ringo Baumann）；格哈德·布鲁卡（Gerhard Brewka）；沃尔夫冈·德沃亚克；斯特凡·沃尔特兰，参数化拆分：一种基于修改的简单方法，57-71[Zbl 1357.68026号]尼古拉·比约纳；吉多·德卡索；尤里·古里维奇，从带有单个变量的原始信息逻辑到数据日志，72-86[Zbl 1357.68212号]亚历山大·波奇曼，逻辑编程逻辑中的这里和那里，87-101[Zbl 1357.68027号]佩德罗·卡巴拉，因果逻辑编程，102-116[兹比尔1357.68028]安德里亚·卡利；乔治·戈特洛布（Georg Gottlob）；乔治·奥尔西；安德烈亚斯·皮耶利斯，论本体查询中存在规则和等式约束的相互作用，117-133[Zbl 1357.68046号]陈小平；金国强；杨芳凯，通过形式化复合动作扩展动作语言\（\mathcal{C}+\），134-148[Zbl 1357.68213号]科斯坦蒂尼，斯蒂芬妮娅；安德烈亚·福米萨诺；大卫·皮尔斯，RASP程序的强等价性，149-163[Zbl 1357.68030号]詹姆斯·德尔格兰德《行动理论中信念修正的思考》，164-177[Zbl 1357.68215号]马克·德内克（Marc Denecker）；莫里斯·布鲁诺（Maurice Bruynooghe）；Joost Vennekens，近似不动点理论与逻辑和答案集程序的语义，178-194[Zbl 1357.68031号]Dix，Jürgen；沃尔夫冈·费伯（Wolfgang Faber）；苏布拉曼尼亚，V.S。，使用多上下文系统和默认逻辑的隐私保护，195-210[Zbl 1357.68216号]托马斯·艾特；克里斯蒂娜·费尔；芬克，迈克尔，使用ACTHEX模拟生产规则，211-228[Zbl 1357.68217号]埃斯拉·埃尔登；沃尔坎州帕托格鲁，动作语言在认知机器人中的应用，229-246[Zbl 1357.68218号]沃尔夫冈·费伯（Wolfgang Faber）；Leone，尼古拉；西蒙娜·佩里，DLV的智能接地，247-264[Zbl 1357.68032号]路易斯·法利尼亚斯·德尔·塞罗；大卫·皮尔斯；阿古斯汀·瓦尔弗德，双状态逻辑，265-278[Zbl 1357.68033号]加贝，多夫·M。，逻辑编程的等式方法，279-295[Zbl 1357.68034号]马丁·格布瑟（Martin Gebser）；罗兰·考夫曼；托尔斯滕·绍布，为有效的ASP规划做好准备，296-310[Zbl 1357.68035号]亚纳托多罗娃；迈克尔·盖尔芬德，面向旅游领域的问答，311-326[Zbl 1357.68233号]恩里科·金奇利亚（Enrico Giunchiglia）；马可·马拉提亚，解决具有定性偏好的可满足性问题的算法，327-344[兹比尔1357.68206]井上、胜美；千木坂间，逻辑程序的振荡行为，345-362[Zbl 1357.68036号]汤米·詹胡宁；伊尔卡·尼梅尔，在答案集程序转换中应用可见强等价，363-379[Zbl 1357.68037号]季建民；林方珍，从特纳的普遍因果逻辑到GK的逻辑，380-385[Zbl 1357.68220号]内拉坎坦省卡塔Lifschitz和限定，386-389[Zbl 1357.68221号]弗拉基克·克里诺维奇《物理学中非单调推理的形式化：基于物理归纳的逻辑方法及其与科尔莫戈洛夫复杂性的关系》，390-404[Zbl 1357.03063号]Lee，Joohyng先生，在答案集编程中重新设置动作语言\（\mathcal{C}+\），405-421[Zbl 1357.68222号]赫克托·J·列夫斯克（Hector J.Levesque）。；莱克迈耶，格哈德，关于违约的真相，422-435[Zbl 1357.68223号]Yuliya Lierler；彼得·舒勒，通过答案集编程中的规划分析组合范畴语法，436-453[Zbl 1357.68256号]Jorge Lobo；马洁菲；俄罗斯，亚历山德拉；法兰克·勒，声明式分布式计算，454-470[Zbl 1357.68139号]维克托·马雷克（Victor W.Marek）。；杰弗里·雷梅尔（Jeffrey B.Remmel）。，带集合约束的析取程序，471-486[Zbl 1357.68038号]格里戈里薄荷，《直觉主义命题公式的哥德尔-塔斯基翻译》，487-491[兹比尔1357.03055]Oetsch，Johannes；普尔，约格；汉斯·托姆皮茨，描述逻辑程序的逐步调试，492-508[Zbl 1357.68039号]恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao；奇塔·巴拉尔；格雷戈里·盖尔芬德，在多个代理域中使用知识和改变世界的动作进行回答集编程和规划，509-526[Zbl 1357.68247号]汉内斯·斯特拉斯（Hannes Strass）；迈克尔·泰尔舍尔，关于动作的默认推理语言，527-542[Zbl 1357.68224号]米罗斯瓦·特鲁什琴斯基，通过还原连接一阶ASP和逻辑FO（ID），543-559[Zbl 1357.68225号]桑迪普·钦塔巴蒂纳；理查德·沃森，动作语言的新化身H，560-575[Zbl 1357.68214号]你，嘉惠；沈义东；王克文，具有广义规则的逻辑程序的良好支持语义，576-591[Zbl 1357.68040号] 引用于12文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68T27型 人工智能中的逻辑 00B30型 费斯特施里夫滕 传记参考： 弗拉基米尔·利夫希茨 PDF格式BibTeX公司 XML格式引用 \textit{E.Erdem}（编辑）等，正确推理。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（2012；Zbl 1241.68016） 全文： DOI程序