Chapters in Edited Books

  1. Emmanouil  Marakakis, Harydimos Kondylakis, Nikos Papadakis, Knowledge Representation in a Proof Checker for Logic Programs, chapter 12 in book with title Knowledge Representation, ISBN 978-953-51-0597-8, editor Carlos Ramirez Gutierrez, April 2012, publisher  InTech, http://www.intechopen.com/articles/show/title/knowledge-representation-in-a-proof-checker-for-logic-programs.
  2. L. Chung, P. Katalagarianos, M. Marakakis, M. Mertikas, J. Mylopoulos and Y. Vassiliou, Mapping Information System Requirements to Designs, chapter 8, pages 243-280 in Database Application Engineering with DAIDA edited by M. Jarke, Springer-Verlag,1993, ISBN 3-540-56291-5.

International Journals

  1. E. Marakakis, H. Kondylakis, Mode Analysis During Program Development,
    International Journal on Artificial Intelligence Tools, Vol. 25, No. 2, (2016),
    1650001 (40 pages), DOI: 10.1142/S0218213016500019, World Scientific.
  2. E. Marakakis, N. Papadakis, Correctness of Logic Programs Using Proof Schemes, International Journal of Knowledge-based and Intelligent Engineering Systems, 16 (2012), pp.185-198
  3. Nikos Papadakis , «Addressing the frame and qualification problems in Temporal Databases», International Journal of Reasoning-based Intelligent Systems (accepted)
  4. E. Marakakis, K. Vassilakis, N. Papadakis, «Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood», Expert Systems with Applications, Volume 37, Issue 10, pp. 6979-6985, October 2010.
  5. E. Marakakis, K. Vassilakis, N. Papadakis, «A Tool for Removing Unused Argument from Logic Programs Automatically», International Journal on Artificial Intelligence Tools (IJAIT), Volume 19, Issue 01, pp. 39-63, February 2010.
  6. Nikos Papadakis and Dimitris Plexousakis, «Addressing the Ramification Problem in a Temporal Context:the case of Concurrent Actions» International Journal of Intelligence Systems, Vol. 25, 287-325, 2010.
  7. Nikos Papadakis and Yannis Christodoulou, «A tool for addressing the ramification problem in spatial databases: A Solution Implemented in SQL», Journal Expert Systems with Applications, 37 2010 pp. 1374–1390.
  8. Nikos Papadakis ,Dimitris Plexousakis and Grigoris Antoniou, «The Ramification problem in Temporal Databases:Chaning the Beliefs About the Past», Journal of Data and Knowledge Engineering, 59, pp. 397-434, November 2006.
  9. E. Marakakis, K. Vassilakis, E. Kalivianakis and S. Micheloyiannis, «An Expert System for Epilepsy with Uncertainty», Journal of Artificial Intelligence and Machine Learning, 2006, ISSN: 1687-4846, http://www.icgst.com/aiml/SpecialIssue/index.html.
  10. Nikos Papadakis and Dimitris Plexousakis, «Action with Duration and Constraints: The Ramification problem in Temporal Databases», pp. 315-353, International Journal on Artificial Intelligent Tools, volume 12, Number 3, September 2003.
  11. K. Vassilakis, L. Vorgia, S. Micheloyannis, «A Decision Support System for Classification of Epilepsies in Childhood», Journal of Child Neurology May;17(5):357-363, (ISSN: 0883-0738 –IF:1.433-2008), 2002.
  12. L. Chung, P. Katalagarianos, M. Marakakis, M. Mertikas, J. Mylopoulos and Y. Vassiliou, «From Information System Requirements to Designs: A Mapping Framework», Information Systems, vol. 16, no. 4, pp. 429-461, 1991, Pergamon Press, ISSN 0306-4379.

