2023 Dominik Drexler, Jendrik Seipp, Hector Geffner (2023) Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules 20th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece, September 2-8, 2023 2022 Dominik Drexler, Jendrik Seipp, Hector Geffner (2022) Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS2022) 2021 Dominik Drexler, Jendrik Seipp, Hector Geffner (2021) Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches 18th International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, November 3-12, 2021 Dominik Drexler, Jendrik Seipp, David Speck (2021) Subset-Saturated Transition Cost Partitioning 31st International Conference on Automated Planning and Scheduling, Guangzhou, August 2-13, 2021, s. 131-139
Dominik Drexler, Jendrik Seipp, Hector Geffner (2023) Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules 20th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece, September 2-8, 2023
Dominik Drexler, Jendrik Seipp, Hector Geffner (2022) Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS2022)
Dominik Drexler, Jendrik Seipp, Hector Geffner (2021) Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches 18th International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, November 3-12, 2021
Dominik Drexler, Jendrik Seipp, David Speck (2021) Subset-Saturated Transition Cost Partitioning 31st International Conference on Automated Planning and Scheduling, Guangzhou, August 2-13, 2021, s. 131-139
Artificiell intelligens och integrerade datorsystem (AIICS) Verksamheten vid avdelningen AIICS, Institutionen för datavetenskap, är fokuserad på forskning och undervisning inom artificiell intelligens, dess teoretiska grunder och dess tillämpningar.
William Ahlberg Forskningsingenjör Nisa Andersson Tekniker Olov Andersson Postdoktor Mohsen Asgari Doktorand Cyrille Berger Universitetslektor David Bergström Doktorand Marcel Bollmann Universitetslektor Christer Bäckström Universitetslektor, Docent Peter Dalenius Universitetsadjunkt Patrick Doherty Professor Ehsan Doostmohammadi Doktorand Leif Eriksson Doktorand Hoda Fakharzadehjahromy Doktorand Johannes Klaus Fichte Universitetslektor Martin Forsberg Amanuens Markus Fritzsche Doktorand Martin Funkquist Doktorand Hector Geffner Gästprofessor Daniel Gnad Biträdande universitetslektor Julia Hannu Forskningsingenjör Arash Haratian Amanuens Fredrik Heintz Professor, Avdelningschef, Enhetschef Oskar Holmström Doktorand Paul Höft Doktorand Peter Jonsson Professor, Enhetschef Lowe Kozak Åslöv Amanuens Marco Kuhlmann Proprefekt, Professor, Enhetschef Jenny Kunz Doktorand Jonas Kvarnström Universitetslektor, Docent Lars Johan Källström Victor Lagerkvist Universitetslektor, Docent Katerina Linden Postdoktor Dennis Malmgren Linda Mannila Adjungerad universitetslektor Farid Musayev Doktorand Mikael Nilsson Ulf Nilsson Professor emeritus George Osipov Doktorand Tommy Persson Forskningsingenjör Fredrik Präntare Doktorand Fawad Qayum Koordinator Piotr Rudol Forskningsingenjör Erik Sandewall Professor emeritus Jendrik Seipp Biträdande universitetslektor, Docent Md Fahim Sikder Doktorand Mika Skjelnes Doktorand David Speck Postdoktor Akshath Srinivas Amanuens Simon Ståhlberg Förste forskningsingenjör Andrzej Szalas Professor emeritus Mattias Tiger Postdoktor Olle Torstensson Doktorand Emil Wiman Doktorand Mariusz Wzorek Forskningsingenjör Daniel de Leng Postdoktor Visa alla Visa färre
Institutionen för datavetenskap (IDA) En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.