Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme)
Betreuer
Adresse
Gebäude: E II, 2. OG
Raum: 6212a
Ahornstraße 55
52074 Aachen
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning In: RoboCup 2022 : Robot World Cup XXV / edited by Amy Eguchi, Nuno Lau, Maike Paetzel-Prüsmann, Thanapat Wanichanon, 300-312, 2023 [DOI: 10.1007/978-3-031-28469-4_25] | Viehmann, Tarik (Corresponding author) Limpert, Nicolas Hofmann, Till Henning, Mike Ferrein, Alexander et al. |
| [Beitrag zu einem Tagungsband] Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning In: [ICAPS Workshop on Planning and Robotics, ICAPS PlanRob], 2022 | Swoboda, Daniel Hofmann, Till Viehmann, Tarik Lakemeyer, Gerhard |
| [Preprint] On the Verification of Belief Programs, 2022 | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 1951-1958, 2021 [DOI: 10.24963/ijcai.2021/269] | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 1908-1914, 2021 [DOI: 10.24963/ijcai.2021/263] | Habering, Daniel (Corresponding author) Hofmann, Till (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 2083-2089, 2021 [DOI: 10.24963/ijcai.2021/287] | Viehmann, Tarik (Corresponding author) Hofmann, Till (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Preprint] Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints, 2021 [DOI: 10.18154/RWTH-2021-02072] | Hofmann, Till (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Portable High-level Agent Programming with golog++ In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227, 2021 [DOI: 10.5220/0010253902180227] | Mataré, Victor Viehmann, Tarik Hofmann, Till Lakemeyer, Gerhard Ferrein, Alexander et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence / editors: Ana Paula Rocha ; Luc Steels and Jaap van den Herik. - . Volume 1: Online, 04-06.02.2021, 80-91, 2021 [DOI: 10.5220/0010252600800091] | Hofmann, Till (Corresponding author) Viehmann, Tarik Gomaa, Mostafa Habering, Daniel Niemüller, Tim Dieter et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Macro Operator Synthesis for ADL Domains In: ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings / edited by Giuseppe De Giacomo [and six others], 761-768, 2020 [DOI: 10.3233/FAIA200164] | Hofmann, Till (Corresponding author) Niemüller, Tim Dieter Lakemeyer, Gerhard |
| [Bericht] The Carologistics RoboCup Logistics Team 2020, 2020 | Hofmann, Till Eltester, Sebastian Viehmann, Tarik Limpert, Nicolas Mataré, Victor et al. |
| [Beitrag zu einem Tagungsband] Constraint-based Plan Transformation in a Safe and Usable GOLOG Language In: Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP), 2 Seiten, 2020 | Mataré, Victor Schiffer, Stefan Ferrein, Alexander Antoine Viehmann, Tarik Hofmann, Till et al. |
| [Poster] Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints In: 17. International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18, 2020 | Hofmann, Till Lakemeyer, Gerhard |
| [Bericht] The Carologistics RoboCup Logistics Team 2019, 2019 | Hofmann, Till Limpert, Nicolas Mataré, Victor Ferrein, Alexander Lakemeyer, Gerhard |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution In: Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling : 11-15 July 2019, Berkeley, California, USA / ICAPS 2019 ; edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David. E. Smith, & Siddharth Srivastava, 754-763, 2019 | Niemüller, Tim Dieter (Corresponding author) Hofmann, Till (Corresponding author) Lakemeyer, Gerhard |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019 [DOI: 10.1007/978-3-030-35699-6_41] | Hofmann, Till (Corresponding author) Limpert, Nicolas Mataré, Victor Ferrein, Alexander Lakemeyer, Gerhard |
| [Beitrag zu einem Tagungsband] CLIPS-based Execution for PDDL Planners In: Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten, 2018 | Niemüller, Tim Dieter Hofmann, Till Lakemeyer, Gerhard |
| [Bericht] The Carologistics RoboCup Logistics Team 2018, 2018 | Hofmann, Till Limpert, Nicolas Mataré, Victor Schönitz, Sebastian Niemüller, Tim Dieter et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions In: The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553, 2018 | Hofmann, Till Mataré, Victor Schiffer, Stefan Alexander, Ferrein Lakemeyer, Gerhard |
| [Beitrag zu einem Tagungsband] A Logic for Specifying Metric Temporal Constraints for Golog Programs In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46, 2018 | Hofmann, Till Lakemeyer, Gerhard |