Antonis Kakas

Antonis Kakas is a former Visiting Professor at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Technische Universität Dresden. His research focuses on computational logic, artificial intelligence, and cognitive science, particularly in argumentation systems and logical reasoning models.

He contributed to the publication Cognitive Argumentation for Human Syllogistic Reasoning in Künstliche Intelligenz (KI) Journal in 2019, exploring intersections of cognitive science and formal logic.

As part of ICCL, his work aligns with research areas such as knowledge representation and reasoning, with applications in both theoretical and applied AI contexts.