Logik aus algorithmischer und menschlicher Sicht
Unsere Forschung in der Wissensverarbeitung analysiert Logik-basierte Methoden der Künstlichen Intelligenz aus algorithmischer Perspektive sowie aus der Perspektive des menschlichen Schließens.
Unsere Forschung
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)