level-one heading

ライター
データアナリスト
コンサルタント
製品開発者
研究者
Kolabtreeを選ぶ理由
開始はすばやく簡単です。初期費用はかかりません。
サービス依頼と専門家への見積依頼は無料です。
Kolabtree の作業範囲に同意する前に、専門家と要件を詳しく相談できます。
専門家と直接連携し、必要な成果を正しく得られます。
専門家を採用したらプロジェクトに資金を入れ、作業完了後に成果物を承認できます。
この専門家をプロジェクトに採用したいですか？ 見積もりを依頼 無料で。
プロフィール詳細
プロジェクトを作成
★★★★★
☆☆☆☆☆
Dr. Christos M.に依頼
Greece

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

プロフィール概要
専門分野
サービス
Writing Technical Writing, General Proofreading & Editing
Research Scientific and Technical Research
職務経験

Postdoctoral Researcher

NOVA University Lisbon

7月 2019 - 1月 2020

学歴

PhD Computer Science

University of Liverpool

9月 2014 - 7月 2019

MSc in Logic and the Theory of Algorithms and Computation

National and Kapodistrian University of Athens

9月 2011 - 7月 2014

BSc in Mathematics

National and Kapodistrian University of Athens

9月 2004 - 7月 2011

認定資格

  • Introduction to Artificial Intelligence

    coursera

    1月 2012 - 現在

  • Machine Learning

    coursera

    1月 2012 - 現在

  • Introduction to Databases

    coursera

    1月 2012 - 現在

  • Interactive Programming in Python

    coursera

    1月 2012 - 現在

出版物
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.