Michael Welt

Michael Welt
Scientific Staff
University of Ulm
Institute of Artificial Intelligence
James-Franck-Ring
89081 Ulm
Room: O27 4405

Michael Welt

Since March 2022 I work as a research assistant for the 2LIKE Project. Additionally, I am a PhD student at the Institute of Artificial Intelligence here at Ulm University. I received my bachelor's degree from Leipzig University in the field of computational linguistics and text classification and earned a master's degree in pattern recognition here at the University of Ulm. From applying methods of computer linguistics and statistical modelling to the problem of ontology population, my main interest shifted to the more formal methods of logic, reasoning (i.e. theorem proving) and to the overall formalization of discrete problems in that domain, such as stream reasoning and continuous query answering.

Additional Information

  • Ontology modelling and automatic ontology population
  • Propositional Logics and First-Order Logics in general
  • Model- and Proof-theory in First-Order Logics and Description Logics
  • Inference systems and automated theorem proving 
  • Stream reasoning and incremental reasoning
  • Datalog