See this document in CiteSeerX!

Heuristics for HTN Planning as Satisfiability  (Make Corrections)  
Amol Mali



  Home/Search   Context   Related

 
View or download:
uwm.edu/faculty/ma...heuristicsaaai.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  uwm.edu/faculty/ma...publications (more)
Homepages:  A.Mali  

Rate this article: (best)
  Comment on this article  
(Enter summary)

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