追蹤
Costas Koutras
Costas Koutras
American University of the Middle East (AUM), College of Engineering and Technology, Kuwait
在 aum.edu.kw 的電子郵件地址已通過驗證 - 首頁
標題
引用次數
引用次數
年份
A Hypertext Model Supporting Query Mechanisms.
FN Afrati, CD Koutras
ECHT 90, 52-66, 1990
651990
Notions of bisimulation for Heyting-valued modal languages
PE Eleftheriou, CD Koutras, C Nomikos
Journal of Logic and Computation 22 (2), 213-235, 2012
442012
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
262002
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
A modal logic of knowledge, belief and estimation
CD Koutras, C Moyzes, Y Zikos
Journal of Logic and Computation 27 (8), 2303-2339, 2017
192017
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
162018
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
142023
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
142005
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
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
102014
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
92018
A reconstruction of default conditionals within epistemic logic
CD Koutras, C Moyzes, C Rantsoudis
Proceedings of the Symposium on Applied Computing, 977-982, 2017
82017
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
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
52014
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
系統目前無法執行作業,請稍後再試。
文章 1–20