Christos Moyzes

According to our database, Christos Moyzes authored at least 10 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On weak filters and ultrafilters: Set theory from (and for) knowledge representation.

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos

Log. J. IGPL, January, 2023

2022

Default consequence relations from topology and measure theory.

Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis

Ann. Math. Artif. Intell., 2022

2019

Modal logics of partial observability.

Christos Moyzes

PhD thesis, 2019

Program models and semi-public environments.

Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge

J. Log. Comput., 2019

A Reconstruction of Default Conditionals within Epistemic Logic.

Costas D. Koutras, Christos Moyzes, Christos Rantsoudis

Fundam. Informaticae, 2019

2018

Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report.

Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

A modal logic of knowledge, belief and estimation.

Costas D. Koutras, Christos Moyzes, Yorgos Zikos

J. Log. Comput., 2017

Non-Determinism and the Dynamics of Knowledge.

Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2014

On the '<i>in many cases</i>' Modality: Tableaux, Decidability, Complexity, Variants.

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos

Proceedings of the Artificial Intelligence: Methods and Applications, 2014

Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report.

Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014