找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Abstraction, Reformulation, and Approximation; 5th International Sy Sven Koenig,Robert C. Holte Conference proceedings 2002 Springer-Verlag

[复制链接]
查看: 29455|回复: 60
发表于 2025-3-21 17:27:00 | 显示全部楼层 |阅读模式
期刊全称Abstraction, Reformulation, and Approximation
期刊简称5th International Sy
影响因子2023Sven Koenig,Robert C. Holte
视频video
发行地址Includes supplementary material:
学科分类Lecture Notes in Computer Science
图书封面Titlebook: Abstraction, Reformulation, and Approximation; 5th International Sy Sven Koenig,Robert C. Holte Conference proceedings 2002 Springer-Verlag
影响因子It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followu
Pindex Conference proceedings 2002
The information of publication is updating

书目名称Abstraction, Reformulation, and Approximation影响因子(影响力)




书目名称Abstraction, Reformulation, and Approximation影响因子(影响力)学科排名




书目名称Abstraction, Reformulation, and Approximation网络公开度




书目名称Abstraction, Reformulation, and Approximation网络公开度学科排名




书目名称Abstraction, Reformulation, and Approximation被引频次




书目名称Abstraction, Reformulation, and Approximation被引频次学科排名




书目名称Abstraction, Reformulation, and Approximation年度引用




书目名称Abstraction, Reformulation, and Approximation年度引用学科排名




书目名称Abstraction, Reformulation, and Approximation读者反馈




书目名称Abstraction, Reformulation, and Approximation读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 20:39:15 | 显示全部楼层
发表于 2025-3-22 02:53:08 | 显示全部楼层
Abstraction, Reformulation, and Approximation978-3-540-45622-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
发表于 2025-3-22 05:22:25 | 显示全部楼层
George Thomas,Tresa V. Fernandezch. They work well with depth-bounded search algorithms such as Gradual Abstract Proof Search that select moves based on the distance to the goal. We analyze the benefits of these admissible heuristics on moves for rules generation and search. We give experimental results that support our claim for the game of AtariGo.
发表于 2025-3-22 11:19:25 | 显示全部楼层
Africa-Asia: Literary Relationalitiescorrectness of certain types of computer programs. The method is used commercially in the development of programs implemented as integrated circuits, and is applicable to the development of “control-intensive” software programs as well. “Divide-and-conquer” techniques central to this method apply to
发表于 2025-3-22 13:47:17 | 显示全部楼层
https://doi.org/10.1007/978-981-97-0696-9ing a planning problem. This paper considers various ways in which reformulation has been exploited in planning. In particular, it considers reformulation of planning problems to exploit structure within them by allowing deployment of specialised sub-solvers, capable of tackling sub-problems with gr
发表于 2025-3-22 20:58:42 | 显示全部楼层
Drivers for Changes in the Coastal Zone,nd spatial and genomic maps. In this paper, I describe two hierarchical abstraction mechanisms for simplifying the (estimation) learning and (control) optimization of complex Markov processes: . decomposition and . aggregation. I present several approaches to combining spatial and temporal abstracti
发表于 2025-3-22 21:34:28 | 显示全部楼层
https://doi.org/10.1007/978-1-4020-3625-5 enormous..State space relaxation, introduced by Christofides, Mingozzi and Toth [.] is a general relaxation method whereby the state-space graph of a given dynamic programming recursion is relaxed in such a way that the solution of the associated recursion in the relaxed state-space provides a lowe
发表于 2025-3-23 03:27:39 | 显示全部楼层
George Thomas,Tresa V. Fernandezch. They work well with depth-bounded search algorithms such as Gradual Abstract Proof Search that select moves based on the distance to the goal. We analyze the benefits of these admissible heuristics on moves for rules generation and search. We give experimental results that support our claim for
发表于 2025-3-23 06:25:17 | 显示全部楼层
Michael J. V. White,Andrew Grievet representation of the solution space. We have previously established that, in spite of the effort of recomputing the bundles, dynamic bundling is never less effective than static bundling and non-bundling search strategies. Objections were raised that bundling mechanisms (whether static or dynamic
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-7 17:35
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表