- 14th July 2018: Fourth Workshop on Bridging the Gap between Human and Automated Reasoning (located at IJCAI/ECAI) took place in Stockholm. Program can be found at the workshop's website.
- March 2018: Fourth Workshop on Bridging the Gap between Human and Automated Reasoning accepted at FAIM!
- November 2017: DFG accepted the project proposal on Cognitive Reasoning (CoRg)!
- 26th July 2017: The workshop on Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? located at CogSci 2017 took place in London. It was the third workshop of our workshop series on Bridging the Gap between Human and Automated Reasoning.
I am currently working in the DFG funded research project CoRg which aims at the construction of a cognitive computing system by modeling aspects of human reasoning like emotions and human interactions. I am also involved in the DFG funded research project EVOWIPE were we develop methods to intentionally forget parts of an ontology.
My research interests are:
Before joining the Institute of Web Science and Technologies, I was a member of the Artificial Intelligence research group at the University of Koblenz-Landau. In my dissertation I developed methods for the evolution of description logic ABoxes and investigated knowledge compilation techniques for description logic TBoxes.
AI, Semantic Web, Logic,
especially Description Logics, Commonsense Reasoning, Machine Learning
Furthermore, I was involved in different research projects:
In many of our research projects, we are using the Hyper theorem prover. Further information on that versatile prover can be found here.
- In the In2Math project, we developed interactive teaching materials for undergraduate lectures in mathematics and computer science.
- In the TrialSolution project, different methods to combine various teaching materials were developed.This allowed teachers as well as learners to create teaching materials tailored to individual needs.
- In the LogAnswer project, techniques from theorem proving, machine learning and natural language processing were combined to create a natural language question answering system which answers questions based on the knowledge of a snapshot of the German Wikipedia.
- In the RatioLog project, we investigated methods to model human reasoning and tackled the commonsense reasoning benchmarks COPA.
I am one of the organizers of the Workshop on Bridging the Gap between Human and Automated Reasoning which was located at CADE in 2015, at IJCAI in 2016 and at CogSci in 2017. This years edition of the workshop will be located at FAIM.