Michael Welt

According to our database, Michael Welt authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Calculating Optimal Corrections for Unsolvable Planning Problems.

Michael Welt, Alexander Lodemann, Conny Olz, Pascal Bercher, Birte Glimm

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2023

Challenges on Deriving Planning Problems from Ontologies.

Milene Santos Teixeira, Michael Welt, Raphael Chis, Birte Glimm

Proceedings of the 1st International Planning and Ontology Workshop co-located with The 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023

2022

Concept Abduction for Description Logics.

Birte Glimm, Yevgeny Kazakov, Michael Welt

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022