People

Yannis Haralambous

Email

Export publications Citations

Export publications BibTeX

Conference Articles

2018

(1 publication)

Haralambous, Y. and Quaresma, P. , "Geometric Search in TGTP", in Proceedings of the 12th International Conference on Automated Deduction in Geometry, 2018

2014

(1 publication)

Haralambous, Y. and Quaresma, P. , "Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices", in Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal. pe, 2014 [ DOI ]

2012

(1 publication)

Quaresma, P. and Haralambous, Y. , "Geometry Construction Recognition by the Use of Semantic Graphs", in 18th edition of the Portuguese Conference on Pattern Recognitionped, 2012