About Me
I am a Ph.D. student at Linköping University, Sweden. I work at the Artificial Intelligence & Integrated Computer Systems Division (AIICS) in the Machine Reasoning Lab. My main research interests are optimal classical planning and combinatorial optimization.
Short bio
I finished my bachelor's and master's degree at Uppsala University in 2020 and 2022 respectively and joined the Machine Reasoning Lab in October 2022.
Publications
2026
Jennifer Santos, Damien Van Meerbeeck, Mika Skjelnes, Arnaud Lequen and Daniel Gnad.
Robust Observation Planning via Facet Reasoning.
In FLoC 2026 Workshop on Automated Reasoning for Future Space Logistics (AR4Space). 2026.
paper | citationMika Skjelnes, Daniel Gnad and Jendrik Seipp.
A Comparison of Cost Partitioning Algorithms for Multiple Sequence Alignment.
In ICAPS 2026 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2026.
paper | citationMika Skjelnes, Dominik Drexler, Jordan Thayer, Daniel Gnad and Jendrik Seipp.
Pattern Database Heuristics for Lifted Planning.
In ICAPS 2026 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2026.
paper | citation
2024
Mika Skjelnes, Daniel Gnad and Jendrik Seipp.
Cost Partitioning for Multiple Sequence Alignment.
In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), pp. 4224–4231. 2024.
paper | code | citationMika Skjelnes, Daniel Gnad and Jendrik Seipp.
Cost Partitioning for Multiple Sequence Alignment.
In ICAPS 2024 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2024.
paper | slides | citation (Superseded by this paper.)