Areas of Interest:

• Modal Logic and its applications in Artificial Intelligence and Computer Science

• Logic-based Knowledge Representation: Epistemic Logic, Non-Monotonic logics, Belief Revision, Conditional Logics

• Mathematical Logic and Computational Complexity

Links

• Logic and set theory around the world

• Graduate Programme on Logic, Algorithms and the Theory of Computation (ΜΠΛΑ)

• CoReLab, the Computation & Reasoning Laboratory, at the NTUA

Forthcoming Conferences

• KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)

• IJCAI/ECAI 2018

• KR 2018 (16th International Conference on Principles of Knowledge Representation and Reasoning)