Costas D. Koutras

Orcid: 0000-0002-2488-0167

Affiliations:
  • University of Peloponnese, Greece


According to our database1, Costas D. Koutras authored at least 29 papers between 1990 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On weak filters and ultrafilters: Set theory from (and for) knowledge representation.
Log. J. IGPL, January, 2023

2022
Default consequence relations from topology and measure theory.
Ann. Math. Artif. Intell., 2022

Topological semantics for default conditional logic: preliminary report.
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.
J. Appl. Non Class. Logics, 2021

2019
A Reconstruction of Default Conditionals within Epistemic Logic.
Fundam. Informaticae, 2019

2018
A quick guided tour to the modal logic S4.2.
Log. J. IGPL, 2018

Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
A modal logic of knowledge, belief and estimation.
J. Log. Comput., 2017

In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.
J. Log. Lang. Inf., 2017


2016
Knowledge means 'all', belief means 'most'.
J. Appl. Non Class. Logics, 2016

2015
Prosperity Indicators: Foundations, Concerns, and Prospects of Usage in Policy Making-The Policy Compass Approach.
Proceedings of the 9th Mediterranean Conference on Information Systems, 2015

Open Data Driven Policy Analysis and Impact Evaluation.
Proceedings of the Workshop on Enabling Effective Policy Making 2015, 2015

2014
On the '<i>in many cases</i>' Modality: Tableaux, Decidability, Complexity, Variants.
Proceedings of the Artificial Intelligence: Methods and Applications, 2014

Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2012
Maps in Multiple Belief Change.
ACM Trans. Comput. Log., 2012

Notions of Bisimulation for Heyting-Valued Modal Languages.
J. Log. Comput., 2012

2011
Relating Truth, Knowledge and Belief in Epistemic States.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010
Stable Belief Sets Revisited.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics.
Fundam. Informaticae, 2009

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

2005
Frame constructions, truth invariance and validity preservation in many-valued modal logic.
J. Appl. Non Class. Logics, 2005

2003
A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.
J. Appl. Non Class. Logics, 2003

2002
Canonicity and Completeness Results for Many-Valued Modal Logics.
J. Appl. Non Class. Logics, 2002

Weaker Axioms, More Ranges.
Fundam. Informaticae, 2002

2001
Prolegomena to Concise Theories of Action.
Stud Logica, 2001

2000
Many-Valued Reflexive Autoepistemic Logic.
Log. J. IGPL, 2000

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

1990
A Hypertext Model Supporting Query Mechanisms.
Proceedings of the Hypertext: Concepts, 1990


  Loading...