level-one heading

Writers
Data Analysts
Consultants
Product Developers
Researchers
Why Kolabtree
Getting started is quick and easy. No upfront fees
It’s free to request a service and invite bids from experts
Discuss requirements with the expert in detail before accepting statement of work from Kolabtree
Collaborate with the expert directly to get your work done the right way
Fund project when you hire the expert, but approve the deliverables only once work is done
Want to hire this expert for a project? Request a quote for free.
Profile Details
Create Project
★★★★★
☆☆☆☆☆
USD 25 /hr
Hire {0}. {1}
Greece
USD 25 /hr

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

Profile Summary
Subject Matter Expertise
Services
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). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 1071-1097.
CONFERENCE PAPER
Koutras, C.D., Moyzes, C., Rantsoudis, C.(2019). A reconstruction of default conditionals within epistemic logic . Fundamenta Informaticae. 166. (2). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 282-296.