Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. - Emmanuil I. Marakakis; John P. Gallagher (LOPSTR, 1994)

Logic program development based on typed moded schemata and data types. - Emmanouil I. Marakakis (1997)

Guided Correctness Proofs of Logic Programs. - Emmanuil I. Marakakis (Artificial Intelligence and Applications, 2005)

A method for removing unused arguments from logic programs. - Emmanuil I. Marakakis; Chara Kounali; Kostas Vassilakis (Artificial Intelligence and Soft Computing, 2006)

Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood. - Emmanuil I. Marakakis; Kostas Vassilakis; Nikos Papadakis (Expert Syst. Appl., 2010)

A Tool for Removing Unused Arguments from Logic Programs Automatically. - Emmanuil I. Marakakis; Kostas Vassilakis; Nikos Papadakis (Int. J. Artif. Intell. Tools, 2010)

Correctness of logic programs using proof schemes. - Emmanuil I. Marakakis; Nikos Papadakis (Int. J. Knowl. Based Intell. Eng. Syst., 2012)

A knowledge-based interactive verifier for logic programs. - Emmanouil I. Marakakis; Haridimos Kondylakis; Nikos Papadakis (Int. J. Knowl. Based Intell. Eng. Syst., 2014)

Mode Analysis During Program Development. - Emmanouil I. Marakakis; Haridimos Kondylakis (Int. J. Artif. Intell. Tools, 2016)

i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog. - Afroditi Stathaki; Haridimos Kondylakis; Emmanouil I. Marakakis; Michael Kalogerakis (ArtsIT/DLI, 2017)

Developing a Collaborative Knowledge System for Cancer Diseases. - Mihalis Giannoulis; Emmanouil I. Marakakis; Haridimos Kondylakis (CBMS, 2017)

COSMOS: A Web-Based, Collaborative Knowledge System Using Ontologies and Managing Uncertainty. - Michail Giannoulis; Haridimos Kondylakis; Emmanouil I. Marakakis (PETRA, 2018)

Designing and implementing a collaborative health knowledge system. - Michail Giannoulis; Haridimos Kondylakis; Emmanouil I. Marakakis (Expert Syst. Appl., 2019)

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 (PCI, 2020)

INTEGRA: a web-based differential diagnosis system combining multiple knowledge bases. - Aris Papakonstantinou; Haridimos Kondylakis; Emmanouil I. Marakakis (PETRA, 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)

Prediction of COVID-19 Infection Based on Symptoms and Social Life Using Machine Learning Techniques. - Stefanos Zervoudakis; Emmanouil I. Marakakis; Haridimos Kondylakis; Stefanos Goumas (PETRA, 2021)

A Medical Question Answering System with NLP and graph database. - Ioannis Tsampos; Emmanouil I. Marakakis (EDBT/ICDT Workshops, 2023)

An Intelligent Chatbot in Greek Using Machine Learning Technology. - Orestis Nikologiannis; Ioannis Tsampos; Emmanouil I. Marakakis (PCI, 2024)

Querying Knowledge Graphs in Greek Language. - Ioannis Tsampos; Emmanouil I. Marakakis (PETRA, 2024)