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
386. 
|
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.
|
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.
|
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.
|
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.
|
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.
|
A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)
2018
|
|
380.
|
Hybrides Planen — Von der Theorie zur Praxis
Proc. of Ausgezeichnete Informatikdissertationen
Herausgeber: Gesellschaft für Informatik,
2018
|
|
379.
|
HTN Plan Repair Using Unmodified Planning Systems
Proceedings of the First ICAPS Workshop on Hierarchical Planning
, Seite 26--30.
2018
|
|
378.
|
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.
|
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
|