停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2007年第23届ICLP：葡萄牙波尔图

>主页 >会议和研讨会 >ICLP公司

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/2007
维罗尼卡·达尔,伊尔卡·尼梅莱:
逻辑编程，第23届国际会议，2007年ICLP，葡萄牙波尔图，2007年9月8日至13日，会议记录。计算机科学课堂讲稿4670,施普林格 2007，国际标准图书编号978-3-540-74608-9

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/BaralDT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BaralDT07
奇塔·巴拉尔,Juraj Dzifcak公司,路易斯·塔里:
克服答案集序言应用中的知识获取瓶颈：接受自然语言输入。 1-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Brewka07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Brewka07网址
格哈德·布鲁卡:
首选项、上下文和答案集。 22

邀请的教程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Eiter07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Eiter07网址
托马斯·艾特:
语义网的答案集编程。 23-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/GuptaBMSM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GuptaBMSM07网址
戈帕尔·古普塔,阿杰·班萨尔,理查德·敏,卢克·西蒙,阿杰·马利娅:
共导逻辑编程及其应用。 27-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/汉努斯07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hanus07
迈克尔·哈纳斯:
多通道声明语言。 45-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Truszczynski07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Truszczynski07网址
米罗斯瓦·特鲁兹琴斯基:
知识表示的逻辑编程。 76-88

答案集编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/基本许可证BC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BaseliceBC07
萨布丽娜·Baselice,皮耶罗·A·博纳蒂,乔瓦尼·克里斯库洛:
关于有限递归程序。 89-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/CabalarPV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CabalarPV07
佩德罗·卡巴拉尔,大卫·皮埃尔斯,阿古斯汀·瓦尔维德:
最小逻辑程序。 104-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/GebserS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GebserS07
马丁·格布瑟,托尔斯滕·绍布:
答案集编程通用表。 119-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/JarvisaloO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/JarvisaloO07
马蒂·贾维萨洛,艾米莉亚·奥卡里宁:
常规逻辑程序中的扩展ASP表和规则冗余。 134-148

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/希腊M07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GrecoM07
塞尔吉奥·格雷科,克里斯蒂安·莫利纳罗:
三值语义下不一致数据库的查询与修复。 149-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/UnelT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/UnelT07
古雷乌内尔,大卫·托曼:
基于自动化的决策程序的逻辑编程方法。 165-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/TarauL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/TarauL07
保罗·塔劳,布伦达·卢德曼:
用于组合电路综合的逻辑编程框架。 180-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/VazFL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/VazFL07
大卫·瓦兹,米歇尔·费雷拉,里卡多·洛佩斯:
Spatial-Yap：基于逻辑的地理信息系统。 195-208

约束逻辑程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/KoninckSD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KoninckSD07
莱斯利·德科宁克,汤姆·施里杰弗斯,巴特·德梅恩:
逻辑算法语言与CHR的对应。 209-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/DuckSS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/DackSS07
格雷戈里·杜克,彼得·J·斯塔基,马丁·苏尔兹曼:
约束处理规则的可观察汇流。 224-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Raiser07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Raiser07网址
Frank Raiser公司:
CHR中的图变换系统。 240-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/DovierFP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/DovierFP07
阿戈斯蒂诺·多维尔,安德烈亚·福米萨诺,恩里科·蓬泰利:
CLP（FD）中带约束的多值动作语言。 255-270

语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/FalaschiOPV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FalaschiOPV07
莫雷诺·法拉斯基,卡洛斯·奥拉特,帕拉米德斯猫,弗兰克·帕伦西亚:
时序并发约束程序的声明性诊断。 271-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/LiuPST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/LiuPST07
刘冷宁（Lenning Liu）,恩里科·蓬泰利,Tran Cao Son公司,米罗斯瓦·特鲁兹琴斯基:
具有抽象约束原子的逻辑程序：计算的作用。 286-301

