Emmanuil I. Marakakis

Publication Activity (10 Years)

Years Active: 1994-2012
Publications (10 Years): 0

Top Topics

Counter Examples

Existentially Quantified

Partial Deduction

Top Venues

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

Publications

Emmanuil I. Marakakis, Nikos Papadakis
Correctness of logic programs using proof schemes. Int. J. Knowl. Based Intell. Eng. Syst. 16 (3) (2012)
Emmanuil I. Marakakis, Kostas Vassilakis, Nikos Papadakis
A Tool for Removing Unused Arguments from Logic Programs Automatically. Int. J. Artif. Intell. Tools 19 (1) (2010)
Emmanuil I. Marakakis, Kostas Vassilakis, Nikos Papadakis
Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood. Expert Syst. Appl. 37 (10) (2010)
Emmanuil I. Marakakis, Chara Kounali, Kostas Vassilakis
A method for removing unused arguments from logic programs. Artificial Intelligence and Soft Computing (2006)
Emmanuil I. Marakakis
Guided Correctness Proofs of Logic Programs. Artificial Intelligence and Applications (2005)
Emmanuil I. Marakakis, John P. Gallagher
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. LOPSTR (1994)