A Hypertext Model Supporting Query Mechanisms. FN Afrati, CD Koutras ECHT 90, 52-66, 1990 | 65 | 1990 |
Notions of bisimulation for Heyting-valued modal languages PE Eleftheriou, CD Koutras, C Nomikos Journal of Logic and Computation 22 (2), 213-235, 2012 | 44 | 2012 |
Knowledge means ‘all’, belief means ‘most’ D Askounis, CD Koutras, Y Zikos Journal of Applied Non-Classical Logics 26 (3), 173-192, 2016 | 34* | 2016 |
Canonicity and completeness results for many-valued modal logics CD Koutras, C Nomikos, P Peppas Journal of Applied Non-Classical Logics 12 (1), 7-41, 2002 | 26 | 2002 |
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes CD Koutras Journal of Applied Non-Classical Logics 13 (1), 47-71, 2003 | 24 | 2003 |
A modal logic of knowledge, belief and estimation CD Koutras, C Moyzes, Y Zikos Journal of Logic and Computation 27 (8), 2303-2339, 2017 | 19 | 2017 |
Many-valued reflexive autoepistemic logic CD Koutras, S Zachos Logic Journal of the IGPL 8 (1), 33-54, 2000 | 19 | 2000 |
A quick guided tour to the modal logic S4.2 A Chalki, CD Koutras, Y Zikos Logic Journal of the IGPL 26 (4), 429-451, 2018 | 16 | 2018 |
On weak filters and ultrafilters: Set theory from (and for) knowledge representation CD Koutras, C Moyzes, C Nomikos, K Tsaprounis, Y Zikos Logic Journal of the IGPL 31 (1), 68-95, 2023 | 14 | 2023 |
Frame constructions, truth invariance and validity preservation in many-valued modal logic PE Eleftheriou, CD Koutras Journal of Applied Non-Classical Logics 15 (4), 367-388, 2005 | 14 | 2005 |
Many-valued modal non-monotonic reasoning: Sequential stable sets and logics with linear truth spaces CD Koutras, G Koletsos, S Zachos Fundamenta Informaticae 38 (3), 281-324, 1999 | 12 | 1999 |
Weaker axioms, more ranges CD Koutras, P Pappas Fundamenta Informaticae 51 (3), 297-310, 2002 | 11 | 2002 |
On the ‘in many cases’ Modality: Tableaux, Decidability, Complexity, Variants CD Koutras, C Moyzes, C Nomikos, Y Zikos Artificial Intelligence: Methods and Applications: 8th Hellenic Conference …, 2014 | 10 | 2014 |
Maps in multiple belief change P Peppas, CD Koutras, MA Williams ACM Transactions on Computational Logic (TOCL) 13 (4), 1-23, 2012 | 10 | 2012 |
Default reasoning via topology and mathematical analysis: a preliminary report CD Koutras, K Liaskos, C Moyzes, C Rantsoudis Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 9 | 2018 |
A reconstruction of default conditionals within epistemic logic CD Koutras, C Moyzes, C Rantsoudis Proceedings of the Symposium on Applied Computing, 977-982, 2017 | 8 | 2017 |
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals CD Koutras, C Rantsoudis Journal of Logic, Language and Information 26 (2), 109-141, 2017 | 7 | 2017 |
Prolegomena to concise theories of action P Peppas, CD Koutras, MA Williams Studia Logica 67, 403-418, 2001 | 7 | 2001 |
Assessing governmental policies' impact through prosperity indicators and open data P Kokkinakos, C Koutras, O Markaki, S Koussouris, D Trutnev, Y Glikman Proceedings of the 2014 Conference on Electronic Governance and Open Society …, 2014 | 5 | 2014 |
The computational complexity of satisfiability in many-valued modal logic CD Koutras, C Nomikos Proceedings of the 3rd Panhellenic Logic Symposium, Anogia, Greece 7, 2001 | 5 | 2001 |