George Koletsos

According to our database, George Koletsos authored at least 13 papers between 1985 and 2017.

Collaborative distances:

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

2017

Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0.

Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos

Innov. Syst. Softw. Eng., 2017

Query Rewriting Under Ontology Change.

Eleni Tsalapati, Giorgos Stoilos, Alexandros Chortaras, Giorgos Stamou, George Koletsos

Comput. J., 2017

2016

Efficient Query Answering over Expressive Inconsistent Description Logics.

Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2013

Query Rewriting Under Ontology Evolution.

Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Intersection Types and Termination Properties.

George Koletsos

Fundam. Informaticae, 2012

Query Rewriting under Ontology Contraction.

Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

Konstantinos Barlas, George Koletsos, Petros S. Stefaneas

CoRR, 2011

2010

Towards a correct translation from ASN.1 into CafeOBJ.

Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos

Int. J. Reason. based Intell. Syst., 2010

2009

A Method for Approximation to Ontology Reuse Problem.

Eleni Tsalapati, Giorgos B. Stamou, Giorgos Koletsos

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

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

1991

Polymorphic Lambda Calculus: The Church-Rosser Property.

George Koletsos

Theor. Comput. Sci., 1991

1985

Functional Interpretation of the beta-Rule.

George Koletsos

J. Symb. Log., 1985

Church-Rosser Theorem for Typed Functional Systems.

George Koletsos

J. Symb. Log., 1985