西尔维奥·吉拉尔迪（编辑）;罗伯托·塞巴斯蒂亚尼（编辑） 组合系统的前沿。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。 （英语） Zbl 1178.68010号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。x、 第383页。(2009). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（参见Zbl 1143.68008号).索引文章：托马斯·艾特；格哈德·布鲁卡（Gerhard Brewka）；越南Dao Tran；迈克尔·芬克；乔瓦姆巴蒂斯塔·伊安尼；托马斯·克伦瓦尔纳，将非单调知识库与外部资源相结合，18-42[Zbl 1193.68242号]鲍里斯·莫提克，结合描述逻辑、描述图和规则，43-67[Zbl 1193.68244号]阿什什·蒂瓦里，结合方程式推理，68-83[Zbl 1193.68239号]恩斯特·阿尔特豪斯；叶夫根·克鲁格洛夫（Evgeny Kruglov）；克里斯托夫·韦登巴赫，叠加模线性算术SUP（LA），84-99[Zbl 1193.03024号]阿南塔拉曼，湿婆；林，海；克里斯托弗·林奇；巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇，统一模同态加密，100-116[Zbl 1193.68231号]Aoto、Takahito；山田，Toshiyuki，简单类型依赖项对的参数筛选和可用规则，117-132[Zbl 1193.68142号]亚历山德罗·阿塔尔；孔查科夫，罗马人；弗拉迪斯拉夫·里日科夫；迈克尔·扎克哈里亚舍夫，DL-Lite，具有时间化的概念、严格的公理和角色，133-148[Zbl 1193.68232号]弗兰茨·巴德；安德烈亚斯·鲍尔；马赛尔·利普曼，使用时间描述逻辑进行运行时验证，149-164[Zbl 1193.68160号]菲利普·巴尔比亚尼，模态逻辑词汇产品的公理化和完备性，165-180[Zbl 1193.03035号]纪尧姆·伯勒，《直觉逻辑中的自动化理论》，181-197年[Zbl 1193.03026号]克莱尔·狄克逊；Michael Fisher；鲍里斯·科涅夫，《驯服时间认知推理的复杂性》，198-213[兹比尔1193.03052]康拉德·德雷舍尔；刘洪凯；弗兰茨·巴德；斯蒂芬·古勒曼（Steffen Guhlemann）；乌韦·彼得森；彼得·斯坦克（Peter Steinke）；迈克尔·泰尔舍尔，将ABox更新付诸行动，214-229[Zbl 1193.68233号]康拉德·德雷舍尔；斯蒂芬·希费尔；迈克尔·泰尔舍尔，一种基于动作理论的声明性代理编程语言，230-245[Zbl 1193.68234号]弗朗西斯科·杜兰；萨尔瓦多卢卡斯；何塞·梅塞盖尔，方程理论的终止模组合，246-262[Zbl 1193.68145号]帕斯卡·方丹，一阶逻辑可判定片段的理论组合，263-278[Zbl 1193.03020号]阿吉·库鲁茨，对角常数的模态逻辑的乘积缺少有限模型属性，279-286[Zbl 1193.03041号]斯特凡·莱斯库耶；Sylvain Conchon公司，使用惰性CNF转换方案改进Coq命题推理，287-303[Zbl 1193.68225号]克里斯托弗·林奇；拉尔夫·埃里克·麦格雷戈，结合实例生成和解析，304-318[Zbl 1193.03028号]恩里卡·尼科里尼；克里斯托夫·林盖森（Christophe Ringeissen）；米歇尔·鲁西诺维奇，带算术约束的数据结构：非不相交组合，319-334[Zbl 1193.68090号]彼得·塞德里克；尤塞夫·哈马迪；拉赫达尔·塞伊斯，MUS计算决策程序的有效组合，335-349[Zbl 1193.68226号]卢卡·普利纳（Luca Pulina）；阿曼多·塔切拉，学习在量化布尔公式的推理中集成演绎和搜索，350-365[Zbl 1193.68214号]Thomas Wies；鲁齐卡皮斯卡；维克多·昆卡，将理论与共享集运算相结合，366-382[Zbl 1193.03030号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68泰克 人工智能 00B25型 杂项特定利益的会议记录 引文：Zbl 1143.68008号 软件：Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}（编辑）和\textit{R.Sebastiani}。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（2009；Zbl 1178.68010） 全文： 内政部