项目分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/奈什07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Naish07网址
李·奈什:
面向资源的死锁分析。 302-316
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/PhanJ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PhanJ07
Quan Phan公司,格尔达·詹森:
汞的静态区域分析。 317-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/PietrzakH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PietrzakH07网址
帕维尔·彼得扎克,曼纽尔·埃尔梅内吉尔多:
逻辑程序中与绑定相关的自动错误诊断。 333-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/NavasMLH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NavasMLH07
豪尔赫·纳瓦斯,爱迪生·梅拉,佩德罗·洛佩斯·加西亚,曼纽尔·埃尔梅内吉尔多:
逻辑程序的用户定义资源边界分析。 348-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/PettorossiPS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PettorossiPS07网址
阿尔贝托·佩托罗西,毛里齐奥·普罗埃蒂,瓦莱里奥·塞尼:
逻辑程序转换的自动正确性证明。 364-379

特殊兴趣文件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/CzenkoE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CzenkoE07
马钦·岑科（Marcin Czenko）,桑德罗·埃塔利:
信任管理核心TuLiP逻辑编程。 380-394

实施

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/CostaSL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CostaSL07
维托尔·桑托斯·科斯塔,康斯坦蒂诺斯·萨戈纳斯,里卡多·洛佩斯:
Prolog子句的需求驱动索引。 395-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/SilvaC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SilvaC07
安德森·福斯蒂诺·达席尔瓦,维托尔·桑托斯·科斯塔:
YAP系统动态编译框架的设计、实现和评估。 410-424

墙报交流

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/CaballeroRV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CaballeroRV07网址
拉斐尔·卡巴列罗,马里奥·罗德里格斯-阿塔莱霍,拉斐尔·德尔瓦多·维塞达:
约束函数逻辑程序设计中缺少答案的声明性调试。 425-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/CaliL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CaliL07
安德烈亚·卡奥,托马斯·卢卡西维茨:
语义Web的紧密集成概率描述逻辑程序。 428-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/CaropreseTZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CaropreseTZ07
卢西亚诺·卡洛普莱斯,伊琳娜·特鲁比西纳,埃斯特·祖帕诺:
通过活动完整性约束查看更新。 430-431
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/匈牙利07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hunyadi07网址
利文特·洪亚迪:
Prosper：使用Web界面扩展Prolog应用程序的框架。 432-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/MancarellaTT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MancarellaTT07网址
保罗·曼卡雷拉,贾科莫·特雷尼,弗朗西斯卡·托尼:
网站验证：诱拐逻辑编程工具。 434-435
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/莫罗佐夫07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Morozov07
阿列克谢·莫罗佐夫:
基于结构分析与设计技术的可视化逻辑程序设计方法。 436-437
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Nguyen07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Nguyen07网址
林安阮:
在规则描述逻辑中近似Horn知识库以具有PTIME数据复杂性。 438-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/OikarinenJ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/OikarinenJ07
艾米莉亚·奥卡里宁,托米·詹胡宁:
从优先包围到析取逻辑规划的线性变换。 440-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Palshikar07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Palshikar07网址
吉里什·凯沙夫·帕尔什卡尔:
序言中图形语法的表示和执行。 442-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/RochaSL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/RochaSL07
里卡多·罗查,Cláudio Silva先生,里卡多·洛佩斯:
应用程序转换在Prolog中实现基于暂停的制表。 444-445
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/SneyersWSD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SneyersWSD07
乔恩·斯奈尔斯,彼得·范·威特,汤姆·施里杰弗斯,巴特·德梅恩:
约束处理规则中的聚合。 446-448
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/NieuwenborghCV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NieuwenborghCV07
戴维·范·纽文伯格,马丁·德科克,德克·弗梅尔:
使用dlvhex计算模糊答案集。 449-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/West07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/West07
玛格丽特·韦斯特:
在Z规范动画中使用逻辑编程语言。 451-452
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Wong07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Wong07网址
王家淑:
逻辑程序的更强大的等价概念。 453-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/周07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/周07
能发周:
带有Jumbo指令的无寄存器抽象Prolog机器。 455-457
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Gebser07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Gebser07网址
马丁·格布瑟:
答案集编程的高级技术。 458-459

博士联合会演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/NeedhamV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NeedhamV07
乔尼·尼达姆,玛丽娜·德沃斯:
ASP的游戏语义。 460-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Oikarinen07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Oikarinen07网址
艾米莉亚·奥伊卡里宁:
模块化答案集编程。 462-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/OlartePV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/OlartePV07
卡洛斯·奥拉特,帕拉米德斯猫,弗兰克·巴伦西亚:
通用时间并发约束编程。 464-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/Weert07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Weert07网址
彼得·范·威特:
CHR的扩展和实施。 466-468

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。