2018 Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2018) Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), s. 180-189 2016 Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2016) Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification Acta Informatica, Vol. 53, s. 723-752 Vidare till DOI 2015 Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2015) Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6–8, 2014, Revised Selected Papers, s. 243-261 Vidare till DOI Mikael Nilsson (2015) Efficient Temporal Reasoning with Uncertainty 2014 Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2014) Incremental Dynamic Controllability in Cubic Worst-Case Time Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), s. 17-26 Vidare till DOI
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2018) Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), s. 180-189
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2016) Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification Acta Informatica, Vol. 53, s. 723-752 Vidare till DOI
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2015) Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6–8, 2014, Revised Selected Papers, s. 243-261 Vidare till DOI
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2014) Incremental Dynamic Controllability in Cubic Worst-Case Time Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), s. 17-26 Vidare till DOI
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.
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 Dominik Drexler Doktorand William Ejnervall Amanuens Leif Eriksson Doktorand Johannes Klaus Fichte Universitetslektor Martin Forsberg Amanuens Markus Fritzsche Doktorand Martin Funkquist Doktorand Hector Geffner Gästprofessor Daniel Gnad Biträdande universitetslektor Christoffer Gärdin Amanuens Julia Hannu Forskningsingenjör Fredrik Heintz Professor, Avdelningschef, Enhetschef Oskar Holmström Doktorand Paul Höft Doktorand Peter Jonsson Professor, Enhetschef Marco Kuhlmann Proprefekt, Professor, Enhetschef Jenny Kunz Doktorand Jonas Kvarnström Universitetslektor, Docent Lars Johan Källström Victor Lagerkvist Universitetslektor, Docent Katerina Linden Dennis Malmgren Linda Mannila Adjungerad universitetslektor Ulf Nilsson Professor emeritus George Osipov Doktorand Tommy Persson Forskningsingenjör Fredrik Präntare Doktorand Fawad Qayum Koordinator Resmi Ramachandran Pillai Postdoktor Piotr Rudol Forskningsingenjör Ali Sahraee Doktorand Erik Sandewall Professor emeritus Jendrik Seipp Biträdande universitetslektor, Docent Md Fahim Sikder Doktorand Mika Skjelnes Doktorand David Speck Postdoktor Simon Ståhlberg Förste forskningsingenjör Andrzej Szalas Professor emeritus Mattias Tiger Postdoktor Olle Torstensson Doktorand Mariusz Wzorek Forskningsingenjör Daniel de Leng Forskningsingenjör 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.