Machine Reasoning Lab | Linköping University

Group photo of the lab members. — Our team in September 2026. Missing: Arash Haratian.

Welcome to the website of the Machine Reasoning Lab at Linköping University, Sweden! We develop algorithms for intelligent sequential decision-making using automated planning and machine learning.

News

2026-09-24We have three accepted papers at NeurIPS 2026.
2026-09-14Our paper on frontier LLMs and planning has been accepted for publication in Communications of the ACM.
2026-07-01We won 4 of the 6 numeric tracks of IPC 2026 at ICAPS 2026.
2026-06-27Elliot Gestrin won the Best Presentation Award at the Doctoral Consortium of ICAPS 2026.
2026-06-20We have 28 accepted workshop papers at ICAPS 2026.
2026-06-15We have an accepted paper at SPAWC 2026.
2026-05-15We have two accepted papers at SoCS 2026.
2026-05-13Mauricio Salerno joins the lab as a postdoc.

Older news (69)

2026-05-01We have an accepted paper at CP 2026.
2026-04-14We have an accepted paper at KR 2026.
2026-03-24Paul Höft defends his PhD thesis.
2026-02-20We have three accepted papers at ICAPS 2026.
2026-01-21Arman Mohammadi joins the lab.
2026-01-07Jordan Thayer joins the lab.
2026-01-01Jennifer Santos joins the lab.
2025-12-15Mariam Musavi joins the lab.
2025-12-03Jendrik Seipp becomes a Wallenberg Academy Fellow.
2025-11-08We have two accepted papers at AAAI 2026.
2025-10-14Jendrik Seipp receives the ICAPS 2025 Influential Paper Award for the paper Counterexample-guided Cartesian Abstraction Refinement.
2025-10-06We published a paper in JAIR.
2025-09-18We have an accepted paper at NeurIPS 2025.
2025-09-01Dillon Chen visits our group for two months.
2025-07-22Our system demonstration Graphical Navigation in Solution Spaces using PlanPilot got accepted at ICAPS 2025.
2025-07-11We have two accepted papers at ECAI 2025 and two at KR 2025.
2025-07-04We have an accepted paper at JELIA 2025.
2025-06-17Jendrik Seipp receives a Future Research Leaders grant from the Swedish Foundation for Strategic Research.
2025-06-02Augusto B. Corrêa visits our lab for two weeks.
2025-04-30Our group won the Explainability track of the Beluga Challenge.
2025-03-26Jendrik Seipp receives a Distinguished Teacher Award for the "Automated Planning" course.
2025-03-26Our WASP PhD project Model-Based Attention for Scalable AI Planning has been accepted.
2025-03-24Dominik Drexler defends his PhD thesis.
2025-03-13We published a paper in JAIR.
2025-03-01We have an accepted paper at ICAPS 2025.
2025-03-01Windy Phung joins the lab.
2025-01-15Arnaud Lequen joins the lab.
2024-12-19Dominik Drexler receives the Lawson Prize 2024 for his excellent performance during his PhD studies.
2024-12-15Mauricio Salerno visits our group.
2024-12-10Our group has two accepted papers at AAAI 2025.
2024-11-18Oliver Joergensen joins the lab.
2024-10-31Jendrik Seipp receives a Starting Grant from the Swedish Research Council.
2024-10-23Jendrik Seipp gives an invited talk at ECAI 2024 as part of the Frontiers in AI series.
2024-10-02Daniel Gnad receives a Zenith research grant from Faculty of Science and Engineering at Linköping University.
2024-09-13Arash Haratian joins the lab.
2024-09-01Martín Pozo from Madrid visits our group for three months.
2024-07-25We have two accepted papers at KR 2024.
2024-07-03We have one accepted paper at ECAI 2024.
2024-04-30David Speck and Daniel Gnad receive the ICAPS 2024 Best Paper Award for their paper Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.
2024-04-01Michaela Urbanovská visits our group for two months.
2024-03-21David Speck receives the ICAPS Best Dissertation Award for his thesis Symbolic Search for Optimal Planning with Expressive Extensions.
2024-02-12Our group has five accepted papers at ICAPS 2024.
2024-01-22Elliot Gestrin joins the group.
2024-01-01Our group becomes its own fiscal entity within LiU and is renamed to "Machine Reasoning Lab".
2023-10-30Together with our collaborators, we have won multiple awards (4x first place, 2x second place) in the Second CoRe Challenge.
2023-10-24Our WASP Cyber Security NEST application AI for Attack Identification, Response and Recovery (AIR²) has been accepted.
2023-10-16Damien Van Meerbeeck joins the group.
2023-09-01Kristina Levina joins the group.
2023-07-15We have four accepted papers at ECAI 2023.
2023-07-12Together with Alvaro Torralba, Daniel Gnad won the Learning Track of the International Planning Competition 2023.
2023-07-11Together with our collaborators, we have won all three classical tracks of the International Planning Competition 2023.
2023-06-19Farid Musayev joins the group.
2023-05-25Our WASP Industrial PhD project Neuro-Symbolic AI for Improving Energy Efficiency in 6G has been accepted.
2023-05-19Our group has three accepted papers at KR 2023.
2023-04-01Our project Symbolic Search for Diverse Plans and Maximum Utility for the AIPlan4EU project open call for innovators has been accepted.
2023-03-30Our WASP PhD project Collaborative Constraint-Based Planning has been accepted.
2023-03-01Mauricio Salerno is visiting our group for three months.
2023-02-06Our group has four accepted papers at ICAPS 2023.
2022-11-18Our group has one accepted paper at AAAI 2023.
2022-10-19David Speck receives the Wolfgang-Gentner-Award for Young Researchers for outstanding scientific achievements in his dissertation awarded by the University of Freiburg.
2022-10-17Martin Funkquist joins the group.
2022-10-13Jendrik Seipp receives a Zenith project grant from the Faculty of Science and Engineering at Linköping University.
2022-10-01Markus Fritzsche and Mika Skjelnes join the group.
2022-06-01David Speck joins the group.
2022-05-05Our paper Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits receives the ICAPS 2022 Best Paper Award.
2022-05-03Daniel Gnad receives the ICAPS Best Dissertation Award for his thesis Star-Topology Decoupled State-Space Search in AI Planning and Model Checking.
2022-03-01Our group has five accepted papers at ICAPS 2022.
2022-02-01Daniel Gnad joins the group.
2021-08-25Our paper Learning Generalized Unsolvability Heuristics for Classical Planning receives an IJCAI 2021 Distinguished Paper Award.