Emmanouil I. Marakakis

Orcid: 0000-0002-5685-0480

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Querying Knowledge Graphs in Greek Language.
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.
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.
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.
EAI Endorsed Trans. e Learn., 2020

INTEGRA: a web-based differential diagnosis system combining multiple knowledge bases.
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.
Proceedings of the PCI 2020: 24th Pan-Hellenic Conference on Informatics, 2020

2019
Designing and implementing a collaborative health knowledge system.
Expert Syst. Appl., 2019

2018
COSMOS: A Web-Based, Collaborative Knowledge System Using Ontologies and Managing Uncertainty.
Proceedings of the 11th PErvasive Technologies Related to Assistive Environments Conference, 2018

2017
Developing a Collaborative Knowledge System for Cancer Diseases.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog.
Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2017

2016
Mode Analysis During Program Development.
Int. J. Artif. Intell. Tools, 2016

2014
A knowledge-based interactive verifier for logic programs.
Int. J. Knowl. Based Intell. Eng. Syst., 2014

2012
Correctness of logic programs using proof schemes.
Int. J. Knowl. Based Intell. Eng. Syst., 2012

2010
A Tool for Removing Unused Arguments from Logic Programs Automatically.
Int. J. Artif. Intell. Tools, 2010

Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood.
Expert Syst. Appl., 2010

2006
A method for removing unused arguments from logic programs.
Proceedings of the Artificial Intelligence and Soft Computing, 2006

2005
Guided Correctness Proofs of Logic Programs.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

1997
Logic program development based on typed moded schemata and data types.
PhD thesis, 1997

1994
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types.
Proceedings of the Logic Programming Synthesis and Transformation, 1994


  Loading...