默认搜索操作

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

问别人

逻辑程序设计理论与实践（TPLP），第4卷

>主页 >期刊销售 >逻辑程序设计理论与实践

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第4卷，第1-2期，2004年1月/3月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/AppelF04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/AppelF04
安德鲁·W·阿佩尔,艾米·费尔蒂:
lambda-Prolog和Twelf中的多态引理和定义。 1-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/Lopez-FraguasS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Lopez-FraguasS04
弗朗西斯科·哈维尔·洛佩斯·弗拉瓜斯,詹姆·桑切斯·埃尔南德斯:
函数逻辑程序设计中失败的证明理论方法。 41-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/FurfaroGG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/FurfaroGG04
菲利波·弗法罗,吉安路易吉·格雷科,塞尔吉奥·格雷科:
析取逻辑程序和演绎数据库的最小基础语义。 75-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/GarciaS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/GarciaS04
亚历杭德罗·哈维尔·加西亚,吉列尔莫·里卡多·西马里:
可击败逻辑编程：一种有争议的方法。 95-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/LeuschelJVB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/LeuschelJVB04
迈克尔·勒谢尔,杰斯珀·约根森,维姆·范霍夫,莫里斯·布吕诺格:
Prolog中使用手工编写的编译器生成器进行脱机专业化。 139-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/LoncT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/LoncT04
Zbigniew Lonc公司,米罗斯瓦·特鲁兹琴斯基:
计算稳定模型：最坏情况下的性能估计。 193-231

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/Laburthe04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Laburthe04网址
弗朗索瓦·拉伯特:
书评：Christian Schulte的Programming Constraint Services：标准和新约束服务的高级编程。斯普林格2002，LNAI 2302，ISBN 3-540-43371-6。 233-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/tplp/Truszczynski04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Truszczynski04网址
米罗斯瓦·特鲁兹琴斯基:
书评：Chitta Baral的《知识表示、推理和声明性问题解决》，剑桥大学出版社，2003年，ISBN 0-521-81802-8。 237-239

第4卷第3期，2004年5月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/2004年5月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/04年5月
沃尔夫冈·梅:
XPath-Logic和XPathLog：一种逻辑编程风格的XML数据操作语言。 239-287
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/HillZB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HillZB04
帕特里夏·M·希尔,埃娜·扎法内拉,罗伯托·巴格纳拉:
集共享、自由和线性的正确、精确和高效集成，用于分析有限树语言和有理树语言。 289-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/OsorioNA04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/OsorioNA04
毛里西奥·奥索里奥,胡安·安东尼奥·纳瓦罗·佩雷斯,何塞·阿拉佐拉:
直觉逻辑在答案集编程中的应用。 325-354

技术说明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HruzaS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HruzaS04
扬·赫鲁扎,彼得·斯捷潘内克:
通过二值化和部分演绎加速逻辑程序。 355-380

编程珍珠

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/Bruynooghe04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Bruynooghe04网址
莫里斯·布吕诺格:
增强搜索算法以执行智能回溯。 371-380

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/Monfroy04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Monfroy04网站
埃里克·蒙弗罗伊:
书评：Thom Frühwirth和Slim Abdennadher编写的《约束编程要领》，Springer出版社，2003年，硬封面：ISBN 3-540-67623-6，ix+145页。 381-382

2004年7月第4卷第4期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/AlferesPS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/AlferesPS04
何塞·朱利奥·阿尔弗雷斯,路易斯·莫尼兹·佩雷拉,Terrance Swift公司:
通过表对偶程序推导基础良好的语义和广义稳定模型。 383-428
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/MascardiMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/MascardiMS04
维维亚娜·马斯卡迪,毛里齐奥·马泰利,利昂·斯特林:
智能软件代理的基于逻辑的规范语言。 429-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/tplp/PettorossiP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/PettorossiP04
阿尔贝托·佩托罗西,毛里齐奥·普罗埃蒂:
以目标为参数的逻辑程序的转换。 495-537

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/Raamsdonk04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Raamsdonk04
费尔克·范·拉姆斯登克:
书评：Enno Ohlebusch的《学期改写高级主题》，Springer-Verlag，2002年，精装本：ISBN 0-387-95250-0。 539-541

2004年9月至11月，第4卷，第5-6期

验证与计算逻辑专题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/LeuschelPRU04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/LeuschelPRU04
迈克尔·勒谢尔,安德烈亚斯·波德尔斯基,C.R.Ramakrishnan（罗马克里希南）,乌尔里希·乌尔特斯·尼切:
验证和计算逻辑专题介绍。 543-544
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/BellaB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/BellaB04
詹保罗·贝拉,斯特凡诺·比斯塔雷利:
分析安全协议的软约束编程。 545-572
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/BozzanoDM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/BozzanoDM04
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
模型检查线性逻辑规范。 573-619
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/FranceschetM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/FrancheschetM04
马西莫·弗朗切特,安吉洛·蒙塔纳里:
时间粒度的时序逻辑和自动机。 621-658
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/LazicNR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/LazicNR04
兰科·拉齐奇,托马斯·克里斯托弗·纽科姆,A.W.罗斯科:
在模型上检查具有数组但不重置的数据相关系统。 659-693
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/PiazzaP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/PiazzaP04
卡拉广场,阿尔贝托·波利克里蒂:
阿克曼编码、互模拟和OBDD。 695-718
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/SerebrenikS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/SerebrenikS04
亚历山大·塞雷布雷尼克,丹尼·德·施雷耶:
Prolog中数值循环终止条件的推断。 719-751

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/Flach04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Flach04
彼得·弗拉奇:
书评：《学习的逻辑：从结构化数据中学习可理解理论》，约翰·劳埃德（John W.Lloyd），斯普林格·弗拉格（Springer-Verlag），2003年，ISBN 3-540-42027-4。 753-755
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/Yap04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Yap04
罗兰·H·C·叶:
书评：Rina Dechter的约束处理，Morgan Kaufmann出版社，2003年，ISBN 1-55860-890-7。 755-757
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/Rossi04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Rossi04
弗朗西丝卡·罗西:
书评：《约束编程原理》，作者：Krzysztof R.Apt，剑桥大学出版社，2003年，ISBN 0-521-82583-0。 758-762

管理网站设置

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