Thomas Smoker

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Reasoning Problems

Computing Least Common Subsumers

Top Venues

Description Logics

Publications

Melinda Hodkiewicz, Johan W. Klüwer, Caitlin Woods, Thomas Smoker, Emily Low
An ontology for reasoning over engineering textual data stored in FMEA spreadsheet tables. Comput. Ind. 131 (2021)
Tim French, Thomas Smoker
An Aleatoric Description Logic for Probabilistic Reasoning. Description Logics (2021)