Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans., , , und . FLAIRS, AAAI Press, (2023)New Developments for Robert - Assisting Novice Users Even Better in DIY Projects., , , , , , , , , und 2 andere Autor(en). ICAPS, Seite 343-347. AAAI Press, (2020)On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition., , und . ICAPS, Seite 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., und . Inteligencia Artif., 21 (62): 75-90 (2018)On Succinct Groundings of HTN Planning Problems., , , , und . AAAI, Seite 9775-9784. AAAI Press, (2020)Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning., , und . AAAI, Seite 7520-7529. AAAI Press, (2019)Making Translations to Classical Planning Competitive with Other HTN Planners., , , , und . AAAI, Seite 9687-9697. AAAI Press, (2022)Evaluating Knowledge-Based Assistance for DIY., , , , , , , , und . MuC (Workshopband), Gesellschaft für Informatik e.V., (2018)On Guiding Search in HTN Planning with Classical Planning Heuristics., , , und . IJCAI, Seite 6171-6175. ijcai.org, (2019)Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All., , , , , , und . IJCAI, Seite 1442-1449. AAAI Press, (2015)