𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Planning as satisfiability: parallel plans and algorithms for plan search

✍ Scribed by Jussi Rintanen; Keijo Heljanko; Ilkka Niemelä

Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
803 KB
Volume
170
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Planning graph as the basis for deriving
Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search
✍ XuanLong Nguyen; Subbarao Kambhampati; Romeo S. Nigenda 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 561 KB

Most recent strides in scaling up planning have centered around two competing themesdisjunctive planners, exemplified by Graphplan, and heuristic state search planners, exemplified by UNPOP, HSP and HSP-r. In this paper, we present a novel approach for successfully harnessing the advantages of the t

Knowledge acquisition for search and res
Knowledge acquisition for search and rescue planning
✍ HUGH COTTAM; NIGEL SHADBOLT 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 749 KB

There is an increasing adoption of knowledge-level modelling within expert system development. However, it has had less impact in the generic areas of planning, scheduling and resource allocation. In this paper, we outline the development of a knowledge-level modelling approach within the domain of