Welcome to my homepage.

My name is Christos Moyzes (Χρήστος Μωυζές). I was born in 1986 in Athens, Greece.
I am a PhD student at the Computer Science Department of the University of Liverpool;
my primary supervisor is Wiebe van der Hoek and my secondary supervisor is Davide Grossi.
I am a graduate of MPLA; thesis was supervised by Costas D. Koutras.
I also hold a Mathematics degree from the University of Athens.

To navigate the site, please use the bar at the top.

Contact

E-mail : Click to reveal

I was/am Teaching Assistant for the following modules:

2017-2018 Fall

COMP107 – Graduates for the Digital Society.

COMP304/521 – Knowledge Representation & Reasoning.

2016-2017

COMP110 – Professional Skills in Computer Science.

COMP304/521 – Knowledge Representation & Reasoning.

2015-2016

COMP110 – Professional Skills in Computer Science.

COMP317 – Semantics of Progamming Languages.

COMP304/521 – Knowledge Representation & Reasoning.

COMP525 – Reasoning about Action and Change.

2014-2015

COMP110 – Professional Skills in Computer Science.

COMP317 – Semantics of Programming Languages.

COMP525 – Reasoning about Action and Change.

COMP527 – Data Mining and Visualisation.

Research Interests

Modal Logics – Epistemic/Doxastic and Dynamic Logics, Model Theory and Proof Systems of Modal Logics.

Computational Logic – Logic-based Knowledge Representation, Belief Revision, Non-monotonic Logics.

Artificial Intelligence – Mathematical Logic and Automated Theorem Proving.

Conference Publications

Title Authors Publication
A Modal Logic of Knowledge, Belief, and Estimation. Costas D. Koutras, Christos Moyzes, Yorgos Zikos JELIA 2014
On the ‘in many cases’ Modality: Tableaux, Decidability, Complexity, Variants. Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos SETN 2014
Only-Knowing à la Halpern-Moses for non-omniscient rational agents: a preliminary report. Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos JELIA 2014
A Reconstruction of Default Conditionals within Epistemic Logic. Costas Koutras, Christos Moyzes, Christos Rantsoudis SAC 2017
Non-Determinism and the Dynamics of Knowledge. Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes IJCAI 2017

Journal Publications

Title Authors Publication
Program Models and Semi-Public Environments. Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael Wooldridge JLC, Jan 2016
A Modal Logic of Knowledge, Belief, and Estimation. Costas D. Koutras, Christos Moyzes, Yorgos Zikos JLC, June 2017.