Costas D. Koutras

According to our database, Costas D. Koutras authored at least 30 papers between 1990 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Embedding the Calendar and Time Type System in Temporal Type Theory.

Georgios V. Pitsiladis, Costas D. Koutras

J. Appl. Non Class. Logics, April, 2025

2023

On weak filters and ultrafilters: Set theory from (and for) knowledge representation.

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos

Log. J. IGPL, January, 2023

2022

Default consequence relations from topology and measure theory.

Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis

Ann. Math. Artif. Intell., 2022

Topological semantics for default conditional logic: preliminary report.

Costas D. Koutras, Christos Nomikos

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

A note on the complexity of S4.2.

Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos

J. Appl. Non Class. Logics, 2021

2018

A quick guided tour to the modal logic S4.2.

Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos

Log. J. IGPL, 2018

Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report.

Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

A reconstruction of default conditionals within epistemic logic.

Costas D. Koutras, Christos Moyzes, Christos Rantsoudis

Proceedings of the Symposium on Applied Computing, 2017

Stathis Zachos at 70!

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

Proceedings of the Algorithms and Complexity - 10th International Conference, 2017

2015

Prosperity Indicators: Foundations, Concerns, and Prospects of Usage in Policy Making-The Policy Compass Approach.

Ourania I. Markaki, Panagiotis Kokkinakos, Sotirios Koussouris, Costas D. Koutras, John E. Psarras

Proceedings of the 9th Mediterranean Conference on Information Systems, 2015

Open Data Driven Policy Analysis and Impact Evaluation.

Panagiotis Kokkinakos, Sotirios Koussouris, Ourania I. Markaki, Costas D. Koutras, John E. Psarras, Yuri Glickman, Martin Löhe, Habin Lee

Proceedings of the Workshop on Enabling Effective Policy Making 2015, 2015

In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.

Costas D. Koutras, Christos Rantsoudis

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014

On the '<i>in many cases</i>' Modality: Tableaux, Decidability, Complexity, Variants.

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos

Proceedings of the Artificial Intelligence: Methods and Applications, 2014

A Modal Logic of Knowledge, Belief, and Estimation.

Costas D. Koutras, Christos Moyzes, Yorgos Zikos

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report.

Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2012

Maps in Multiple Belief Change.

Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams

ACM Trans. Comput. Log., 2012

Notions of Bisimulation for Heyting-Valued Modal Languages.

Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos

J. Log. Comput., 2012

Knowledge Means 'All', Belief Means 'Most'.

Dimitris Askounis, Costas D. Koutras, Yorgos Zikos

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Relating Truth, Knowledge and Belief in Epistemic States.

Costas D. Koutras, Yorgos Zikos

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

Stable Belief Sets Revisited.

Costas D. Koutras, Yorgos Zikos

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics.

Costas D. Koutras, Yorgos Zikos

Fundam. Informaticae, 2009

2008

On a Simple 3-valued Modal Language and a 3-valued Logic of '<i>not-fully-justified</i>' Belief.

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

Log. J. IGPL, 2008

2005

Frame constructions, truth invariance and validity preservation in many-valued modal logic.

Pantelis E. Eleftheriou, Costas D. Koutras

J. Appl. Non Class. Logics, 2005

2003

A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.

Costas D. Koutras

J. Appl. Non Class. Logics, 2003

2002

Canonicity and Completeness Results for Many-Valued Modal Logics.

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

J. Appl. Non Class. Logics, 2002

Weaker Axioms, More Ranges.

Costas D. Koutras, Pavlos Peppas

Fundam. Informaticae, 2002

2001

Prolegomena to Concise Theories of Action.

Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams

Stud Logica, 2001

2000

Many-Valued Reflexive Autoepistemic Logic.

Costas D. Koutras, Stathis Zachos

Log. J. IGPL, 2000

1999

Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces.

Costas D. Koutras, George Koletsos, Stathis Zachos

Fundam. Informaticae, 1999

1990

A Hypertext Model Supporting Query Mechanisms.

Foto N. Afrati, Constantinos D. Koutras

Proceedings of the Hypertext: Concepts, 1990