International Conferences

  1. E. Marakakis, Α. Papakonstantinou, , An Expert System for Differential Diagnosis
    Based on ICD-10, Medical Education Informatics (MEI2015), Thessaloniki, June 18-20, 2015.
  2. Nikos Papadakis, Polydoros Petrakis, Dimitris Plexousakis, Haridimos Kondylakis «A Solution to the Ramification Problem Expressed in Temporal Description Logics», accept in 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable & Dynamic – NEFoRS2010 co-located with the 7th Extended Semantic Web Conference (ESWC2010).
  3. Nikos Papadakis, Pavlos Kefalas and Antonis Delidakis, «A Distributed System for Discovery Knowledge OverPeer-To-Peer Network», 13th IASTED International Conference on Artificial Intelligence and Soft Computing pp125-129, 2009.
  4. Manolis Marakakis and Nikos Papadakis, «An Interactive Verifier for Logic Programs», 13th IASTED International Conference on Artificial Intelligence and Soft Computing, pp. 130-137, 2009.
  5. Evdoxios Baratis, Euripides Petrakis, Sotiris Bastakis , Nikolaos Maris and Nikos Papadakis, «TOQL: Temporal Ontology Querying Language», 11th International Symposium on Spatial and Temporal Databases 2009, pp. 338-354.
  6. Evdoxios Baratis, Nikolaos Maris, Euripides Petrakis, Sotiris Batsakis and Nikolaos Papadakis, “The TOQL system”, 11th International Symposium on Spatial and Temporal Databases 2009 pp. 450-454.
  7. Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou. «The Ramification Problem in Temporal Databases: a Solution Implemented in SQL». 17th International Symposium on Methodologies for Intelligent Systems (ISMIS’08), pp. 381–388 May 2008 Canada.
  8. Nikos Papadakis, Grigoris Antoniou and Dimitris Plexousakis, «The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints», 19th IEEE International Conference on Tools with Artificial Intelligent, pp. 274-278, Patra, Grecce, October 2007.
  9. E. Marakakis, C. Kounali, K. Vassilakis, «A Method for Removing Unused Argument from Logic Programs», Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing, ASC 2006, pages 197-202, August 28-30, 2006, Palma de Mallorca, Spain, ISBN 0-88986-610-4, ISSN 1482-7913.
  10. E. Marakakis, K. Vassilakis, E. Kalivianakis and S. Micheloyiannis, «An Expert System for Epilepsy with Uncertainty», Proceedings of the First ICGST International Conference on Artificial Intelligence and Machine Learning, AIML’05, pages 72-78, 19-20 December, 2005, Cairo, Egypt, ISBN 21968/2005. Αυτό το άρθρο είναι ένα από τα 11 άρθρα (σε σύνολο 26) του συνεδρίου που επιλέχθησαν για δημοσίευση σε μια ειδική έκδοση του περιοδικού Journal of Artificial Intelligence and Machine Learning, 2006, ISSN: 1687-4846,http://www.icgst.com/aiml/SpecialIssue/index.html.
  11. E. Marakakis, K. Vassilakis, E. Kalivianakis and S. Micheloyiannis, «A Medical Decision Support System with Uncertainty: A Case Study for Epilepsy Classification», Proceedings of the 3rd European Medical and Biological Engineering Conference EMBEC’05, Vol. 11, pages 4223-4228, 20-25 November, 2005, Prague, Czech Republic, ISSN 1727-1983.
  12. E. Marakakis, «Guided Correctness Proofs of Logic Programs», Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, as part of the 23rd IASTED International Multi-Conference on Applied Informatics, edited by M.H. Hamza, February 14-16, 2005, Innsbruck, Austria, pp. 668-673, ACTA Press, ISBN 0-88986-457-8, ISSN 1027-2666.
  13. E. Marakakis, K. Vassilakis, E. Kalivianakis, S. Micheloyiannis, «A medical decision support system with uncertainty: a case study for epilepsy classification», International Federation for Medical and Biological Engineering (IFMBE) Proceedings of 3rd European Conference on Biomedical Engineering, Vol. 11, 4223-4228, 2005, (ISSN: 1727-1983).
  14. Ε. Marakakis, «Use of Static Analysis During Program Development», Proceedings of the Eighth IASTED International Conference on Artificial Intelligence and Soft Computing, ASC 2004, edited by A.P. del Pobil, September 1-3, 2004, Marbella, Spain, pp. 66-71, ACTA Press, ISBN 0-88986-452-7, ISSN 1482-7913.
  15. Nikos Papadakis and Dimitris Plexousakis, «Addressing the Ramification Problem in a Temporal Context: the case of Concurrent Actions», pp. 545-551 15th IEEE International Conference on Tools with Artificial Intelligent, Sacramento, USA , November 2003.
  16. Nikos Papadakis and Dimitris Plexousakis, «Action with Duration and Constraints: The Ramification problem in Temporal Databases», pp. 83-90 14th IEEE International Conference on Tools with Artificial Intelligent, Washington, USA, November 2002.
  17. S. Voutoufianakis, K. Vassilakis, P. Vorgia, A Charoniti, S. Michelogiannis, «Evaluation of a Decision Support System for Epilepsies in Childhood», 4th Congress of the European Pediatric Neurology Society (EPNS), Germany, 2001.
  18. K. Vassilakis, G. Papadourakis, S. Michelogiannis, «Decision support system for the Classification of Epilepsies and Epileptic Syndromes for children», Proceedings of the 4th International Conference on Neural Networks and Expert Systems in Medicine and Healthcare, 175-180, 2001, (ISBN: 960-85316-5-9).
  19. Κ. Vassilakis, S. Micheloyannis, «Experience gained by the use of a computer diagnostic system for epilepsy», 7th European conference on Epilepsy & Society, Athens, May 2000.
  20. G.M Papadourakis, K.M. Vassilakis, S. Micheloyannis, A. Ware, «A Proposed Automatic Medical Diagnostic System Using Neural Networks and Expert Systems», Proceedings of the 2nd International Conference on Neural Networks and Expert Systems in Medicine and Healthcare, 256-263, 1996, (ISBN: 0905227700).
  21. E. Marakakis, J.P. Gallagher, «Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types», Proceedings of Fourth International Workshops on Logic Program Synthesis and Transformation – Meta-Programming in Logic, LOPSTR’94 and META’94, edited by L. Fribourg and F. Turini, June 1994, Pisa, Italy, pp.138-153, LNCS 883, Springer-Verlag, ISBN 3-540-58792-6. (also Technical Report, CSTR-94-02, Computer Science Department, University of Bristol, March, 1994.)
  22. Y. Vassiliou, M. Marakakis, P. Katalagarianos, L. Chung, M. Mertikas and J. Mylopoulos, «IRIS – A Mapping Assistant for Generating Designs from Requirements», Proceedings of the 2nd Nordic Conference on Advanced Information Systems Engineering (CAiSE – 90), edited by B. Steinholtz, A. Solvber, L. Bergman, Stockholm, May 8-10, 1990, pp. 307-338, LNCS 436, Springer-Verlag, ISBN 3-540-52625-0.
  23. M. Mamalaki, M. Marakakis, M. Mertikas, T. Topaloglou and Y. Vassiliou, «On the Development of Information Systems – from Requirements Modelling to System Design», Proceedings of the First European Conference on Information Technology for Organizational Systems, EURINFO’88, Athens, May 1988, pp.560-567, North-Holland, ISBN 0-444-70427-2. (also technical report in the Institute of the Computer Science, FORTH, Heraklion, Crete, RCC/CSI/TR/1987/006.)
  24. Matthias Jarke, DAIDA Team (…,Manolis Marakakis,…), «The DAIDA Environment for Knowledge-Based Information Systems Development», Proceedings of the 5th Annual ESPRIT Conference, Esprit’88, Putting the Technology to Use, Part 1, 1988, Pages 405-422, North-Holland, Amsterdam, ISBN 0-444-87145-4.
  25. T. Radhakrishnan, R. De Mori, E. Marakakis, R. Castillo, «Spoken Responses to Database Queries», Proceedings of the International Conference on Systems Man and Cybernetics, Dec. 30 1983 – Jan. 7 1984, India, vol. II, pp. 825-829, 1983, ΙΕΕΕ Catalog No. 83CH1962-0, ISBN 0-083-82683-0.

National Conferences

  1. E. Καλυβιανάκης, E. Μαρακάκης, K. Βασιλάκης, «Διάγνωση Επιληψίας με αβεβαιότητα», Πρακτικά του Ετήσιου Συνεδρίου Τηλεπικοινωνιών και Πολυμέσων (TEMU), 212-218, Ηράκλειο 2005, (ISBN: 960-88785-1-9).
  2. Nikos Papadakis and Dimitris Plexousakis, «The Ramification and Qualification Problem in Temporal Databases», 2th Panhellenic Conference on Artificial Intelligent, p. 18 -30 LNAI 2308 April 2002, Thessalonica, Greece.
  3. Nikos Papadakis and Dimitris Plexousakis, «Action Theories in Temporal Databases», 8th Panhellenic Conference on Informatics, November 2001, Nicosia, Cyprus.