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.
![⊥ ⊢ ⊤ (ex falso quodlibet)](https://tu-dresden.de/ing/informatik/ki/krr/ressourcen/bilder/22a5-22a2-22a4.png/@@images/df6aad42-afde-4437-b64a-5d5e35766e24.png)
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)