Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gregor Behnke
@inproceedings{DBLP:conf/aaai/BachorB24,
author = {Pascal Bachor and
Gregor Behnke},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Learning Planning Domains from Non-redundant Fully-Observed Traces:
Theoretical Foundations and Complexity Analysis},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {20028--20035},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i18.29980},
doi = {10.1609/AAAI.V38I18.29980},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BachorB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Behnke24,
author = {Gregor Behnke},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Symbolic Reasoning Methods for {AI} Planning},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {22661},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i20.30277},
doi = {10.1609/AAAI.V38I20.30277},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Behnke24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-17826,
author = {Gregor Behnke and
Marcel Steinmetz},
title = {On the Computational Complexity of Stackelberg Planning and Meta-Operator
Verification: Technical Report},
journal = {CoRR},
volume = {abs/2403.17826},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.17826},
doi = {10.48550/ARXIV.2403.17826},
eprinttype = {arXiv},
eprint = {2403.17826},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-17826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinBOBB23,
author = {Songtuan Lin and
Gregor Behnke and
Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {On Total-Order {HTN} Plan Verification with Method Preconditions -
An Extension of the {CYK} Parsing Algorithm},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {12041--12048},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i10.26420},
doi = {10.1609/AAAI.V37I10.26420},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LinBOBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Behnke00S23,
author = {Gregor Behnke and
David Speck and
Michael Katz and
Shirin Sohrabi},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {On Partial Satisfaction Planning with Total-Order HTNs},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {42--51},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27177},
doi = {10.1609/ICAPS.V33I1.27177},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/Behnke00S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LinBB23,
author = {Songtuan Lin and
Gregor Behnke and
Pascal Bercher},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Accelerating SAT-Based {HTN} Plan Verification by Exploiting Data
Structures from {HTN} Planning},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1489--1496},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230428},
doi = {10.3233/FAIA230428},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LinBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/OndrckovaBBB23,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher and
Gregor Behnke},
editor = {Michael Franklin and
Soon Ae Chun},
title = {Lessons Learned from the {CYK} Algorithm for Parsing-based Verification
of Hierarchical Plans},
booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2023, Clearwater Beach, FL,
USA, May 14-17, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.32473/flairs.36.133196},
doi = {10.32473/FLAIRS.36.133196},
timestamp = {Sat, 30 Sep 2023 09:41:17 +0200},
biburl = {https://dblp.org/rec/conf/flairs/OndrckovaBBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/OndrckovaBBB23,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher and
Gregor Behnke},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {On the Impact of Grounding on {HTN} Plan Verification via Parsing},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 3, Lisbon, Portugal, February
22-24, 2023},
pages = {92--99},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011618400003393},
doi = {10.5220/0011618400003393},
timestamp = {Tue, 09 May 2023 16:57:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/OndrckovaBBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/BehnkeW23,
author = {Gregor Behnke and
Niklas Wais},
editor = {Matthias Grabmair and
Francisco Andrade and
Paulo Novais},
title = {On the Semantic Difference of Judicial and Standard Language},
booktitle = {Proceedings of the Nineteenth International Conference on Artificial
Intelligence and Law, {ICAIL} 2023, Braga, Portugal, June 19-23, 2023},
pages = {382--386},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3594536.3595123},
doi = {10.1145/3594536.3595123},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/BehnkeW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BehnkePHBA22,
author = {Gregor Behnke and
Florian Pollitt and
Daniel H{\"{o}}ller and
Pascal Bercher and
Ron Alford},
title = {Making Translations to Classical Planning Competitive with Other {HTN}
Planners},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9687--9697},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21203},
doi = {10.1609/AAAI.V36I9.21203},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BehnkePHBA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HollerB22,
author = {Daniel H{\"{o}}ller and
Gregor Behnke},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Encoding Lifted Classical Planning in Propositional Logic},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {134--144},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19794},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/HollerB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HollerWBB22,
author = {Daniel H{\"{o}}ller and
Julia Wichlacz and
Pascal Bercher and
Gregor Behnke},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Compiling {HTN} Plan Verification Problems into {HTN} Planning Problems},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {145--150},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19795},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/HollerWBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/OndrckovaBBB22,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher and
Gregor Behnke},
editor = {Roman Bart{\'{a}}k and
Fazel Keshtkar and
Michael Franklin},
title = {On Heuristics for Parsing-based Verification of Hierarchical Plans
with a Goal Task},
booktitle = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
Beach, Florida, USA, May 15-18, 2022},
year = {2022},
url = {https://doi.org/10.32473/flairs.v35i.130606},
doi = {10.32473/FLAIRS.V35I.130606},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/OndrckovaBBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BercherHBBSA21,
author = {Pascal Bercher and
Daniel H{\"{o}}ller and
Gregor Behnke and
Susanne Biundo and
Vikas Shivashankar and
Ron Alford},
title = {Report on the First and Second Workshops on Hierarchical Planning
Held at the International Conference on Automated Planning and Scheduling},
journal = {{AI} Mag.},
volume = {42},
number = {1},
pages = {83--85},
year = {2021},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/7393},
doi = {10.1002/J.2371-9621.2021.TB00014.X},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BercherHBBSA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BercherBKSMDDMG21,
author = {Pascal Bercher and
Gregor Behnke and
Matthias Kraus and
Marvin R. G. Schiller and
Dietrich Manstetten and
Michael Dambier and
Michael Dorna and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
title = {Do It Yourself, but Not Alone: Companion-Technology for Home Improvement
- Bringing a Planning-Based Interactive {DIY} Assistant to Life},
journal = {K{\"{u}}nstliche Intell.},
volume = {35},
number = {3},
pages = {367--375},
year = {2021},
url = {https://doi.org/10.1007/s13218-021-00721-x},
doi = {10.1007/S13218-021-00721-X},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BercherBKSMDDMG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/HollerBBB21,
author = {Daniel H{\"{o}}ller and
Gregor Behnke and
Pascal Bercher and
Susanne Biundo},
title = {The {PANDA} Framework for Hierarchical Planning},
journal = {K{\"{u}}nstliche Intell.},
volume = {35},
number = {3},
pages = {391--396},
year = {2021},
url = {https://doi.org/10.1007/s13218-020-00699-y},
doi = {10.1007/S13218-020-00699-Y},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/HollerBBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Behnke021,
author = {Gregor Behnke and
David Speck},
title = {Symbolic Search for Optimal Total-Order {HTN} Planning},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11744--11754},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17396},
doi = {10.1609/AAAI.V35I13.17396},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Behnke021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Behnke21,
author = {Gregor Behnke},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Block Compression and Invariant Pruning for SAT-based Totally-Ordered
{HTN} Planning},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {25--35},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15943},
timestamp = {Wed, 30 Aug 2023 08:38:08 +0200},
biburl = {https://dblp.org/rec/conf/aips/Behnke21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HollerB21,
author = {Daniel H{\"{o}}ller and
Gregor Behnke},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Loop Detection in the {PANDA} Planning System},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {168--173},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15959},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/HollerB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakOBB21,
author = {Roman Bart{\'{a}}k and
Simona Ondrckov{\'{a}} and
Gregor Behnke and
Pascal Bercher},
title = {On the Verification of Totally-Ordered {HTN} Plans},
booktitle = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
pages = {263--267},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICTAI52525.2021.00043},
doi = {10.1109/ICTAI52525.2021.00043},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/BartakOBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BartakOBB21,
author = {Roman Bart{\'{a}}k and
Simona Ondrckov{\'{a}} and
Gregor Behnke and
Pascal Bercher},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Correcting Hierarchical Plans by Action Deletion},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {99--109},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/10},
doi = {10.24963/KR.2021/10},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/BartakOBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HollerBBB20,
author = {Daniel H{\"{o}}ller and
Pascal Bercher and
Gregor Behnke and
Susanne Biundo},
title = {{HTN} Planning as Heuristic Progression Search},
journal = {J. Artif. Intell. Res.},
volume = {67},
pages = {835--880},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11282},
doi = {10.1613/JAIR.1.11282},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/HollerBBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BehnkeHSBB20,
author = {Gregor Behnke and
Daniel H{\"{o}}ller and
Alexander Schmid and
Pascal Bercher and
Susanne Biundo},
title = {On Succinct Groundings of {HTN} Planning Problems},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9775--9784},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6529},
doi = {10.1609/AAAI.V34I06.6529},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BehnkeHSBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HollerBBBFPA20,
author = {Daniel H{\"{o}}ller and
Gregor Behnke and
Pascal Bercher and
Susanne Biundo and
Humbert Fiorino and
Damien Pellier and
Ron Alford},
title = {{HDDL:} An Extension to {PDDL} for Expressing Hierarchical Planning
Problems},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9883--9891},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6542},
doi = {10.1609/AAAI.V34I06.6542},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HollerBBBFPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BehnkeBKSMHDDMM20,
author = {Gregor Behnke and
Pascal Bercher and
Matthias Kraus and
Marvin R. G. Schiller and
Kristof Mickeleit and
Timo H{\"{a}}ge and
Michael Dorna and
Michael Dambier and
Dietrich Manstetten and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {New Developments for Robert - Assisting Novice Users Even Better in
{DIY} Projects},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {343--347},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6679},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/BehnkeBKSMHDDMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/KrausSBBDDGBM20,
author = {Matthias Kraus and
Marvin R. G. Schiller and
Gregor Behnke and
Pascal Bercher and
Michael Dorna and
Michael Dambier and
Birte Glimm and
Susanne Biundo and
Wolfgang Minker},
editor = {Khiet P. Truong and
Dirk Heylen and
Mary Czerwinski and
Nadia Berthouze and
Mohamed Chetouani and
Mikio Nakano},
title = {"Was that successful?" On Integrating Proactive Meta-Dialogue
in a DIY-Assistant using Multimodal Cues},
booktitle = {{ICMI} '20: International Conference on Multimodal Interaction, Virtual
Event, The Netherlands, October 25-29, 2020},
pages = {585--594},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382507.3418818},
doi = {10.1145/3382507.3418818},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmi/KrausSBBDDGBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakOMBB20,
author = {Roman Bart{\'{a}}k and
Simona Ondrckov{\'{a}} and
Adrien Maillard and
Gregor Behnke and
Pascal Bercher},
title = {A Novel Parsing-based Approach for Verification of Hierarchical Plans},
booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
pages = {118--125},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICTAI50040.2020.00029},
doi = {10.1109/ICTAI50040.2020.00029},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/BartakOMBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HollerBB20,
author = {Daniel H{\"{o}}ller and
Pascal Bercher and
Gregor Behnke},
editor = {Christian Bessiere},
title = {Delete- and Ordering-Relaxation Heuristics for {HTN} Planning},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4076--4083},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/564},
doi = {10.24963/IJCAI.2020/564},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/HollerBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HollerBBB20,
author = {Daniel H{\"{o}}ller and
Pascal Bercher and
Gregor Behnke and
Susanne Biundo},
editor = {Ute Schmid and
Franziska Kl{\"{u}}gl and
Diedrich Wolter},
title = {{HTN} Plan Repair via Model Transformation},
booktitle = {{KI} 2020: Advances in Artificial Intelligence - 43rd German Conference
on AI, Bamberg, Germany, September 21-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12325},
pages = {88--101},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58285-2\_7},
doi = {10.1007/978-3-030-58285-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HollerBBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Behnke19,
author = {Gregor Behnke},
title = {Hierarchical planning through propositional logic : highly efficient,
versatile, and flexible},
school = {University of Ulm, Germany},
year = {2019},
url = {https://doi.org/10.18725/OPARU-23396},
doi = {10.18725/OPARU-23396},
urn = {urn:nbn:de:bsz:289-oparu-23459-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Behnke19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BehnkeSKBSDDMGB19,
author = {Gregor Behnke and
Marvin R. G. Schiller and
Matthias Kraus and
Pascal Bercher and
Mario Schmautz and
Michael Dorna and
Michael Dambier and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
title = {Alice in {DIY} wonderland or: Instructing novice users on how to use
tools in {DIY} projects},
journal = {{AI} Commun.},
volume = {32},
number = {1},
pages = {31--57},
year = {2019},
url = {https://doi.org/10.3233/AIC-180604},
doi = {10.3233/AIC-180604},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BehnkeSKBSDDMGB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 04 Sep 2023 12:29:24 +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 = {Thu, 14 Oct 2021 01:00:00 +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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HollerBBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/gidiss/Behnke19,
author = {Gregor Behnke},
editor = {Steffen H{\"{o}}lldobler and
Sven Apel and
Abraham Bernstein and
Felix C. Freiling and
Hans{-}Peter Lenhof and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Kay Uwe R{\"{o}}mer and
Bj{\"{o}}rn Scheuermann and
Nicole Schweikardt and
Myra Spiliopoulou and
Sabine S{\"{u}}sstrunk and
Klaus Wehrle},
title = {Hierarchisches Planen durch Propositionale Logik},
booktitle = {Ausgezeichnete Informatikdissertationen 2019},
series = {{LNI}},
volume = {{D-20}},
pages = {39--48},
publisher = {{GI}},
year = {2019},
url = {https://dl.gi.de/handle/20.500.12116/38020},
timestamp = {Thu, 16 Nov 2023 14:56:09 +0100},
biburl = {https://dblp.org/rec/series/gidiss/Behnke19.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},
eprinttype = {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},
eprinttype = {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}
}
@article{DBLP:journals/aepia/BehnkeB18,
author = {Gregor Behnke and
Susanne Biundo},
title = {X and more Parallelism. Integrating LTL-Next into SAT-based Planning
with Trajectory Constraints while Allowing for even more Parallelism},
journal = {Inteligencia Artif.},
volume = {21},
number = {62},
pages = {75--90},
year = {2018},
url = {https://doi.org/10.4114/intartif.vol21iss62pp75-90},
doi = {10.4114/INTARTIF.VOL21ISS62PP75-90},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/BehnkeB18.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} Technical Report},
volume = {{WS-18}},
pages = {607--613},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/16811},
timestamp = {Mon, 04 Sep 2023 16:46:41 +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://doi.org/10.1609/aaai.v32i1.12083},
doi = {10.1609/AAAI.V32I1.12083},
timestamp = {Mon, 04 Sep 2023 12:29:24 +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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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 = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/HollerBBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BehnkeSKBSDMGB18,
author = {Gregor Behnke and
Marvin R. G. Schiller and
Matthias Kraus and
Pascal Bercher and
Mario Schmautz and
Michael Dorna and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Instructing Novice Users on How to Use Tools in {DIY} Projects},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5805--5807},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/844},
doi = {10.24963/IJCAI.2018/844},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BehnkeSKBSDMGB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsds/KrausSBBBGM18,
author = {Matthias Kraus and
Marvin R. G. Schiller and
Gregor Behnke and
Pascal Bercher and
Susanne Biundo and
Birte Glimm and
Wolfgang Minker},
editor = {Luis Fernando D'Haro and
Rafael E. Banchs and
Haizhou Li},
title = {A Multimodal Dialogue Framework for Cloud-Based Companion Systems},
booktitle = {9th International Workshop on Spoken Dialogue System Technology, {IWSDS}
2018, Singapore, April 18-20, 2018},
series = {Lecture Notes in Electrical Engineering},
volume = {579},
pages = {405--410},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-9443-0\_36},
doi = {10.1007/978-981-13-9443-0\_36},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwsds/KrausSBBBGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc/SchillerBBKDRBG18,
author = {Marvin R. G. Schiller and
Gregor Behnke and
Pascal Bercher and
Matthias Kraus and
Michael Dorna and
Felix Richter and
Susanne Biundo and
Birte Glimm and
Wolfgang Minker},
editor = {Raimund Dachselt and
Gerhard Weber},
title = {Evaluating Knowledge-Based Assistance for {DIY}},
booktitle = {Mensch und Computer 2018 - Workshopband, Dresden, Germany, September
2-5, 2018},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2018},
url = {https://doi.org/10.18420/muc2018-ws19-0551},
doi = {10.18420/MUC2018-WS19-0551},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mc/SchillerBBKDRBG18.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/companion/BehnkeLBHN0B17,
author = {Gregor Behnke and
Benedikt Leichtmann and
Pascal Bercher and
Daniel H{\"{o}}ller and
Verena Nitsch and
Martin Baumann and
Susanne Biundo},
title = {Help me make a dinner! Challenges when assisting humans in action
planning},
booktitle = {International Conference on Companion Technology, {ICCT} 2017, Ulm,
Germany, September 11-13, 2017},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/icct42709.2017.9151907},
doi = {10.1109/ICCT42709.2017.9151907},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/companion/BehnkeLBHN0B17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/companion/BehnkeNSBKMGB17,
author = {Gregor Behnke and
Florian Nielsen and
Marvin R. G. Schiller and
Pascal Bercher and
Matthias Kraus and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
title = {Sloth - The interactive workout planner},
booktitle = {International Conference on Companion Technology, {ICCT} 2017, Ulm,
Germany, September 11-13, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/COMPANION.2017.8287077},
doi = {10.1109/COMPANION.2017.8287077},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/companion/BehnkeNSBKMGB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/companion/SchillerBSBKDMG17,
author = {Marvin R. G. Schiller and
Gregor Behnke and
Mario Schmautz and
Pascal Bercher and
Matthias Kraus and
Michael Dorna and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
title = {A paradigm for coupling procedural and conceptual knowledge in companion
systems},
booktitle = {International Conference on Companion Technology, {ICCT} 2017, Ulm,
Germany, September 11-13, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/COMPANION.2017.8287072},
doi = {10.1109/COMPANION.2017.8287072},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/companion/SchillerBSBKDMG17.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 = {Thu, 14 Oct 2021 01:00:00 +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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/BercherHBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/BehnkeNSPBGMB17,
author = {Gregor Behnke and
Florian Nielsen and
Marvin R. G. Schiller and
Denis K. Ponomaryov and
Pascal Bercher and
Birte Glimm and
Wolfgang Minker and
Susanne Biundo},
editor = {Susanne Biundo and
Andreas Wendemuth},
title = {To Plan for the User Is to Plan with the User: Integrating User Interaction
into the Planning Process},
booktitle = {Companion Technology - {A} Paradigm Shift in Human-Technology Interaction},
series = {Cognitive Technologies},
pages = {123--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-43665-4\_7},
doi = {10.1007/978-3-319-43665-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/BehnkeNSPBGMB17.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 = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/cogtech/BercherRHGHBNHSRM0DB17.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 01:00:00 +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 01:00:00 +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 = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BercherHBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsds/NothdurftBBM16,
author = {Florian Nothdurft and
Pascal Bercher and
Gregor Behnke and
Wolfgang Minker},
editor = {Kristiina Jokinen and
Graham Wilcock},
title = {User Involvement in Collaborative Decision-Making Dialog Systems},
booktitle = {Dialogues with Social Robots - Enablements, Analyses, and Evaluation,
Seventh International Workshop on Spoken Dialogue Systems, {IWSDS}
2016, Saariselk{\"{a}}, Finland, January 13-16, 2016},
series = {Lecture Notes in Electrical Engineering},
volume = {427},
pages = {129--141},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-981-10-2585-3\_10},
doi = {10.1007/978-981-10-2585-3\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwsds/NothdurftBBM16.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 = {https://doi.org/10.1609/aaai.v29i1.9274},
doi = {10.1609/AAAI.V29I1.9274},
timestamp = {Mon, 18 Sep 2023 01:00:00 +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/BehnkeSPNBMGB15,
author = {Gregor Behnke and
Marvin R. G. Schiller and
Denis K. Ponomaryov and
Florian Nothdurft and
Pascal Bercher and
Wolfgang Minker and
Birte Glimm and
Susanne Biundo},
editor = {Susanne Biundo{-}Stephan and
Andreas Wendemuth and
Enrico Rukzio},
title = {A Unified Knowledge Base for Companion-Systems - {A} Case Study for
Mixed-Initiative Planning},
booktitle = {Proceedings of the 1st International Symposium on Companion-Technology
{(ISCT} 2015), September 23rd-25th, Ulm University, Germany},
pages = {43--48},
publisher = {Ulm University},
year = {2015},
timestamp = {Wed, 28 Feb 2018 12:35:13 +0100},
biburl = {https://dblp.org/rec/conf/companion/BehnkeSPNBMGB15.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/companion/BercherHBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BehnkeBBGPS15,
author = {Gregor Behnke and
Pascal Bercher and
Susanne Biundo and
Birte Glimm and
Denis K. Ponomaryov and
Marvin R. G. Schiller},
editor = {Diego Calvanese and
Boris Konev},
title = {Integrating Ontologies and Planning for Cognitive Systems},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-43.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BehnkeBBGPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BehnkePSBNGB15,
author = {Gregor Behnke and
Denis K. Ponomaryov and
Marvin R. G. Schiller and
Pascal Bercher and
Florian Nothdurft and
Birte Glimm and
Susanne Biundo},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Coherence Across Components in Cognitive Systems - One Ontology to
Rule Them All},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1442--1449},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/207},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BehnkePSBNGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdial/NothdurftBBBM15,
author = {Florian Nothdurft and
Gregor Behnke and
Pascal Bercher and
Susanne Biundo and
Wolfgang Minker},
title = {The Interplay of User-Centered Dialog Systems and {AI} Planning},
booktitle = {Proceedings of the {SIGDIAL} 2015 Conference, The 16th Annual Meeting
of the Special Interest Group on Discourse and Dialogue, 2-4 September
2015, Prague, Czech Republic},
pages = {344--353},
publisher = {The Association for Computer Linguistics},
year = {2015},
url = {https://doi.org/10.18653/v1/w15-4646},
doi = {10.18653/V1/W15-4646},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigdial/NothdurftBBBM15.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 = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HollerBBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
