George Koletsos

Publication Activity (10 Years)

Years Active: 1985-2017
Publications (10 Years): 3

Top Topics

Query Rewriting

Ontology Based Data Access

Top Venues

Description Logics

Fundam. Informaticae

Innov. Syst. Softw. Eng.

Publications

Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. Innov. Syst. Softw. Eng. 13 (1) (2017)
Eleni Tsalapati, Giorgos Stoilos, Alexandros Chortaras, Giorgos Stamou, George Koletsos
Query Rewriting Under Ontology Change. Comput. J. 60 (3) (2017)
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos
Efficient Query Answering over Expressive Inconsistent Description Logics. IJCAI (2016)
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos
Query Rewriting Under Ontology Evolution. Description Logics (2013)
George Koletsos
Intersection Types and Termination Properties. Fundam. Informaticae 121 (1-4) (2012)
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos
Query Rewriting under Ontology Contraction. RR (2012)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking CoRR (2011)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos
Towards a correct translation from ASN.1 into CafeOBJ. Int. J. Reason. based Intell. Syst. 2 (3/4) (2010)
Costas D. Koutras, George Koletsos, Stathis Zachos
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces. Fundam. Informaticae 38 (3) (1999)
George Koletsos
Polymorphic Lambda Calculus: The Church-Rosser Property. Theor. Comput. Sci. 79 (2) (1991)
George Koletsos
Church-Rosser Theorem for Typed Functional Systems. J. Symb. Log. 50 (3) (1985)
George Koletsos
Functional Interpretation of the beta-Rule. J. Symb. Log. 50 (3) (1985)