Tom Voellmer

According to our database, Tom Voellmer authored at least 3 papers in 2025.

Collaborative distances:

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

2025

SAT-Based Bounded Fitting for the Description Logic ALC.

Maurice Funk, Jean Christoph Jung, Tom Voellmer

CoRR, July, 2025

SAT-Based Bounded Fitting for the Description Logic <i>ALC</i>.

Maurice Funk, Jean Christoph Jung, Tom Voellmer

Proceedings of the Semantic Web - ISWC 2025, 2025

SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract).

Maurice Funk, Jean Christoph Jung, Tom Voellmer

Proceedings of the 38th International Workshop on Description Logics, 2025