| |
| 2006 | ||
|---|---|---|
| 3 | Emmanuil I. Marakakis, Chara Kounali, Kostas Vassilakis: A method for removing unused arguments from logic programs. Artificial Intelligence and Soft Computing 2006: 197-202 | |
| 2005 | ||
| 2 | Emmanuil I. Marakakis: Guided Correctness Proofs of Logic Programs. Artificial Intelligence and Applications 2005: 668-673 | |
| 1994 | ||
| 1 | Emmanuil I. Marakakis, John P. Gallagher: Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. LOPSTR 1994: 138-153 | |
| 1 | John P. Gallagher | [1] |
| 2 | Chara Kounali | [3] |
| 3 | Kostas Vassilakis | [3] |