×
维罗尼卡·达尔（编辑）;伊尔卡·尼梅尔（编辑）

逻辑编程。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。 （英语） Zbl 1129.68002号

计算机科学课堂讲稿4670.柏林：施普林格出版社（ISBN 978-3-540-74608-9/pbk）。xii，第470页。(2007).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1130.68008号).
索引文章：
吉大港巴拉尔；朱拉杰·Dzifcak；路易斯·塔里，《克服Answer set Prolog应用程序中的知识获取瓶颈：接受自然语言输入》，1-21[Zbl 1213.68169号]
戈帕尔·古普塔；阿杰·班萨尔；理查德·敏（Richard Min）；卢克·西蒙；阿杰·马利娅，共导逻辑编程及其应用，27-44[Zbl 1213.68177号]
迈克尔·哈纳斯，多参数声明语言，45-75[兹比尔1213.68162]
特鲁什钦斯基，米罗斯瓦夫，用于知识表示的逻辑编程，76-88[Zbl 1213.68185号]
Baselice，S。；博纳蒂，P.A。；克里斯库洛，G。，关于有限递归程序，89-103[Zbl 1213.68170号]
佩德罗·卡巴拉尔；大卫·皮尔斯；阿古斯汀·瓦尔弗德，最小逻辑程序，104-118[Zbl 1213.68171号]
马丁·格布瑟（Martin Gebser）；托尔斯滕·绍布，用于应答集编程的通用表格，119-133[Zbl 1213.68176号]
马蒂·Järvisalo；埃米利亚·奥伊卡里宁，常规逻辑程序中的扩展ASP表和规则冗余，134-148[Zbl 1213.68178号]
塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗，在三值语义下查询和修复不一致的数据库，149-164[Zbl 1213.68236号]
乌埃尔、古雷；大卫·托曼，基于自动机的决策过程的逻辑编程方法，165-179[Zbl 1213.03018号]
保罗·塔劳；布伦达·卢德曼，组合电路综合的逻辑编程框架，180-194[Zbl 1213.94203号]
Leslie De Konink；汤姆·施里杰弗斯（Tom Schrijvers）；巴特·德梅恩，逻辑算法语言与CHR的对应，209-223[Zbl 1213.68175号]
格雷戈里·杜克（Gregory J.Duck）。；Peter J.Stuckey。；马丁·苏尔兹曼，约束处理规则的可观察汇流，224-239[Zbl 1213.68161号]
拉瑟，弗兰克，CHR中的图形转换系统，240-254[Zbl 1213.68165号]
阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利，CLP（FD）中带约束的多值动作语言，255-270[Zbl 1213.68633号]
法拉斯基，M。；Olarte，C。；帕拉米德斯，C。；F.巴伦西亚。，时间并发约束程序的声明性诊断，271-285[Zbl 1213.68204号]
刘冷宁；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao；特鲁什琴斯基，米洛斯奥，具有抽象约束原子的逻辑程序：计算的作用，286-301[Zbl 1213.68179号]
李·奈什，面向资源的死锁分析，302-316[Zbl 1213.68192号]
Phan、Quan；杰尔达·詹森斯，汞的静态区域分析，317-332[Zbl 1213.68183号]
佩特扎克；曼努埃尔五世（Manuel V.Hermenegildo）。，逻辑程序中与绑定相关的自动错误诊断，333-347[兹比尔1213.68184]
阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂（Maurizio Proietti）；瓦莱里奥·塞尼，逻辑程序转换的自动正确性证明，364-379[Zbl 1213.68207号]
Czenko，Marcin；桑德罗·埃塔利，Core TuLiP–信任管理逻辑编程，380-394[Zbl 1213.68174号]

引用于2评论
引用于2文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68N17号 逻辑编程
00B25型 杂项特定利益的会议记录

引文：

Zbl 1130.68008号
PDF格式BibTeX公司 XML格式引用
\textit{V.Dahl}（编辑）和\textit{I.Niemelä}（主编），逻辑编程。2007年9月8日至13日在葡萄牙波尔图举行的第23届国际会议。诉讼程序。柏林：施普林格出版社（2007；Zbl 1129.68002）
全文： 内政部