Costas D. Koutras

33 papers A* 1B 4C 3Misc 2Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Embedding the Calendar and Time Type System in Temporal Type Theory.
J. Appl. Non Class. Logics
Georgios V. Pitsiladis, Costas D. Koutras
2023 J jnl
On weak filters and ultrafilters: Set theory from (and for) knowledge representation.
Log. J. IGPL
Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos
2022 J jnl
Default consequence relations from topology and measure theory.
Ann. Math. Artif. Intell.
Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis
2022 Misc conf
Topological semantics for default conditional logic: preliminary report.
SAC
Costas D. Koutras, Christos Nomikos
2021 J jnl
A note on the complexity of S4.2.
J. Appl. Non Class. Logics
Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos
2019 J jnl
A Reconstruction of Default Conditionals within Epistemic Logic.
Fundam. Informaticae
Costas D. Koutras, Christos Moyzes, Christos Rantsoudis
2018 J jnl
A quick guided tour to the modal logic S4.2.
Log. J. IGPL
Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos
2018 A* conf
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report.
KR
Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis
2017 J jnl
A modal logic of knowledge, belief and estimation.
J. Log. Comput.
Costas D. Koutras, Christos Moyzes, Yorgos Zikos
2017 Misc conf
A reconstruction of default conditionals within epistemic logic.
SAC
Costas D. Koutras, Christos Moyzes, Christos Rantsoudis
2017 J jnl
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.
J. Log. Lang. Inf.
Costas D. Koutras, Christos Rantsoudis
2017 C conf
Stathis Zachos at 70!
CIAC
Eleni Bakali, Panagiotis Cheilaris, Dimitris Fotakis, Martin Fürer, Costas D. Koutras, Euripides Markou, Christos Nomikos, Aris Pagourtzis, Christos H. Papadimitriou, Nikolaos S. Papaspyrou, Katerina Potika
2016 J jnl
Knowledge means 'all', belief means 'most'.
J. Appl. Non Class. Logics
Dimitris Askounis, Costas D. Koutras, Yorgos Zikos
2015 C conf
In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.
ECSQARU
Costas D. Koutras, Christos Rantsoudis
2015 — conf
Open Data Driven Policy Analysis and Impact Evaluation.
EEPM@eGOV
Panagiotis Kokkinakos, Sotirios Koussouris, Ourania I. Markaki, Costas D. Koutras, John E. Psarras, Yuri Glickman, Martin Löhe, Habin Lee
2015 — conf
Prosperity Indicators: Foundations, Concerns, and Prospects of Usage in Policy Making-The Policy Compass Approach.
MCIS
Ourania I. Markaki, Panagiotis Kokkinakos, Sotirios Koussouris, Costas D. Koutras, John E. Psarras
2014 B conf
A Modal Logic of Knowledge, Belief, and Estimation.
JELIA
Costas D. Koutras, Christos Moyzes, Yorgos Zikos
2014 — conf
On the '
SETN
Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos
2014 B conf
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report.
JELIA
Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos
2012 B conf
Knowledge Means 'All', Belief Means 'Most'.
JELIA
Dimitris Askounis, Costas D. Koutras, Yorgos Zikos
2012 J jnl
Maps in Multiple Belief Change.
ACM Trans. Comput. Log.
Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams
2012 J jnl
Notions of Bisimulation for Heyting-Valued Modal Languages.
J. Log. Comput.
Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos
2011 C conf
Relating Truth, Knowledge and Belief in Epistemic States.
ECSQARU
Costas D. Koutras, Yorgos Zikos
2010 B conf
Stable Belief Sets Revisited.
JELIA
Costas D. Koutras, Yorgos Zikos
2009 J jnl
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics.
Fundam. Informaticae
Costas D. Koutras, Yorgos Zikos
2008 J jnl
On a Simple 3-valued Modal Language and a 3-valued Logic of '
Log. J. IGPL
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
2005 J jnl
Frame constructions, truth invariance and validity preservation in many-valued modal logic.
J. Appl. Non Class. Logics
Pantelis E. Eleftheriou, Costas D. Koutras
2003 J jnl
A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.
J. Appl. Non Class. Logics
Costas D. Koutras
2002 J jnl
Canonicity and Completeness Results for Many-Valued Modal Logics.
J. Appl. Non Class. Logics
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
2002 J jnl
Weaker Axioms, More Ranges.
Fundam. Informaticae
Costas D. Koutras, Pavlos Peppas
2001 J jnl
Prolegomena to Concise Theories of Action.
Stud Logica
Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams
2000 J jnl
Many-Valued Reflexive Autoepistemic Logic.
Log. J. IGPL
Costas D. Koutras, Stathis Zachos
1999 J jnl
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces.
Fundam. Informaticae
Costas D. Koutras, George Koletsos, Stathis Zachos