Emmanouil I. Marakakis

According to our database, Emmanouil I. Marakakis authored at least 19 papers between 1994 and 2024.

Collaborative distances:

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

2024

Querying Knowledge Graphs in Greek Language.

Ioannis Tsampos, Emmanouil I. Marakakis

Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments, 2024

2023

A Medical Question Answering System with NLP and graph database.

Ioannis Tsampos, Emmanouil I. Marakakis

Proceedings of the Workshops of the EDBT/ICDT 2023 Joint Conference, 2023

2021

Prediction of COVID-19 Infection Based on Symptoms and Social Life Using Machine Learning Techniques.

Stefanos Zervoudakis, Emmanouil I. Marakakis, Haridimos Kondylakis, Stefanos Goumas

Proceedings of the PETRA '21: The 14th PErvasive Technologies Related to Assistive Environments Conference, Virtual Event, Greece, 29 June, 2021

2020

MediExpert: An Expert System based on Differential Diagnosis focusing on Educational Purposes.

Aris Papakonstantinou, Haridimos Kondylakis, Emmanouil I. Marakakis

EAI Endorsed Trans. e Learn., 2020

INTEGRA: a web-based differential diagnosis system combining multiple knowledge bases.

Aris Papakonstantinou, Haridimos Kondylakis, Emmanouil I. Marakakis

Proceedings of the PETRA '20: The 13th PErvasive Technologies Related to Assistive Environments Conference, Corfu, Greece, June 30, 2020

A Probabilistic Logic Program that Predicts COVID-19 Infection and the Possibility a Patient to Recover.

Nikos Papatheodorou, Nikos Ntantinakis, Stefanos Zervoudakis, Emmanouil I. Marakakis, Haridimos Kondylakis

Proceedings of the PCI 2020: 24th Pan-Hellenic Conference on Informatics, 2020

2019

Designing and implementing a collaborative health knowledge system.

Michail Giannoulis, Haridimos Kondylakis, Emmanouil I. Marakakis

Expert Syst. Appl., 2019

2018

COSMOS: A Web-Based, Collaborative Knowledge System Using Ontologies and Managing Uncertainty.

Michail Giannoulis, Haridimos Kondylakis, Emmanouil I. Marakakis

Proceedings of the 11th PErvasive Technologies Related to Assistive Environments Conference, 2018

2017

Developing a Collaborative Knowledge System for Cancer Diseases.

Mihalis Giannoulis, Emmanouil I. Marakakis, Haridimos Kondylakis

Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog.

Afroditi Stathaki, Haridimos Kondylakis, Emmanouil I. Marakakis, Michael Kalogerakis

Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2017

2016

Mode Analysis During Program Development.

Emmanouil I. Marakakis, Haridimos Kondylakis

Int. J. Artif. Intell. Tools, 2016

2014

A knowledge-based interactive verifier for logic programs.

Emmanouil I. Marakakis, Haridimos Kondylakis, Nikos Papadakis

Int. J. Knowl. Based Intell. Eng. Syst., 2014

2012

Correctness of logic programs using proof schemes.

Emmanuil I. Marakakis, Nikos Papadakis

Int. J. Knowl. Based Intell. Eng. Syst., 2012

2010

A Tool for Removing Unused Arguments from Logic Programs Automatically.

Emmanuil I. Marakakis, Kostas Vassilakis, Nikos Papadakis

Int. J. Artif. Intell. Tools, 2010

Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood.

Emmanuil I. Marakakis, Kostas Vassilakis, Nikos Papadakis

Expert Syst. Appl., 2010

2006

A method for removing unused arguments from logic programs.

Emmanuil I. Marakakis, Chara Kounali, Kostas Vassilakis

Proceedings of the Artificial Intelligence and Soft Computing, 2006

2005

Guided Correctness Proofs of Logic Programs.

Emmanuil I. Marakakis

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

1997

Logic program development based on typed moded schemata and data types.

Emmanouil I. Marakakis

PhD thesis, 1997

1994

Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types.

Emmanuil I. Marakakis, John P. Gallagher

Proceedings of the Logic Programming Synthesis and Transformation, 1994