BibTeX records: Daniel Höller

download as .bib file

@inproceedings{DBLP:conf/aaai/BehnkeHB19,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  title     = {Bringing Order to Chaos - {A} Compact Representation of Partial Order
               in SAT-Based {HTN} Planning},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages     = {7520--7529},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://doi.org/10.1609/aaai.v33i01.33017520},
  doi       = {10.1609/aaai.v33i01.33017520},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/BehnkeHB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BehnkeHB19,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Sarit Kraus},
  title     = {Finding Optimal Solutions in {HTN} Planning - {A} SAT-based Approach},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  pages     = {5500--5508},
  publisher = {ijcai.org},
  year      = {2019},
  url       = {https://doi.org/10.24963/ijcai.2019/764},
  doi       = {10.24963/ijcai.2019/764},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/BehnkeHB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HollerBBB19,
  author    = {Daniel H{\"{o}}ller and
               Pascal Bercher and
               Gregor Behnke and
               Susanne Biundo},
  editor    = {Sarit Kraus},
  title     = {On Guiding Search in {HTN} Planning with Classical Planning Heuristics},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  pages     = {6171--6175},
  publisher = {ijcai.org},
  year      = {2019},
  url       = {https://doi.org/10.24963/ijcai.2019/857},
  doi       = {10.24963/ijcai.2019/857},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/HollerBBB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BercherAH19,
  author    = {Pascal Bercher and
               Ron Alford and
               Daniel H{\"{o}}ller},
  editor    = {Sarit Kraus},
  title     = {A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete
               Realizations},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  pages     = {6267--6275},
  publisher = {ijcai.org},
  year      = {2019},
  url       = {https://doi.org/10.24963/ijcai.2019/875},
  doi       = {10.24963/ijcai.2019/875},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/BercherAH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-04405,
  author    = {Daniel H{\"{o}}ller and
               Gregor Behnke and
               Pascal Bercher and
               Susanne Biundo and
               Humbert Fiorino and
               Damien Pellier and
               Ronald Alford},
  title     = {Hierarchical Planning in the {IPC}},
  journal   = {CoRR},
  volume    = {abs/1909.04405},
  year      = {2019},
  url       = {http://arxiv.org/abs/1909.04405},
  archivePrefix = {arXiv},
  eprint    = {1909.04405},
  timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1909-04405.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05499,
  author    = {Daniel H{\"{o}}ller and
               Gregor Behnke and
               Pascal Bercher and
               Susanne Biundo and
               Humbert Fiorino and
               Damien Pellier and
               Ronald Alford},
  title     = {{HDDL} - {A} Language to Describe Hierarchical Planning Problems},
  journal   = {CoRR},
  volume    = {abs/1911.05499},
  year      = {2019},
  url       = {http://arxiv.org/abs/1911.05499},
  archivePrefix = {arXiv},
  eprint    = {1911.05499},
  timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1911-05499.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HollerBBB18,
  author    = {Daniel H{\"{o}}ller and
               Pascal Bercher and
               Gregor Behnke and
               Susanne Biundo},
  title     = {Plan and Goal Recognition as {HTN} Planning},
  booktitle = {The Workshops of the The Thirty-Second {AAAI} Conference on Artificial
               Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018},
  series    = {{AAAI} Workshops},
  volume    = {{WS-18}},
  pages     = {607--613},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/16811},
  timestamp = {Wed, 24 Apr 2019 10:44:20 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/HollerBBB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BehnkeHB18,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Sheila A. McIlraith and
               Kilian Q. Weinberger},
  title     = {totSAT - Totally-Ordered Hierarchical Planning Through {SAT}},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  pages     = {6110--6118},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16820},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/BehnkeHB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HollerBBB18,
  author    = {Daniel H{\"{o}}ller and
               Pascal Bercher and
               Gregor Behnke and
               Susanne Biundo},
  editor    = {Mathijs de Weerdt and
               Sven Koenig and
               Gabriele R{\"{o}}ger and
               Matthijs T. J. Spaan},
  title     = {A Generic Method to Guide {HTN} Progression Search with Classical
               Heuristics},
  booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
               24-29, 2018},
  pages     = {114--122},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17764},
  timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/HollerBBB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BehnkeHB18,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Lefteri H. Tsoukalas and
               {\'{E}}ric Gr{\'{e}}goire and
               Miltiadis Alamaniotis},
  title     = {Tracking Branches in Trees - {A} Propositional Encoding for Solving
               Partially-Ordered {HTN} Planning Problems},
  booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2018, 5-7 November 2018, Volos, Greece},
  pages     = {73--80},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/ICTAI.2018.00022},
  doi       = {10.1109/ICTAI.2018.00022},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/ictai/BehnkeHB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HollerBBB18,
  author    = {Daniel H{\"{o}}ller and
               Gregor Behnke and
               Pascal Bercher and
               Susanne Biundo},
  editor    = {Lefteri H. Tsoukalas and
               {\'{E}}ric Gr{\'{e}}goire and
               Miltiadis Alamaniotis},
  title     = {Plan and Goal Recognition as {HTN} Planning},
  booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2018, 5-7 November 2018, Volos, Greece},
  pages     = {466--473},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/ICTAI.2018.00078},
  doi       = {10.1109/ICTAI.2018.00078},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/ictai/HollerBBB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BehnkeHB17,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Laura Barbulescu and
               Jeremy Frank and
               Mausam and
               Stephen F. Smith},
  title     = {This Is a Solution! {(...} But Is It Though?) - Verifying Solutions
               of Hierarchical Planning Problems},
  booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
               Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
               June 18-23, 2017},
  pages     = {20--28},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15720},
  timestamp = {Tue, 26 Sep 2017 07:30:03 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/BehnkeHB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BercherBHB17,
  author    = {Pascal Bercher and
               Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Carles Sierra},
  title     = {An Admissible {HTN} Planning Heuristic},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages     = {480--488},
  publisher = {ijcai.org},
  year      = {2017},
  url       = {https://doi.org/10.24963/ijcai.2017/68},
  doi       = {10.24963/ijcai.2017/68},
  timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/BercherBHB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/BercherHBB17,
  author    = {Pascal Bercher and
               Daniel H{\"{o}}ller and
               Gregor Behnke and
               Susanne Biundo},
  editor    = {Susanne Biundo and
               Andreas Wendemuth},
  title     = {User-Centered Planning},
  booktitle = {Companion Technology - {A} Paradigm Shift in Human-Technology Interaction},
  series    = {Cognitive Technologies},
  pages     = {79--100},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-43665-4\_5},
  doi       = {10.1007/978-3-319-43665-4\_5},
  timestamp = {Fri, 08 Dec 2017 17:18:25 +0100},
  biburl    = {https://dblp.org/rec/series/cogtech/BercherHBB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/BercherRHGHBNHSRM0DB17,
  author    = {Pascal Bercher and
               Felix Richter and
               Thilo H{\"{o}}rnle and
               Thomas Geier and
               Daniel H{\"{o}}ller and
               Gregor Behnke and
               Florian Nielsen and
               Frank Honold and
               Felix Sch{\"{u}}ssel and
               Stephan Reuter and
               Wolfgang Minker and
               Michael Weber and
               Klaus Dietmayer and
               Susanne Biundo},
  editor    = {Susanne Biundo and
               Andreas Wendemuth},
  title     = {Advanced User Assistance for Setting Up a Home Theater},
  booktitle = {Companion Technology - {A} Paradigm Shift in Human-Technology Interaction},
  series    = {Cognitive Technologies},
  pages     = {485--491},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-43665-4\_24},
  doi       = {10.1007/978-3-319-43665-4\_24},
  timestamp = {Fri, 08 Dec 2017 17:18:25 +0100},
  biburl    = {https://dblp.org/rec/series/cogtech/BercherRHGHBNHSRM0DB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BiundoHB16,
  author    = {Susanne Biundo and
               Daniel H{\"{o}}ller and
               Pascal Bercher},
  title     = {Special Issue on Companion Technologies},
  journal   = {{KI}},
  volume    = {30},
  number    = {1},
  pages     = {5--9},
  year      = {2016},
  url       = {https://doi.org/10.1007/s13218-015-0421-9},
  doi       = {10.1007/s13218-015-0421-9},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ki/BiundoHB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BiundoHSB16,
  author    = {Susanne Biundo and
               Daniel H{\"{o}}ller and
               Bernd Schattenberg and
               Pascal Bercher},
  title     = {Companion-Technology: An Overview},
  journal   = {{KI}},
  volume    = {30},
  number    = {1},
  pages     = {11--20},
  year      = {2016},
  url       = {https://doi.org/10.1007/s13218-015-0419-3},
  doi       = {10.1007/s13218-015-0419-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ki/BiundoHSB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BercherH16,
  author    = {Pascal Bercher and
               Daniel H{\"{o}}ller},
  title     = {Interview with David E. Smith},
  journal   = {{KI}},
  volume    = {30},
  number    = {1},
  pages     = {101--105},
  year      = {2016},
  url       = {https://doi.org/10.1007/s13218-015-0403-y},
  doi       = {10.1007/s13218-015-0403-y},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ki/BercherH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/AlfordBHBBA16,
  author    = {Ron Alford and
               Gregor Behnke and
               Daniel H{\"{o}}ller and
               Pascal Bercher and
               Susanne Biundo and
               David W. Aha},
  editor    = {Amanda Jane Coles and
               Andrew Coles and
               Stefan Edelkamp and
               Daniele Magazzeni and
               Scott Sanner},
  title     = {Bound to Plan: Exploiting Classical Heuristics via Automatic Translations
               of Tail-Recursive {HTN} Problems},
  booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages     = {20--28},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13174},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/AlfordBHBBA16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BehnkeHBB16,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Pascal Bercher and
               Susanne Biundo},
  editor    = {Amanda Jane Coles and
               Andrew Coles and
               Stefan Edelkamp and
               Daniele Magazzeni and
               Scott Sanner},
  title     = {Change the Plan - How Hard Can That Be?},
  booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages     = {38--46},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13099},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/BehnkeHBB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HollerBBB16,
  author    = {Daniel H{\"{o}}ller and
               Gregor Behnke and
               Pascal Bercher and
               Susanne Biundo},
  editor    = {Amanda Jane Coles and
               Andrew Coles and
               Stefan Edelkamp and
               Daniele Magazzeni and
               Scott Sanner},
  title     = {Assessing the Expressivity of Planning Formalisms through the Comparison
               to Formal Languages},
  booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages     = {158--165},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13123},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/HollerBBB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BercherHBB16,
  author    = {Pascal Bercher and
               Daniel H{\"{o}}ller and
               Gregor Behnke and
               Susanne Biundo},
  editor    = {Gal A. Kaminka and
               Maria Fox and
               Paolo Bouquet and
               Eyke H{\"{u}}llermeier and
               Virginia Dignum and
               Frank Dignum and
               Frank van Harmelen},
  title     = {More than a Name? On Implications of Preconditions and Effects of
               Compound {HTN} Planning Tasks},
  booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {285},
  pages     = {225--233},
  publisher = {{IOS} Press},
  year      = {2016},
  url       = {https://doi.org/10.3233/978-1-61499-672-9-225},
  doi       = {10.3233/978-1-61499-672-9-225},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ecai/BercherHBB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BercherRHGHBNHM15,
  author    = {Pascal Bercher and
               Felix Richter and
               Thilo H{\"{o}}rnle and
               Thomas Geier and
               Daniel H{\"{o}}ller and
               Gregor Behnke and
               Florian Nothdurft and
               Frank Honold and
               Wolfgang Minker and
               Michael Weber and
               Susanne Biundo},
  editor    = {Blai Bonet and
               Sven Koenig},
  title     = {A Planning-Based Assistance System for Setting Up a Home Theater},
  booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
               January 25-30, 2015, Austin, Texas, {USA}},
  pages     = {4264--4265},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9511},
  timestamp = {Sun, 12 Apr 2015 12:16:43 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/BercherRHGHBNHM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BehnkeHB15,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Ronen I. Brafman and
               Carmel Domshlak and
               Patrik Haslum and
               Shlomo Zilberstein},
  title     = {On the Complexity of {HTN} Plan Verification and Its Implications
               for Plan Recognition},
  booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
               2015},
  pages     = {25--33},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10620},
  timestamp = {Tue, 26 May 2015 21:03:02 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/BehnkeHB15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/companion/BercherHBB15,
  author    = {Pascal Bercher and
               Daniel H{\"{o}}ller and
               Gregor Behnke and
               Susanne Biundo},
  editor    = {Susanne Biundo{-}Stephan and
               Andreas Wendemuth and
               Enrico Rukzio},
  title     = {User-Centered Planning - {A} Discussion on Planning in the Presence
               of Human Users},
  booktitle = {Proceedings of the 1st International Symposium on Companion-Technology
               {(ISCT} 2015), September 23rd-25th, Ulm University, Germany},
  pages     = {79--83},
  publisher = {Ulm University},
  year      = {2015},
  timestamp = {Wed, 28 Feb 2018 12:35:13 +0100},
  biburl    = {https://dblp.org/rec/conf/companion/BercherHBB15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HollerBBB14,
  author    = {Daniel H{\"{o}}ller and
               Gregor Behnke and
               Pascal Bercher and
               Susanne Biundo},
  editor    = {Torsten Schaub and
               Gerhard Friedrich and
               Barry O'Sullivan},
  title     = {Language Classification of Hierarchical Planning Problems},
  booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
               18-22 August 2014, Prague, Czech Republic - Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {263},
  pages     = {447--452},
  publisher = {{IOS} Press},
  year      = {2014},
  url       = {https://doi.org/10.3233/978-1-61499-419-0-447},
  doi       = {10.3233/978-1-61499-419-0-447},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ecai/HollerBBB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics