Homepage | Machine Reasoning Lab

Some of the lab members

Welcome!

We are the Machine Reasoning Lab at Linköping University, Sweden. You can find us in the E building close to entrance 29C. We develop algorithms for acting in complex environments using automated planning and machine learning. Our research topics include:

Theory of Automated Planning
Learning Planning Models
Efficient Planning Algorithms
Generalized Planning
Planning and Reinforcement Learning

News

2024-12-19: Dominik Drexler receives the Lawson Prize 2024 for his excellent performance during his PhD studies.
2024-12-10: Our group has two accepted papers at AAAI 2025.
2024-11-18: Oliver Joergensen joins the lab.
2024-10-31: Jendrik Seipp receives a starting grant from the Swedish Research Council.
2024-10-23: Jendrik Seipp gives an invited talk at ECAI 2024 as part of the Frontiers in AI series.
2024-10-02: Daniel Gnad receives a Zenith research grant from Faculty of Science and Engineering at Linköping University.
2024-09-13: Arash Haratian joins the lab.
2024-09-01: Martín Pozo from Madrid visits our group for three months.
2024-07-25: We have two accepted papers at KR 2024.
2024-07-03: We have one accepted paper at ECAI 2024.
2024-04-30: David 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-01: Michaela Urbanovská visits our group for two months.
2024-03-21: David Speck receives the ICAPS Best Dissertation Award for his thesis Symbolic Search for Optimal Planning with Expressive Extensions.
2024-02-12: Our group has five accepted papers at ICAPS 2024.
2024-01-22: Elliot Gestrin joins the group.
2024-01-01: Our group becomes its own fiscal entity within LiU and is renamed to "Machine Reasoning Lab".
2023-10-30: Together with our collaborators, we have won multiple awards (4x first place, 2x second place) in the Second CoRe Challenge.
2023-10-24: Our WASP Cyber Security NEST application AI for Attack Identification, Response and Recovery (AIR²) has been accepted.
2023-10-16: Damien Van Meerbeeck joins the group.
2023-09-01: Kristina Levina joins the group.
2023-07-15: We have four accepted papers at ECAI 2023.
2023-07-12: Together with Alvaro Torralba, Daniel Gnad won the Learning Track of the International Planning Competition 2023.
2023-07-11: Together with our collaborators, we have won all three classical tracks of the International Planning Competition 2023.
2023-06-19: Farid Musayev joins the group.
2023-05-25: Our WASP Industrial PhD project Neuro-Symbolic AI for Improving Energy Efficiency in 6G has been accepted.
2023-05-19: Our group has three accepted papers at KR 2023.
2023-04-01: Our project Symbolic Search for Diverse Plans and Maximum Utility for the AIPlan4EU project open call for innovators has been accepted.
2023-03-30: Our WASP PhD project Collaborative Constraint-Based Planning has been accepted.
2023-03-01: Mauricio Salerno is visiting our group for three months.
2023-02-06: Our group has four accepted papers at ICAPS 2023.
2022-11-18: Our group has one accepted paper at AAAI 2023.
2022-10-19: David Speck receives the Wolfgang-Gentner-Award for Young Researchers for outstanding scientific achievements in his dissertation awarded by the University of Freiburg.
2022-10-17: Martin Funkquist joins the group.
2022-10-13: Jendrik Seipp receives a Zenith project grant from the Faculty of Science and Engineering at Linköping University.
2022-10-01: Markus Fritzsche and Mika Skjelnes join the group.
2022-06-01: David Speck joins the group.
2022-05-05: Our paper Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits receives the ICAPS 2022 Best Paper Award.
2022-05-03: Daniel Gnad receives the ICAPS Best Dissertation Award for his thesis Star-Topology Decoupled State-Space Search in AI Planning and Model Checking.
2022-03-01: Our group has five accepted papers at ICAPS 2022.
2022-02-01: Daniel Gnad joins the group.
2021-08-25: Our paper Learning Generalized Unsolvability Heuristics for Classical Planning receives an IJCAI 2021 Distinguished Paper Award.

Acknowledgment

Our research is primarily supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP). WASP is a major national initiative for strategically motivated basic research, education and faculty recruitment. The funding is generously provided by the Knut and Alice Wallenberg Foundation (KAW).