具体
发表于 2025-3-25 05:17:21
http://reply.papertrans.cn/83/8226/822590/822590_21.png
ARENA
发表于 2025-3-25 08:21:38
An argument for a hybrid HTN/operator-based approach to planning,ions either may be most appropriate. To support this view, we describe a number of advantages and disadvantages of these approaches in light of our experiences in developing two real-world, fielded planning systems.
Celiac-Plexus
发表于 2025-3-25 13:39:51
http://reply.papertrans.cn/83/8226/822590/822590_23.png
热情的我
发表于 2025-3-25 16:23:53
Planning via model checking: A decision procedure for AR,s based on “symbolic model checking”, a technique which has been successfully applied in hardware and software verification. The decision procedure always terminates with an optimal solution or with failure if no solution exists. We have constructed a planner, called MBP, which implements the decision procedure.
天文台
发表于 2025-3-25 23:37:13
Planning with sensing for a mobile robot,ons. We address the generation of conditional plans by defining a suitable reasoning method in which a plan is extracted from a constructive proof of a query expressing a given goal. We also present an implementation of such a logical framework, which has been tested on the mobile robot “Tino”.
Overstate
发表于 2025-3-26 00:18:03
0302-9743 rrent artificial intelligence planning, from theoretical and foundational matters to actual planning of systems and applications in a variety of areas.978-3-540-63912-1978-3-540-69665-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
牲畜栏
发表于 2025-3-26 07:19:05
Context dependent effects in temporal planning,tion should be specified unconditionally in its model and which can be stated conditionally with respect to the context. Indeed, most actions do have several different effects depending on the context in which they are executed..In this paper, we propose an approach and different extensions in order
平息
发表于 2025-3-26 09:51:24
Information gathering plans with sensing actions,e in their performance is efficient query planning that minimizes the number of information sources used to answer a query. Previous work on query planning has considered generating information gathering plans solely based on compile-time analysis of the query and the models of the information sourc
完全
发表于 2025-3-26 16:15:15
http://reply.papertrans.cn/83/8226/822590/822590_29.png
牢骚
发表于 2025-3-26 17:39:36
http://reply.papertrans.cn/83/8226/822590/822590_30.png