C. D. Koutras - research

Journal Articles

C. D. Koutras, G.Pitsiladis.
Galois connections for bilattices.
Algebra Universalis, to appear .

A. Chalki, C. D. Koutras, and Y.Zikos.
A note on the complexity of S4.2
Journal of Applied Non-Classical Logics, to appear.

C. D. Koutras, Ch. Moyzes and Ch. Rantsoudis.
A Reconstruction of Default Conditionals within Epistemic Logic.
Fundamenta Informaticae, 166(2):167-197, 2019 .

A. Chalki, C. D. Koutras and Y. Zikos.
A quick guided tour to the modal logic S4.2.
Logic Journal of the IGPL, 26(4): 429-451 (2018).

C. D. Koutras, Ch. Moyzes and Y. Zikos.
A modal logic of knowledge, belief and estimation.
Journal of Logic and Computation, Advance Access, 27(8), 2303-2339, 2017.

C. D. Koutras and Ch. Rantsoudis.
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.
Journal of Logic, Language and Information, 26(2): 109-141, 2017.

D. Askounis, C. D. Koutras and Y. Zikos.
Knowledge means `all', Belief means `most'.
Journal of Applied Non-Classical Logics, 26(3): 173-192, 2016.

P. Peppas, C. D. Koutras and M.-A.Williams.
Maps in Multiple Belief Change.
ACM Transactions on Computational Logic (TOCL), 13(4), October 2012.

P. E. Eleftheriou, C. D. Koutras and Ch. Nomikos.
Notions of bisimulation for Heyting-valued modal languages.
Journal of Logic and Computation, 22(2): 213-235, 2012.

C. D. Koutras, Y. Zikos.
On a modal epistemic axiom emerging from McDermott-Doyle logics.
Fundamenta Informaticae, 96(1-2): 111-125, 2009.

C. D. Koutras, Ch. Nomikos, P. Peppas.
On a simple 3-valued modal language and a 3-valued logic of 'not-fully-justified' belief.
Logic Journal of the IGPL (Interest Group on Pure and Applied Logic), 16(6): 591-604, 2008.

P. Eleftheriou, C. D. Koutras.
Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic.
Journal of Applied Non-Classical Logics, 15(4): 367-388, 2005.

C. D. Koutras, A. Gaga, P. Peppas.
Conciseness Considerations on Logics of Action.
Journal of Intelligent Systems, 13(1): 71-94, 2004.

C. D. Koutras.
A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.
Journal of Applied Non-Classical Logics, 13(1): 47-73, 2003.

C. D. Koutras, P. Peppas.
Weaker Axioms, More Ranges.
Fundamenta Informaticae, 51(3): 297-310, 2002.

C. D. Koutras, Ch. Nomikos, P. Peppas.
Canonicity and Completeness Results for Many-Valued Modal Logics
Journal of Applied Non-Classical Logics, 12(1): 7-41, 2002.

P. Peppas, C. D. Koutras, M.-A. Williams.
Prolegomena to Concise Theories of Action.
Studia Logica, 67(3): 403-418, 2001.

C. D. Koutras, S. Zachos.
Many-Valued Reflexive Autoepistemic Logic.
Logic Journal of the IGPL (Interest Group on Pure and Applied Logic), 8(1):33-54, 2000.

C. D. Koutras, G. Koletsos, S. Zachos.
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces.
Fundamenta Informaticae, 38(3): 281-324, 1999.

Conference Publications

C. D. Koutras, K. Liaskos, Ch. Moyzes and Ch. Rantsoudis.
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report.
KR2018 (Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018).

C. D. Koutras, Ch. Moyzes and Ch. Rantsoudis.
A Reconstruction of Default Conditionals within Epistemic Logic
accepted at KRR@SAC 2017, 32st ACM/SIGAPP Symposium On Applied Computing, track on Knowledge Representation and Reasoning, Marrakech, Morocco April 3-7, 2017.

