ref.bib

@article{broxvall03,
  author    = {M. Broxvall and P. Jonsson},
  title     = {Point algebras for temporal reasoning: Algorithms and complexity},
  journal   = {Artif. Intell.},
  volume    = {149},
  number    = {2},
  pages     = {179--220},
  year      = {2003},
}

@article{fox03,
  author    = {M. Fox and D. Long},
  title     = {{PDDL2.1:} An Extension to {PDDL} for Expressing Temporal Planning Domains},
  journal   = {Int. J. of Artif. Intell. Res.},
  volume    = {20},
  pages     = {61--124},
  year      = {2003},
}

@article{ramoul17,
  author    = {A. Ramoul and D. Pellier and H. Fiorino and S. Pesty},
  title     = {Grounding of {HTN} Planning Domain},
  journal   = {Int. J. of Artif. Intell. Tools},
  volume    = {26},
  number    = {5},
  year      = {2017},
}

@inproceedings{behnke20,
  author    = {G. Behnke and D. H{\"{o}}ller and A. Schmid and P. Bercher and S. Biundo},
  title     = {On Succinct Groundings of {HTN} Planning Problems},
  booktitle = {{AAAI}},
  pages     = {9775--9784},
  year      = {2020},
}

@inproceedings{Behnke2019orderchaos,
  title={Bringing order to chaos--{A} compact representation of partial order in {SAT}-based {HTN} planning},
  author={Behnke, Gregor and H{\"o}ller, Daniel and Biundo, Susanne},
  booktitle={AAAI},
  volume={33},
  number={01},
  pages={7520--7529},
  year={2019},
}

@inproceedings{cushing2007temporal,
  title={When is temporal planning really temporal?},
  author={Cushing, William and Kambhampati, Subbarao and Weld, Daniel S},
  booktitle = {IJCAI},
  pages={1852--1859},
  year={2007}
}

@inproceedings{dvorak2014,
  title = {Planning and {{Acting}} with {{Temporal}} and {{Hierarchical Decomposition Models}}},
  booktitle = {ICTAI},
  author = {Dvor{\'a}k, Filip and Bart{\'a}k, Roman and {Bit-Monnot}, Arthur and Ingrand, F{\'e}lix and Ghallab, Malik},
  year = {2014},
  pages = {115--121},
}

@techreport{mcdermott98,
	author = {Mcdermott, D. and Ghallab, M. and Howe, A. and Knoblock, C. and Ram, A. and Veloso, M. and Weld, D. and Wilkins, D.},
institution = {CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control},
title = {{PDDL - The Planning Domain Definition Language}},
	year = {1998}
}


@inproceedings{Holler19b,
  author    = {Behnke, Gregor and H{\"o}ller, Daniel and Bercher, Pascal and Biundo, Susanne and Pellier, Damien and Fiorino, Humbert and Alford, Ron},
  title     = {Hierarchical planning in the {IPC}},
  booktitle   = {ICAPS Workshop on the International Planning Competition}, 
  year      = {2019},
}

@inproceedings{Milot21,
  TITLE = {{Solving Hierarchical Auctions with HTN Planning}},
  AUTHOR = {A. Milot and E. Chauveau and S. Lacroix and C. Lesire},
  BOOKTITLE = {{ICAPS Workshop on Hierarchical Planning}},
  YEAR = {2021},
}

@inproceedings{Menif14,
  TITLE = {{SHPE: HTN Planning for Video Games}},
  AUTHOR = {A. Menif and E. Jacopin and T. Cazenave},
  BOOKTITLE = {{W}orkshop on {C}omputer {G}ames},
  PAGES = {119-132},
  YEAR = {2014},
}

@inproceedings{Georgievski17,
  author    = {I. Georgievski and
               F. Nizamic and
               A. Lazovik and
               M. Aiello},
  title     = {Cloud Ready Applications Composed via {HTN} Planning},
  booktitle = {{IEEE} Conference on Service-Oriented Computing and Applications},
  pages     = {81--89},
  year      = {2017},
}

@inproceedings{Bit-Monnot:16,
  author    = {A. Bit{-}Monnot and
               D Smith and
               M. Do},
  title     = {Delete-Free Reachability Analysis for Temporal and Hierarchical Planning},
  booktitle = {ECAI},
  volume    = {285},
  pages     = {1698--1699},
  year      = {2016},
}

@inproceedings{smith08,
		Title = {The {ANML} Language},
		Author = {D. Smith and J. Frank and W. Cushing},
		Booktitle = {ICAPS Workshop on Knowledge Engineering for Planning and Scheduling},
		Year = {2008},
}


@article{BRESOLIN2014269,
title = {Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity},
author={Bresolin, Davide and Della Monica, Dario and Montanari, Angelo and Sala, Pietro and Sciavicco, Guido},
journal = {Theoretical Computer Science},
volume = {560},
pages = {269-291},
year = {2014},
publisher={Elsevier}
}


@inproceedings{Shivashankar17,
  author    = {V. Shivashankar and
               R. Alford and
               D. Aha},
  title     = {Incorporating Domain-Independent Planning Heuristics in Hierarchical Planning},
  booktitle = {{AAAI}},
  pages     = {3658--3664},
  year      = {2017},
}

@inproceedings {Bercher17,
		Title  =  {An Admissible {HTN} Planning Heuristic},
		Author  =  {P. Bercher and
		            G. Behnke and
		            D. H{\"o}ller and
		            S. Biundo},
		Year  =  {2017},
		Pages  =  {480--488},
		Booktitle =   {IJCAI},
}

@inproceedings{Holler19,
  author    = {D. H{\"{o}}ller and
               P. Bercher and
               G. Behnke and
               S. Biundo},
  title     = {On Guiding Search in {HTN} Planning with Classical Planning Heuristics},
  booktitle = {IJCAI},
  pages     = {6171--6175},
  year      = {2019},
}

@inproceedings{Holler21,
  author    = {D. H{\"{o}}ller and
               P. Bercher},
  title     = {Landmark Generation in {HTN} Planning},
  booktitle = {{AAAI}},
  pages     = {11826--11834},
  year      = {2021},
}

@inproceedings{behnke2018totsat,
  title={{totSAT}-{T}otally-ordered hierarchical planning through {SAT}},
  author={Behnke, Gregor and H{\"o}ller, Daniel and Biundo, Susanne},
  booktitle={AAAI},
  volume={32},
  number={1},
  year={2018}
}


@article{Pellier18,
author = {D. Pellier and H. Fiorino},
title = {{PDDL4J}: a planning domain description library for {J}ava},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {30},
number = {1},
pages = {143-176},
year  = {2018}
}


@inproceedings{Schreiber2019SAT,
  author    = {D. Schreiber and
               D. Pellier and
               H. Fiorino and
               T. Balyo},
  title     = {Tree-{REX}: {SAT}-Based Tree Exploration for Efficient and High-Quality {HTN} Planning},
  booktitle = {ICAPS},
  pages     = {382--390},
  year      = {2019},
}

@article{Schreiber21,
  author    = {D. Schreiber},
  title     = {Lilotane: {A} Lifted {SAT}-based Approach to Hierarchical Planning},
  journal   = {J. of Artif. Intell. Res.},
  volume    = {70},
  pages     = {1117--1181},
  year      = {2021},
}


@inproceedings{Alford09,
  author    = {R. Alford and
               U. Kuter and
               D. Nau},
  title     = {Translating {HTN}s to {PDDL:} {A} Small Amount of Domain Knowledge Can Go a Long Way},
  booktitle = {{IJCAI}},
  pages     = {1629--1634},
  year      = {2009},
}

@inproceedings{Alford16,
  author    = {R. Alford and
               V. Shivashankar and
               M. Roberts and
               J. Frank and
               D. Aha},
  title     = {$\!\!$Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing},
  booktitle = {{IJCAI}},
  pages     = {3022--3029},
  year      = {2016},
}

@inproceedings{bercher19,
  author    = {P. Bercher and
               R. Alford and
               D. H{\"{o}}ller},
  title     = {A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations},
  booktitle = {IJCAI},
  pages     = {6267--6275},
  year      = {2019},
}


@inproceedings{behnke2021,
  title = {Block {{Compression}} and {{Invariant Pruning}} for {{SAT-based Totally-Ordered HTN Planning}}},
  author = {Behnke, Gregor},
  year = {2021},
  month = may,
  booktitle = {ICAPS},
  pages = {25--35},
}


@inproceedings{behnke2022,
  title={{Making Translations to Classical Planning Competitive with Other HTN Planners}},
  author={Behnke, Gregor and Pollitt, Florian and H{\"o}ller, Daniel and Bercher, Pascal and Alford, Ron},
  booktitle = {{AAAI}},
  pages= {{9687--9697}},
  year={2022}
}

@inproceedings{weser2010htn,
  title={{HTN} robot planning in partially observable dynamic environments},
  author={Weser, Martin and Off, Dominik and Zhang, Jianwei},
  booktitle={Int. Conference on Robotics and Automation},
  pages={1505--1510},
  year={2010},
}

@article{helmert,
  title={Concise finite-domain representations for PDDL planning tasks},
  author={Helmert, Malte},
  journal={Artif. Intell.},
  volume={173},
  number={5-6},
  pages={503--535},
  year={2009},
  publisher={Elsevier}
}


@inproceedings{pralet2019,
  title = {An {{Autonomous Mission Controller}} for {{Earth Observing Satellites}}},
  booktitle = {Workshop on Planning and Scheduling for Space},
  author = {Pralet, C{\'e}dric and Lesire, Charles and Jaubert, Jean},
  year = {2019}
}



@article{rodriguez-moreno2004,
  title = {An {{AI Planning-based Tool}} for {{Scheduling Satellite Nominal Operations}}},
  author = {{Rodriguez-Moreno}, Maria Dolores and Borrajo, Daniel and Meziat, Daniel},
  year = {2004},
  journal = {AI Magazine},
  volume = {25},
  number = {4},
  pages = {9--27},
}

@article{rintanen06,
  author    = {J. Rintanen and K. Heljanko and I. Niemel{\"{a}}},
  title     = {Planning as satisfiability: parallel plans and algorithms for plan search},
  journal   = {Artif. Intell.},
  volume    = {170},
  number    = {12-13},
  pages     = {1031--1080},
  year      = {2006},
}

@inproceedings{abdulaziz22,
  author    = {M. Abdulaziz and L. Koller},
  title     = {Formal Semantics and Formally Verified Validation for Temporal Planning},
  booktitle = {{AAAI}},
  pages     = {9635--9643},
  year      = {2022},
}

@inproceedings{holler20,
  author    = {D. H{\"{o}}ller and G. Behnke and P. Bercher and S. Biundo and H. Fiorino and D. Pellier and R. Alford},
  title     = {{HDDL:} An Extension to {PDDL} for Expressing Hierarchical Planning Problems},
  booktitle = {{AAAI}},
  pages     = {9883--9891},
  year      = {2020},
}

@inproceedings{allen81,
  title={An Interval-Based Representation of Temporal Knowledge},
  booktitle = {IJCAI},
  author={Allen, J.},
  pages={221--226},
  year={1981},
}

@techreport{gerevini05,
    author = {A. Gerevini and D. Long},
    title = {Plan constraints and preferences in {PDDL3} - the language of the fifth {I}nternational {P}lanning {C}ompetition},
    year = {2005},
    number = {2005-08-07},
    institution={Department of Electronics for Automation (Imperial College)}
}

@inproceedings{erol94,
  author    = {K. Erol and J. Hendler and D. Nau},
  title     = {{HTN} Planning: Complexity and Expressivity},
  booktitle = {{AAAI}},
  pages     = {1123--1128},
  year      = {1994},
}

@inproceedings{schattenberg2020,
	title = {The {{Hierarchical Satellite Domain}}},
	booktitle = {International Planning Competition},
	author = {Schattenberg, Bernd},
	year = {2020},
	pages = {40--42},
}

@book{ghallabnautraverso2016,
  title={Automated {P}lanning and {A}cting},
  author={Ghallab, Malik and Nau, Dana and Traverso, Paolo},
  year={2016},
  publisher={Cambridge University Press},
  note={chap. 4}
}

@misc{pddl3,
  title = {BNF Description of PDDL3.0},
  author={Alfonso Gerevini and Derek Long},
  year={2005},
  howpublished={https://www.cs.yale.edu/homes/dvm/papers/pddl-bnf.pdf},
}

@inproceedings{barringer1986,
  title={A really abstract concurrent model and its temporal logic},
  author={Barringer, Howard and Kuiper, Ruurd and Pnueli, Amir},
  booktitle={ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={173--183},
  year={1986}
}