毛里齐奥·加布里埃利（编辑）；戈帕尔·古普塔（编辑） 逻辑编程。2005年10月2日至5日在西班牙西奇举行的第21届国际会议，ICLP 2005。诉讼程序。 （英语） Zbl 1086.68004号 计算机科学课堂讲稿3668.柏林：施普林格出版社（ISBN 3-540-29208-X/pbk）。xiv，454页。(2005). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1056.68006号).索引文章：伊恩·霍洛克斯，OWL：一种基于描述逻辑的本体语言（扩展抽象），1-4[Zbl 1165.68512号]弗朗西丝卡·罗西，偏好推理，5-8[Zbl 1165.68414号]Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；Michael Maher；Kim万豪酒店；约翰·斯莱尼；佐尔坦·索莫吉；马克·华莱士；托比·沃尔什，G12项目：将求解器独立模型映射到高效解决方案，9-13[Zbl 1165.68517号]沃尔特·威尔逊。，对复杂业务规则使用逻辑编程，14-20[Zbl 1165.68518号]JoséF.Morales。；Manuel Carro；普埃布拉，Germanán；曼努埃尔五世（Manuel V.Hermenegildo）。，高效抽象机器实现的生成器及其在模拟器最小化中的应用，21-36[兹比尔1165.68336]恩里科·金奇利亚（Enrico Giunchiglia）；马可·马拉提亚，关于答案集和SAT程序之间的关系（或CMODELS和SMODELS之间的关系），37-51[Zbl 1165.68488号]Baselice，S。；博纳蒂，P.A。；Gelfond，M。，走向答案集和约束求解的集成，52-66[Zbl 1165.68481号]阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利，比较CLP（FD）和ASP解决NP完全问题的解决方案，67-82[兹比尔1165.68486]乔恩·斯奈尔斯；汤姆·施里杰弗斯（Tom Schrijvers）；巴特·德梅恩CHR发生表示的保护和延续优化，83-97[Zbl 1165.68348号]佐治亚州贾法；Yap，Roland H.C。；Zhu，Kenny Q。，多个代理的协调，98-112[Zbl 1165.68514号]托姆·吕维思，使用汇流分析在约束处理规则中并行union-find，113-127[Zbl 1165.68331号]Wielemaker，简，Prolog中优化的语义web查询语言实现，128-142[Zbl 1165.68350号]卢卡·博托卢西（Luca Bortolussi）；赫伯特，威克利基，一种分布式概率并发约束编程语言，143-158[Zbl 1165.68325号]克里斯蒂安森（Christiansen），亨宁（Henning）；维罗妮卡·达尔，HYPROLOG:一种带有假设和推理的新逻辑编程语言，159-173[Zbl 1165.68327号]迈克尔·马赫（Michael J.Maher）。，线性算术约束的推导，174-188[Zbl 1165.68493号]汉斯·托姆皮茨（Hans Tompits）；斯特凡·沃尔特兰《面向应答集编程中高级等价检查的实现》，189-203[Zbl 1165.68495号]萨阿德、埃马德；恩里科·蓬泰利，具有非单调否定的混合概率逻辑程序，204-220[Zbl 1165.68343号]尼古拉·佩洛夫；尤金妮亚·特诺夫斯卡，将归纳定义简化为命题可满足性，221-234[Zbl 1165.68494号]Diptikalyan Saha；罗摩克里希南。，符号支持图：用于增量表评估的节省空间的数据结构，235-249[Zbl 1165.68377号]里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔，表格逻辑程序的动态混合策略评估，250-264[Zbl 1165.68342号]伯恩德·布拉埃尔；迈克尔·哈纳斯，功能逻辑程序的非确定性分析，265-279[Zbl 1165.68326号]约翰·加拉赫（John P.Gallagher）。；Henriksen，Kim S。；古里纳斯·班达，基于预解释的放大分析技术，280-296[兹比尔1165.68332]阿杰·马利娅，演绎多值模型检查，297-310[Zbl 1165.68409号]阮曼丹；丹尼·德·施雷耶，多项式解释作为逻辑程序终止分析的基础，311-325[Zbl 1165.68337号]科迪什，迈克尔；维塔利湖；彼得·斯图基（Peter J.Stuckey）。，带单调性约束的终止测试，326-340[兹比尔1165.68328]佐奥州阿尔坎塔拉；达马西奥（Damásio）、卡洛斯·维加斯（Carlos Viegas）；路易斯·莫尼兹·佩雷拉，具有析取的基础良好的语义，341-355[Zbl 1165.68323号]段振华；杨晓晓；马西耶·库特尼，框架时序逻辑程序的语义，356-370[Zbl 1165.68329号]戈帕兰·纳达图尔；娜塔莉·林内尔，实用高阶模式与空中提升的统一，371-386[Zbl 1165.03330号]萨卡，苏斯米特；碧姬·品特卡；卡尔·克里，LF的小型证人，387-401[Zbl 1165.68344号]艾曼纽尔·科奎尔；弗朗索瓦·法赫斯，CHR的A型系统，402-403[Zbl 1165.68485号]普埃布拉，Germanán；艾尔维拉·阿尔伯特；曼纽尔·赫尔梅内吉尔多，逻辑程序分析和专业化的通用框架，407-409[兹比尔1165.68340]奥利弗·雷，在Horn子句逻辑中回答查询时需要祖先解析，410-411[兹比尔1165.68471]佐治亚州贾法；安德鲁·桑托萨（Andrew E.Santosa）。；沃伊库，勒兹万，CLP中的建模系统，412-413[Zbl 1165.68334号]诺米科斯、克里斯托斯；Rondogiannis，Panos；威廉·沃奇（William W.Wadge）。，在有充分依据的语义下强等价的一个充分条件，414-415[Zbl 1165.68339号]里卡多·罗查；洛佩斯，里卡多；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔，IMPACT：Prolog的创新模型，具有高级控制和制表功能，416-417[Zbl 1165.68341号]亚历山大·塞迪。，使用CLP描述文本挖掘过程中的语言格边界，418-420[Zbl 1165.68428号]托尼·兰伯特（Tony Lambert）；卡洛斯·卡斯特罗；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；沙特，弗雷德里克，BACP的遗传算法和约束传播的混合，421-423[Zbl 1165.68491号]格格利·卢卡西（Gergely Lukácsy）；兹索尔特·纳吉，Datalog中的开放世界推理，427-428[Zbl 1165.68335号]Békés，András G。，优化异构信息源的查询，429-430[Zbl 1165.68324号]马库斯·维尼修斯·桑托斯，使用Horn并发事务逻辑的表示语义，431-432[Zbl 1165.68395号]汤姆·施里杰弗斯，约束处理规则的分析、优化和扩展：博士总结，435-436[Zbl 1165.68346号]费德里科·切萨尼，交互协议的形式化和验证，437-438[Zbl 1165.68318号]里卡多·科林；阿里·萨普塔维贾亚；桑德罗·埃塔利，\（\mathcal{PS}\）-LTL用于基于约束的安全协议分析，439-440[兹比尔1165.68319]罗马辛德劳，用于语义网的非单调逻辑程序，446-447[Zbl 1165.68345号]乔恩·斯奈尔斯，CHR程序的分析和优化，450-451[兹比尔1165.68347] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68N17号 逻辑编程 00B25型 杂项特定利益的会议记录 引文：Zbl 1056.68006号 软件：HYPROLOG公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}（编辑）和\textit{G.Gupta}（主编），逻辑编程。2005年10月2日至5日在西班牙西奇举行的第21届国际会议，ICLP 2005。诉讼程序。柏林：施普林格出版社（2005；Zbl 1086.68004） 全文： 内政部