( en | de | ru )

 

Disambiguation of "Behnke, Gregor"

Author of the publication

copydeleteadd this publication to your clipboard
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification.

, and . ICAPS, page 20-24. AAAI Press, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Felix Behnke

Dennis Behnke

Katja Behnke

Berit Behnke

Horst Behnke

 

Other publications of authors with the same name

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans., , , and . FLAIRS, AAAI Press, (2023)New Developments for Robert - Assisting Novice Users Even Better in DIY Projects., , , , , , , , , and 2 other author(s). ICAPS, page 343-347. AAAI Press, (2020)On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition., , and . ICAPS, page 25-33. AAAI Press, (2015)X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism., and . Inteligencia Artif., 21 (62): 75-90 (2018)Making Translations to Classical Planning Competitive with Other HTN Planners., , , , and . AAAI, page 9687-9697. AAAI Press, (2022)On Succinct Groundings of HTN Planning Problems., , , , and . AAAI, page 9775-9784. AAAI Press, (2020)Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning., , and . AAAI, page 7520-7529. AAAI Press, (2019)On Guiding Search in HTN Planning with Classical Planning Heuristics., , , and . IJCAI, page 6171-6175. ijcai.org, (2019)Evaluating Knowledge-Based Assistance for DIY., , , , , , , , and . MuC (Workshopband), Gesellschaft für Informatik e.V., (2018)Hierarchical planning through propositional logic : highly efficient, versatile, and flexible. University of Ulm, Germany, (2019)base-search.net (ftunivulm:oai:oparu.uni-ulm.de:123456789/23459).