帕特里克·布莱克本（编辑）;托马斯·博兰德（编辑）;托本·布吕纳（编辑）;瓦莱里亚·德·佩瓦（编辑）;约根·维拉德森（编辑） 混合逻辑国际研讨会论文集（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。 （英语） Zbl 1273.68016号 理论计算机科学电子笔记174，第6号。阿姆斯特丹：爱思唯尔。148页。，仅电子版（2007年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于第三次研讨会，请参阅[Zbl 0988.03500号].索引文章：伊恩·霍洛克斯（Ian Horrocks）；格利姆，伯尔特；乌尔里克·萨特勒，混合逻辑和本体语言，3-14[兹比尔1278.68287]Hardt，Moritz；格特·斯莫尔卡，混合逻辑的高阶语法和饱和算法，15-27[Zbl 1278.03042号]Martin Mundhenk；托马斯·施耐德，多模混合逻辑的不确定性，29-43[Zbl 1278.03047号]Nicole Bidoit；达里奥·科拉佐，测试XML约束可满足性，45-61[Zbl 1278.68074号]安德烈·普拉泽，面向混合动态系统的混合动态逻辑，63-77[Zbl 1278.03048号]10 Cate，Balder；塔德乌兹·利塔克，混合证明规则的拓扑透视，79-94[Zbl 1278.03051号]三野胜彦，非自反模态逻辑的混合，95-111[Zbl 1278.03045号]托马斯·博兰德（Thomas Bolander）；Hansen，Jens Ulrik；迈克尔·汉森。，混合持续时间演算的可判定性，113-133[Zbl 1278.03040号]杰森·里德，混合逻辑框架，135-148[Zbl 1278.03049号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 68T27型 人工智能中的逻辑 00B25型 杂项特定利益的会议记录 引文：Zbl 0988.03500号 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}（ed.）等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68016） 全文： 链接