Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.

Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.

Publikationen des Instituts für Künstliche Intelligenz

Jahr  
Alle :: 1992, ... , 2015, 2016, 2017, 2018

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

386.
pdf
Behnke, Gregor; Biundo, Susanne
X and more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism
Inteligencia Artificial, 21(62):75--90
2018
385.
pdf
Bercher, Pascal; Höller, Daniel; Biundo, Susanne; Alford, Ron
Proceedings of the 1st ICAPS Workshop on Hierarchical Planning
In Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Editor,
2018
384.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
totSAT - Totally-Ordered Hierarchical Planning through SAT
Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018) , Seite 6110--6118.
Herausgeber: AAAI Press,
2018
383.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
Plan and Goal Recognition as HTN Planning
Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018) , Seite 607--613.
2018
382.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
A Generic Method to Guide HTN Progression Search with Classical Heuristics
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018) , Seite 114--122.
Herausgeber: AAAI Press,
2018
381.
pdf
Kraus, Matthias; Behnke, Gregor; Bercher, Pascal; Schiller, Marvin; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)
2018
380.
pdf
Bercher, Pascal
Hybrides Planen — Von der Theorie zur Praxis
Proc. of Ausgezeichnete Informatikdissertationen
Herausgeber: Gesellschaft für Informatik,
2018
379.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
HTN Plan Repair Using Unmodified Planning Systems
Proceedings of the First ICAPS Workshop on Hierarchical Planning , Seite 26--30.
2018
378.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems
Proceedings of the First ICAPS Workshop on Hierarchical Planning , Seite 40--47.
2018
377.
pdf
Behnke, Gregor; Biundo, Susanne
X and more Parallelism - Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism
Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS)
2018
Export als: BibTeX, XML