Profile Details

Create Project

★★★★★

☆☆☆☆☆

USD 25 /hr

★★★★★

☆☆☆☆☆

Hire Dr. Christos M.

Greece

USD 25 /hr

PhD/Researcher in non-classical logics for AI, Mathematician with MSc in Logic Algorithms and Computation

Profile Summary

Research and Publication Experience within the context of AI through non-classical logics, especially modal / dynamic epistemic logics and non-monotonic reasoning. Several years of teaching experience for students from Grade 7 up to Masters.

Subject Matter Expertise

• ★ Mathematical Logic
• ☆ Computer Science
• ☆ Data Analysis
• ☆ Artificial Intelligence
• ☆ Applied Mathematics
• ☆ Mathematical Models
• ☆ Mathematics Education
• ☆ Game Theory
• ☆ Pure Mathematics
• ☆ Algebra
• ☆ Calculus
• ☆ Mathematical Analysis
• ☆ Geometry
• ☆ Graph Theory
• ☆ Discrete Mathematics
• ☆ Integral Equations
• ☆ Logic
• ☆ Computer Science Education
• ☆ Python
• ☆ Course Content Writing

Services

• Writing
• Research

Writing Technical Writing, General Proofreading & Editing

Research Scientific and Technical Research

Work Experience

Postdoctoral Researcher

NOVA University Lisbon

July 2019 - January 2020

Education

PhD Computer Science

University of Liverpool

September 2014 - July 2019

MSc in Logic and the Theory of Algorithms and Computation

National and Kapodistrian University of Athens

September 2011 - July 2014

BSc in Mathematics

National and Kapodistrian University of Athens

September 2004 - July 2011

Certifications

• Introduction to Artificial Intelligence

  coursera

  January 2012 - Present

• Machine Learning

  coursera

  January 2012 - Present

• Introduction to Databases

  coursera

  January 2012 - Present

• Interactive Programming in Python

  coursera

  January 2012 - Present

Publications

JOURNAL ARTICLE

Koutras, C.D., Liaskos, K., Moyzes, C., Nomikos, C., Rantsoudis, C.(2022). Default consequence relations from topology and measure theory . Annals of Mathematics and Artificial Intelligence. 90. (4). p. 397-424.

Koutras, C.D., Moyzes, C., Nomikos, C., Tsaprounis, K., Zikos, Y.(2021). On weak filters and ultrafilters: Set theory from (and for) knowledge representation . Logic Journal of the IGPL. 31. (1). p. 68-95.

Grossi, D., Van Der Hoek, W., Moyzes, C., Wooldridge, M.(2019). Program models and semi-public environments . Journal of Logic and Computation. 29. (7). p. 1071-1097.

CONFERENCE PAPER

Koutras, C.D., Moyzes, C., Rantsoudis, C.(2019). A reconstruction of default conditionals within epistemic logic . Fundamenta Informaticae. 166. (2). p. 167-197.

Koutras, C.D., Liaskos, K., Moyzes, C., Rantsoudis, C.(2018). Default reasoning via topology and mathematical analysis: A preliminary report . Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018. p. 267-276.

Koutras, C.D., Moyzes, C., Rantsoudis, C.(2017). A reconstruction of default conditionals within epistemic logic . Proceedings of the ACM Symposium on Applied Computing. Part F128005. p. 977-982.

Grossi, D., Herzig, A., Van Der Hoek, W., Moyzes, C.(2017). Non-determinism and the dynamics of knowledge . IJCAI International Joint Conference on Artificial Intelligence. 0. p. 1053-1059.

Koutras, C.D., Moyzes, C., Nomikos, C., Zikos, Y.(2014). On the 'in many cases' modality: Tableaux, decidability, complexity, variants . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8445 LNCS. p. 207-220.

BOOK

Koutras, C.D., Moyzes, C., Zikos, Y.(2014). A modal logic of knowledge, belief, and estimation . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8761. p. 637-646.

Askounis, D., Koutras, C.D., Moyzes, C., Zikos, Y.(2014). Only-Knowing `a la halpern-moses for non-omniscient rational agents: A preliminary report . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8761. p. 282-296.