Logic from an algorithmic and human-based perspective
Our research in knowledge representation and reasoning analyses logic-based AI methods from an algorithmic perspective as well as from the perspective of human reasoning.
Our research
For the details of our research, please view the pages of our scientific staff:
- Steffen Hölldobler (logic programming and human reasoning)
- Johannes Fichte (complexity and applications of SAT, ASP and related foramlisms)
- Marcos Cramer (formal argumentation and human reasoning)