Folgen
Costas Koutras
Costas Koutras
American University of the Middle East (AUM), College of Engineering and Technology, Kuwait
Bestätigte E-Mail-Adresse bei aum.edu.kw - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A Hypertext Model Supporting Query Mechanisms.
FN Afrati, CD Koutras
ECHT 90, 52-66, 1990
641990
Notions of bisimulation for Heyting-valued modal languages
PE Eleftheriou, CD Koutras, C Nomikos
Journal of Logic and Computation 22 (2), 213-235, 2012
422012
Knowledge means ‘all’, belief means ‘most’
D Askounis, CD Koutras, Y Zikos
Journal of Applied Non-Classical Logics 26 (3), 173-192, 2016
29*2016
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
242003
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
242002
Many-valued reflexive autoepistemic logic
CD Koutras, S Zachos
Logic Journal of the IGPL 8 (1), 33-54, 2000
192000
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
152018
A modal logic of knowledge, belief and estimation
CD Koutras, C Moyzes, Y Zikos
Journal of Logic and Computation 27 (8), 2303-2339, 2017
142017
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
132005
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
121999
Weaker axioms, more ranges
CD Koutras, P Pappas
Fundamenta Informaticae 51 (3), 297-310, 2002
112002
Maps in multiple belief change
P Peppas, CD Koutras, MA Williams
ACM Transactions on Computational Logic (TOCL) 13 (4), 1-23, 2012
102012
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
82018
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
72017
Prolegomena to concise theories of action
P Peppas, CD Koutras, MA Williams
Studia Logica 67, 403-418, 2001
72001
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
52023
A reconstruction of default conditionals within epistemic logic
CD Koutras, C Moyzes, C Rantsoudis
Proceedings of the Symposium on Applied Computing, 977-982, 2017
52017
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
52001
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
42014
Relating Truth, Knowledge and Belief in epistemic states
CD Koutras, Y Zikos
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th …, 2011
42011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20