Tom Voellmer

Orcid: 0009-0006-3149-7066

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
SAT-Based Bounded Fitting for the Description Logic ALC.
CoRR, July, 2025

SAT-Based Bounded Fitting for the Description Logic <i>ALC</i>.
Proceedings of the Semantic Web - ISWC 2025, 2025

SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract).
Proceedings of the 38th International Workshop on Description Logics, 2025


  Loading...