Amol Mali  Home/Search
Context
Related
| uwm.edu/faculty/ma...heuristicsaaai.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uwm.edu/faculty/ma...publications (more) Homepages: A.Mali |
Rate this article:      (best)Comment on this article |
Abstract: Classical planning is the problem of synthesizing a sequence of actions to reach the goal state starting from the initial state. Hierarchical task networks (HTNs) have been used as a guidance for solving planning problems where tasks are decomposed into subtasks. Recently, both action-based... (Update)
Active bibliography (related documents): More All
2.3: Enhancing HTN Planning as Satisfiability - Mali (Correct)
0.9: On the Hybrid Propositional Encodings of Planning - Mali (1999) (Correct)
0.3: On the Hybrid Propositional Plan Encodings - Mali (Correct)
Similar documents based on text: More All
0.6: Hierarchical Task Network Planning as Satisfiability - Mali (1999) (Correct)
0.6: Encoding Temporal Planning as CSP - Mali (2002) (Correct)
0.6: Adapting SAT Heuristics to Solve Constraint Satisfaction Problems - Mali, Veettil (2001) (Correct)
BibTeX entry: (Update)
@misc{ mali-heuristics,
author = "Amol Mali",
title = "Heuristics for {HTN} Planning as Satisfiability",
url = "citeseer.ist.psu.edu/695274.html" }
Citations (may not include all citations):376 Fast planning through planning graph analysis - Blum, Furst - 1995
198 Practical planning: Extending the classical AI planning para.. (context) - Wilkins - 1988
88 Encoding plans in propositional logic - Kautz, McAllester et al. - 1996
73 Unifying SATbased and graph-based planning - Kautz, Selman
68 Automatic SAT compilation of planning problems - Ernst, Millstein et al.
19 Plan - Control in the open planning architecture (context) - Currie, Tate - 1985
19 Hierarchical task network planning: Formalization (context) - Erol - 1995
18 propositional logic and stochastic search (context) - Kautz, Selman et al. - 1996
13 Hybrid planning in partially hierarchical domains - Kambhampati, Mali et al.
7 Hierarchical task network planning as satis - ability (context) - Mali - 1999
7 Hierarchical task network planning as satis - ability (context) - Mali - 1999
5 erent domain-independent heuristics (context) - Stone, Veloso et al. - 1994
4 New advances in GraphHTN: Identifying independent subproblem.. - Lotem, Nau - 2000
4 The role of domain-speci c knowledge in the planning as sati.. (context) - Kautz, Selman - 1998
4 Re nement planning as a unifying framework of plan synthesis (context) - Kambhampati - 1997
2 Papers from the 1993 AAAI Fall symposium (context) - Smith, Nau et al. - 1993
Documents on the same site (http://www.cs.uwm.edu/faculty/mali/publications.htm): More
On the Behavior-based Architectures of Autonomous Agency - Mali (Correct)
Marker-Augmented Robot-Environment Interaction - Mali (1999) (Correct)
Frugal Propositional Encodings for Planning - Mali, Kambhampati (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC