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 2017 Oleg Burdakov, Jonas Kvarnström, Patrick Doherty (2017) Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles Annals of Operations Research, Vol. 249, s. 163-174 Vidare till DOI 2016 Patrick Doherty, Jonas Kvarnström, Andrzej Szalas (2016) Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, s. 536-542 Vidare till DOI 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 Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty, Alexander Eriksson (2016) Area Coverage with Heterogeneous UAVs using Scan Patterns 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings 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
Oleg Burdakov, Jonas Kvarnström, Patrick Doherty (2017) Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles Annals of Operations Research, Vol. 249, s. 163-174 Vidare till DOI
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas (2016) Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, s. 536-542 Vidare till DOI
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
Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty, Alexander Eriksson (2016) Area Coverage with Heterogeneous UAVs using Scan Patterns 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings 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 Ali Basirat Postdoktor 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 Micael Frideros Koordinator Markus Fritzsche Doktorand Martin Funkquist Doktorand Hector Geffner Gästprofessor Daniel Gnad Biträdande universitetslektor Christoffer Gärdin Amanuens Markus Handstedt Amanuens 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 Lars Johan Källström Victor Lagerkvist Universitetslektor, Docent Jose Luis Silva Postdoktor Dennis Malmgren Linda Mannila Adjungerad universitetslektor Farzeen Munir Mikael Nilsson Ulf Nilsson Professor emeritus George Osipov Doktorand Tommy Persson Forskningsingenjör Fredrik Präntare Doktorand Fawad Qayum Resmi Ramachandran Pillai Postdoktor Piotr Rudol Forskningsingenjör 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 Doktorand 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.