C. D. Koutras, and Ch. Rantsoudis.
In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals
in Proceedings of ECSQARU 2015 (13th European Conference on Symbolic and Quantitative Approaches to Reasoning about Uncertainty), Springer LNCS 9161,
pp. 117-126.

D. Askounis, C. D. Koutras, Ch. Moyzes and Y.Zikos..
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
in proceedings of JELIA 2014 (14th European Conference on Logics in Artificial Intelligence), Springer LNCS 8761, pp. 282-296.

C. D. Koutras, Ch. Moyzes and Y.Zikos.
A Modal Logic of Knowledge, Belief & Estimation.
in In proceedings of JELIA 2014 (14th European Conference on Logics in Artificial Intelligence), Springer LNCS 8761, pp. 637-646.

C. D. Koutras, Ch. Moyzes, Ch. Nomikos and Y.Zikos.
On the 'in many cases' Modality: Tableaux, Decidability, Complexity, Variants.
in proceedings of SETN 2014 (8th Hellenic Conference on Artificial Intelligence), Springer LNCS 8445, pp. 207-220.

P. Peppas, C. D. Koutras, and M.-A.. Williams.
From Infinite to Finite Belief Contraction.
in COMMONSENSE 2013

D. Askounis, C. D. Koutras and Y.Zikos.
Knowledge means `all', Belief means `most'.
In proceedings of JELIA 2012 (13th European Conference on Logics in Artificial Intelligence), Springer LNCS 7519, pp. 41-53.

C. D. Koutras, and Y. Zikos.
Relating Truth, Knowledge and Belief in Epistemic States.
In W. Liu (Ed.): Proceedings ECSQARU 2011 (11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Belfast, UK, June 29–July 1, 2011), Springer LNAI 6717, pp. 374–385, 2011.

C. D. Koutras, and Y. Zikos.
Stable Belief Sets Revisited.
In Tomi Janhunen and Ilkka Niemelä (eds), Proceedings of JELIA 2010 (Logics in Artificial Intelligence, 12th European Conference, Helsinki, Finland, September 13-15, 2010). LNCS 6341, Springer 2010.

P. E. Eleftheriou, C. D. Koutras, and Ch. Nomikos.
Notions of bisimulation for Heyting-valued modal languages.
In A. Beckman, C. Dimitracopoulos, and B. Loewe (eds), Logic and Theory of Algorithms, Proceedings of Computability in Europe 2008 (CiE 2008), pp. 117-126. Athens University Press, 2008

C. D. Koutras, Ch. Nomikos, P. Peppas.
If I know it, then it can't be false (and if it's true, then it is not impossible).
In Proceedings of IeCCS 2005, pp.92-96, VSP Brill, June 2005.

C. D. Koutras, Ath. Gaga and P. Peppas.
A Formal Conciseness Assessment of AR0
In Proceedings of HERCMA 2003, Sixth Hellenic European Conference on Computer Mathematics
and its Applications, Athens, September 2003.
C. D. Koutras and Ch. Nomikos.
The Computational Complexity of Satisfiability in Many-Valued Modal Logic.
Proceedings of the Third Panhellenic Logic Symposium, Anogeia, Crete, July 2001.

C. D. Koutras and Ch. Nomikos.
On the Computational Complexity of Stratified Negation in Linear-Time Temporal Logic Programming.
In M. Gergatsoulis and P. Rondogiannis, editors, Intensional Programming II, pages 106-116, World Scientific, 2000.

C. D. Koutras and S. Zachos.
Many-Valued Autoepistemic Reasoning with Applications in Multi-Agent Situations.
In D. Fotiadis and S. Nikolopoulos, editors, Advances in Informatics, pp. 178-187, World Scientific, 2000.

F. Afrati and C. D. Koutras.
A Hypertext Model Supporting Query Mechanisms.
In A. Rizk, N. A. Streitz, and J. Andre, editors, Hypertext: Concepts, Systems and Applications, Proceedings of the First European Conference on Hypertext, Cambridge Series on Electronic Publishing, pages 52-66. Cambridge University Press, 1990.