George Koletsos

13 papers A* 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
Query Rewriting Under Ontology Change.
Comput. J.
Eleni Tsalapati, Giorgos Stoilos, Alexandros Chortaras, Giorgos Stamou, George Koletsos
2017 J jnl
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0.
Innov. Syst. Softw. Eng.
Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos
2016 A* conf
Efficient Query Answering over Expressive Inconsistent Description Logics.
IJCAI
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos
2013 — conf
Query Rewriting Under Ontology Evolution.
Description Logics
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos
2012 J jnl
Intersection Types and Termination Properties.
Fundam. Informaticae
George Koletsos
2012 — conf
Query Rewriting under Ontology Contraction.
RR
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos
2011 J jnl
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
CoRR
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas
2010 J jnl
Towards a correct translation from ASN.1 into CafeOBJ.
Int. J. Reason. based Intell. Syst.
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos
2008 J jnl
Church-Rosser property and intersection types.
Australas. J. Log.
George Koletsos, George Stavrinos
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
1991 J jnl
Polymorphic Lambda Calculus: The Church-Rosser Property.
Theor. Comput. Sci.
George Koletsos
1985 J jnl
Church-Rosser Theorem for Typed Functional Systems.
J. Symb. Log.
George Koletsos
1985 J jnl
Functional Interpretation of the beta-Rule.
J. Symb. Log.
George Koletsos