默认搜索操作

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

问别人

4.LPNMR 1997：德国达格斯图尔

>主页 >会议和研讨会 >低密度核磁共振

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/1997
尤尔根·迪克斯,乌尔里希·富巴赫,阿尼尔·内罗德:
逻辑编程与非单调推理，第四届国际会议，LPNMR’97，德国达格斯图尔城堡，1997年7月28日至31日，会议记录。计算机科学课堂讲稿1265,施普林格 1997，国际标准图书编号3-540-63255-7

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Jaffar97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Jaffar97
佐克森·贾法尔,刘冰（Bing Liu）,罗兰·H·C·叶:
约束编程中的正向和反向链接（摘要）。 1

第一次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/BuccafurriLR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/BucafurriLR97网址
弗朗西斯科·布卡弗里,尼古拉·利昂,帕斯夸尔·鲁洛:
析取数据日志中的强约束和弱约束。 2-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/PolletR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/PolletR97
Ch.Pollet公司,杰弗里·伦梅尔:
带量化布尔约束的非单调推理。 18-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/ZukowskiFB97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/ZukowskiFB97
乌尔里希·祖科夫斯基,Burkhard Freitag公司,斯特凡·布拉斯:
改进交替固定点：转换方法。 4-59

第二次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/EglyT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/EglyT97
乌韦·埃格利,汉斯·托姆皮茨:
非单调推理总是更难吗？ 60-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/罗萨蒂97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Rosati97网址
里卡多·罗萨蒂:
只知道的复杂性：命题案例。 76-91
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/SeitzerS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Seitzer97
J.塞泽,约翰·施利普夫:
普通逻辑程序的可负担类。 92-111

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Truszczynski97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Truszczynski97网址
米罗斯瓦·特鲁兹琴斯基:
非单调逻辑自动推理（摘要）。 112-114

第三次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/BrairDH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/BairDH97
霍华德·布莱尔,弗雷德·杜欣,保罗·R·休曼:
作为元胞自动机的程序之间的模拟。 115-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Janhunen97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Janhunen97网址
托米·詹胡宁:
区分自认知推理中的不信念和信念。 132-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/张R97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/ShangR97
张国强,威廉·C·罗兹:
电源默认值。 152-169

第四次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/博克曼97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Bochman97网址
亚历山大·波奇曼:
Przymusinski静态语义研究。 170-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Bonatti97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Boatti97网址
皮耶罗·A·博纳蒂:
可疑稳定语义的解决方案。 185-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/EiterLS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/EiterLS97
托马斯·艾特,詹姆斯·J·卢,V.S.Subrahmanian公司:
计算稳定模型的非地面表示。 198-217

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Karig97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Karig97
马丁·卡里格:
集成信息服务的行业需求（摘要）。 218-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Buchberger97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Buchberger97网址
布鲁诺·巴赫伯格:
计算、求解、证明：定理项目综述（摘要）。 220-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Gelfond97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Gelfond97
迈克尔·盖尔丰德:
在声明逻辑程序设计中表示知识的系统方法。 222-223

第五部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/DamasioP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/DamasioP97
卡洛斯·维加斯·达马西奥,路易斯·莫尼兹·佩雷拉:
一种支持矛盾检测的超一致语义。 224-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/DekhtyarDS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/DekhtyarDS97
迈克尔·德克蒂亚,亚历山大·贾。迪科夫斯基,尼古拉斯·斯皮拉托斯:
关于保守强制更新。 244-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/WitteveenH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/WitteveenH97
Cees Wittevien公司,威比·范德霍克:
修正非单调理论的一般框架。 258-273

第六次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/BrogiCT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/BrogiCT97
安东尼奥·布罗吉,西蒙·孔蒂埃罗,弗朗科·图里尼:
编写通用逻辑程序。 274-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/EiterGV97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/EiterGV97
托马斯·艾特,乔治·戈特洛布,赫尔穆特·维思:
模块化逻辑程序设计和广义量词。 290-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Petukhin97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Petukhin97网址
维亚切斯拉夫·佩图金:
具有普遍量化嵌入含义的程序。 310-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/叶海亚97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Yahya97网址
阿德南·H·叶海亚:
析取演绎数据库中的广义查询回答：程序和非单调方面。 325-341

系统描述I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/AravindanDN97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/AravindanDN97网址
Chandrabose Aravindan公司,尤尔根·迪克斯,伊尔卡·尼梅莱:
析取：走向析取逻辑编程系统。 342-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/DamasioPS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/DamasioPS97
卡洛斯·维加斯·达马西奥,路易斯·莫尼兹·佩雷拉,迈克尔·施罗德:
修订：逻辑编程和诊断。 354-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/EiterLMPS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/EiterLMPS97
托马斯·艾特,尼古拉·利昂,Cristinel Mateis公司,杰拉尔德·菲弗,弗朗西斯科·斯卡切罗:
非单调推理的演绎系统。 364-375

系统描述II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/FrietagZ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/FrietagZ97
乌尔里希·祖科夫斯基,Burkhard Freitag公司:
演绎数据库系统LOLA。 376-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/KakasM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/KakasM97
安东尼斯·卡卡斯,科斯塔斯·穆拉斯:
ACLP：复杂问题的灵活解决方案。 388-399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/Kandzia97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/Kandzia97网址
保罗·托马斯·坎迪亚:
FLORID中的非单调推理。 400-410

系统说明III

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/NeugebauerS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/NeugebauerS97
Gerd Neugebauer公司,多萝西娅·施费尔:
胶：向定理证明者开放世界。 411-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/NiemelaS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/NeemelaS97
伊尔卡·尼梅莱,帕特里克·西蒙斯:
Smodels-一个正常LP的稳定模型和良好语义的实现。 421-430
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/RaoSSWF97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/RaoSSWF97
普拉萨德·拉奥,康斯坦蒂诺斯·萨戈纳斯,Terrance Swift公司,大卫·斯科特·沃伦,朱莉安娜·弗雷尔:
XSB：高效计算WFS的系统。 431-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/SchaubN97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/SchaubN97
托尔斯滕·绍布,帕斯卡·尼古拉斯:
查询应答实现平台：X-RAY。 442-453

管理网站设置

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