Ερευνητικά Ενδιαφέροντα

• Λογικός Προγραμματισμός
• Τεχνητή Νοημοσύνη
• Αντικειμενοστραφής Προγραμματισμός και Αντικειμενοστραφής Αναπαράσταση Γνώσης
• Ανάκτηση και Αναπαράσταση Πληροφοριών και Γνώσης στον Παγκόσμιο Ιστό και στο Σημασιολογικό Ιστό
• Αναπαράσταση και Συλλογιστική με Αβεβαιότητα
• Στοιχειοποίηση (modularity)
• Αφηρημένοι Τύποι Δεδομένων
• Ευφυείς Πράκτορες/ Συστήματα Πολλαπλών Πρακτόρων
• Επαγωγικές (συμπερασματικές) Βάσεις Δεδομένων

Διδακτική Δραστηριότητα

Επίβλεψη Διατριβών/Εργασιών

Γνωστικό Πεδίο

Επίβλεψη της Διδακτορικής Διατριβής της Λουκίας Καρανικόλα στην περιοχή των Κανόνων και Συλλογιστικής με Αβεβαιότητα ή/και Ασάφεια στον Σημασιολογικό Ιστό (Νοέμβριος 2009 - )

Εργασίες που έχουν ολοκληρωθεί (από το 2003 κι έπειτα):

• "Fantasy Animals: ένα 2D Ηλεκτρονικό Παιχνίδι με Microsoft XNA Game Studio" Μπουζούκος Βασίλειος - Πτυχιακή Εργασία (2012)
• "Εξαγωγή ζευγών ερώτησης - απάντησης από forum και αυτόματη απάντηση νέων ερωτήσεων" Ζερβός Μιχαήλ - Πτυχιακή Εργασία (2011)
• "Ανάπτυξη Παιχνιδιών με Στοιχεία Τεχνητής Νοημοσύνης", Κόλλιας Κωνσταντίνος, Βομπίρης Πέτρος - Πτυχιακή Εργασία (2011)
• "Μελέτη αλγορίθμων για παιχνίδια δύο παικτών κι ανάπτυξη σκακιστικής μηχανής με τεχνικές τεχνητής νοημοσύνης", Πρίντεζης Νικόλαος - Πτυχιακή Εργασία (2010)
• "Γνωσιακή Αναζήτηση Πληροφορίας στον Παγκόσμιο Ιστό: μια σύγκριση με άλλες προσεγγίσεις", Σταμάτη Βερονίκη - Διπλωματική Εργασία (2010)
• "GIOTA: Ένα ευφυές σύστημα χωρικής αξιολόγησης", Βελέντζα Παναγιώτα - Πτυχιακή Εργασία (2009)
• "Τεχνολογίες αναπαράστασης γνώσης και συμπερασμού. Η περίπτωση ενός έξυπνου βοηθού προπονητή ποδοσφαίρου", Παπαταξιάρχης Βασίλειος - Διπλωματική Εργασία (2008) (Επιλεγμένες Διπλωματικές και Πτυχιακές Εργασίες - Τόμος 6)
• "Αυτόματη εξαγωγή μεταδεδομένων για σημασιολογική αναζήτηση διεθνούς ειδησεογραφίας", Καλλιπολίτης Λεωνίδας, Καρπής Βασίλειος - Διπλωματική Εργασία (2008) (Επιλεγμένες Διπλωματικές και Πτυχιακές Εργασίες - Τόμος 6)
• "Χρήση των υπηρεσιών ιστού στο πεδίο της Μετεωρολογίας", Μαυρογιαννέα Στεφανία - Πτυχιακή Εργασία (2008)
• "XAIL: Μια επεκτάσιμη γλώσσα για διεπαφές χρήστη", Ντζικ Γιαν, Λιακόπουλος Κυριάκος - Πτυχιακή Εργασία (2008) (Επιλεγμένες Διπλωματικές και Πτυχιακές Εργασίες - Τόμος 6)
• "Συγκριτική ανασκόπηση μεθόδων αναπαράστασης γνώσης για τον παγκόσμιο ιστό με εφαρμογή σε περιοχές της ειδησεογραφίας", Αθηναίου Ειρήνη - Πτυχιακή Εργασία (2008)
• "Κατηγοριοποίηση Ιστοσελίδων: η Προσέγγιση του Συστήματος AutoCat", Καρανικόλα Λουκία - Διπλωματική Εργασία (2007)
• "Σημασιολογική Αναζήτηση στον Παγκόσμιο Ιστό: Διεθνής Ειδησεογραφία", Καλλιπολίτης Λεωνίδας, Καρπής Βασίλειος - Πτυχιακή Εργασία (2005) (Επιλεγμένες Διπλωματικές και Πτυχιακές Εργασίες - Τόμος 3)
• "Κατηγοριοποίηση Ιστοσελίδων μέσω Κανόνων: η Προσέγγιση του Συστήματος ExpertCat", Κατσαρής Αριστοτέλης - Διπλωματική Εργασία (2004) (Επιλεγμένες Διπλωματικές και Πτυχιακές Εργασίες - Τόμος 2)
• "XML και Λογικός Προγραμματισμός: Μοντελοποίηση και Υλοποίηση της Αλγεβρας ΤΑΧ", Καρακάξη Αργυρώ - Διπλωματική Εργασία (2004) (Επιλεγμένες Διπλωματικές και Πτυχιακές Εργασίες - Τόμος 2)
• "XML και Λογικός Προγραμματισμός: Μοντελοποίηση της Αλγεβρας ΤΑΧ", Βλάχου Ακριβή - Διπλωματική Εργασία (2003)

Γενικότερα

Συμμετοχή σε Ερευνητικά Προγράμματα - Συμφωνίες

Αλλη Δραστηριότητα

Κριτής εργασιών διαφόρων περιοδικών και συνεδρίων, όπως Operational Research: An International Journal (Springer), DKE Journal, Computer Languages, Systems and Structures Journal, ACM Symposium on Principles of Database Systems (PODS) (2001, 2004), ACM Symposium on Applied Computing (SAC) (1995, 1996, 1997, 1998, 1999, 2001, 2002, 2003), 6th International Conference on Database Theory (ICDT'97), 11th International Workshop on Database and Expert Systems Applications (DEXA 2000), the 1997 ACM SIGGROUP Conference, the 4th Hellenic Conference on Artificial Intelligence (SETN '06) και EPY 2001, 3rd East European Workshop on Rule-Based Applications (RuleApps' 2009).

Μέλος της Επιτροπής Προγράμματος του 3rd East European Workshop on Rule-Based Applications (RuleApps' 2009), Cottbus, Germany, 21-22 Σεπτεμβρίου 2009.

Μέλος της οργανωτικής επιτροπής των 6th International Conference on Database Theory και 2nd Workshop on Constraint Databases (CDB'97).

Mentor ομάδας του Τμήματος Πληροφορικής και Τηλεπικοινωνιών στο φοιτητικό διαγωνισμό ImagineCup 2009, κατηγορία Software Design (διοργάνωση Microsoft).

Παρελθούσα Δραστηριότητα

• σχεδιασμός της αρχιτεκτονικής του συστήματος του Διαδικτυακού Τόπου, προσανατολισμένη στους πόρους του Τμήματος με κατανεμημένη διαχείριση πληροφορίας από τον υπεύθυνο της πληροφορίας.
• ανάπτυξη του συστήματος - υποστήριξη του συστήματος

Διδακτορική Διατριβή:

Εργασία Master's:

Δημοσιεύσεις

• V. Papataxiarhis, V. Tsetsos, I. Karali, P. Stamatopoulos and S. Hadjiefthymiades, "Developing Rule-Based Applications for the Web: Methodologies and Tools". Κεφάλαιο του βιβλίου Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, May 2009, (ISBN 978-1-60566-402-6).
• A. Tsounis, C. Anagnostopoulos, S. Hadjiefthymiades, I. Karali. "Ontological Engineering in Pervasive Computing Environments", Κεφάλαιο του βιβλίου Web Semantics and Ontology (David Taniar, Johanna Wenny Rahayu Eds.). Idea Group, Inc, 2006 (ISBN: 1-59140-905-5 hardcover, 1-59140-906-3 paperback).

• L. Kallipolitis, V. Karpis and I. Karali, "Semantic Search in the World News Domain using Automatically Extracted Metadata Files", Knowledge-Based Systems (Elsevier), Vol. 27, pp. 38-50, 2012.
• I. Karali, "Modular Logic Programming for Web Data, Inheritance and Agents". 4th International Conference on Knowledge Science, Engineering and Management (KSEM 2010). Lecture Notes in Computer Science, Vol. 6291, pp. 354-365, Springer, 2010.
• V. Papataxiarhis, V. Tsetsos, I. Karali, P. Stamatopoulos and S. Hadjiefthymiades, "i-footman: A Knowledge-Based Framework for Football Managers". 3rd East European Workshop on Rule-Based Applications (RuleApps'2009), Cottbus, Germany, September 2009.
• L. Karanikola, A. Katsaris and I. Karali, "Web Page Classification using Rules and Heuristics". Artificial Intelligence and Applications (AIA 2009), pp. 42-47, Innsbruck, February, 2009.
• I. Karali, "Logic Programming to Address Issues of the Semantic Web". 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07), pp. 427-430, Silicon Valley, USA, November, 2007.
• A. Katsaris, I. Karali, "Rules revisited: Web Page Classification", Computational Intelligence (CI 2007), Banff, Alberta, Canada, 2007.
• L. Kallipolitis, V. Karpis, I. Karali, "World News Finder: How we Cope without the Semantic Web", Artificial Intelligence and Applications (AIA 2007), Innsbruck, 2007.
• S. McClean, B. Scotney, H. Rutjes, J. Hartkamp, I. Karali, M. Hatzopoulos, J. Lamb, D. Ma, "MISSION: An Agent-Based System for Semantic Integration of Heterogeneous Distributed Statistical Information Sources", 16th International Conference on Statistical and Scientific Database Management (SSDBM 2004), (short paper), pp. 337--340, Santorini, 2004.
• McClean S, Karali I, Scotney B, Greer K, Kapos G-D, Pairceir R, Hong J, Bell D, and M Hatzopolos, "Agents for Querying distributed statistical databases over the Internet", International Journal of Artificial Intelligence Tools (IJAIT), 11(1), 2002.
• McClean S, Karali I, Scotney B, Greer K, Kapos G-D, Pairceir R, Hong J, Bell D, and M Hatzopoulos, "Agent-based query processing of heterogeneous distributed statistical data via an ontology server", Proceedings of the EKAW02 Workshop, Ontologies for Multi-Agent Systems, pp105-120, 2002.
• F. Afrati, I. Karali and T. Mitakos, "On Inheritance in Object Oriented Datalog", Proceedings of Workshop on Issues and Applications of Database Technology -part of the Third Biannual World Conference on Integrated Design and Process Technology-, pp. 280 - 287, July 1998, Berlin.
• F. Afrati, I. Karali and T. Mitakos, "Datalog, Units and Information Hiding", Proceedings of the 1997 International Conference in Languages and Models with Objects (LMO 97) - in cooperation with ECOOP'97-, pp. 147--159, October 1997, Brest.
• I. Karali and C. Halatsis, "A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics", Proceedings of the 6th Internation and Joint Conference on Theory and Practice of Software Development (TAPSOFT'95), Springer Verlag, Lecture Notes in Computer Science (915), pp. 486--500, May 1995, Aarhus.
• I. Karali and C. Halatsis, "A Practical Module System for Logic Programming and its Semantics", Proceedings of the IEEE 6th International Conference on Tools with Artificial Intelligence (TAI'94), pp. 708--711, November 1994, New Orleans. (short paper/poster session)
• I. Karali and C. Halatsis, "Abstract Data Type Support in Prolog and its Relation to Parallelism", Proceedings of the ACM Symposium on Applied Computing 1994 (SAC'94), pp. 415--419, March 1994, Phoenix.
• C. Halatsis, P. Stamatopoulos, I. Karali, C. Mourlas, D. Gouscos, D. Margaritis, C. Fouskakis, A. Kolokouris, P. Xinos, M. Reeve, A. Veron, K. Schuerman and L.-L. Li, "MaTourA: Multi-agent Tourist Advisor", Proceedings of the International Conference on Information and Communication Technology in the Field of Tourism (ENTER'94), January 1994, Innsbruck, Austria, Springer-Verlag, Vienna, pp. 140-147.
• I. Karali, E. Pelecanos and C. Halatsis, "A Versatile Module System for Prolog Mapped to Flat Prolog", Proceedings of the ACM Symposium on Applied Computing 1993 (SAC'93), pp. 578--585, February 1993, Indianapolis.
• P. Stamatopoulos, I. Karali and C. Halatsis, "A Tour Advisory System Using a Logic Programming Approach", ACM Applied Computing Review journal, Vol. 1, No. 1, pp. 18--25, 1993.
• P. Stamatopoulos, I. Karali and C. Halatsis, "PETINA --- Tour Generation Using the ElipSys Inference System", Proceedings of the ACM Symposium on Applied Computing 1992 (SAC'92), Vol. 1, pp. 320--327, March 1992, Kansas City.
• C. Halatsis, M. Katzouraki, M. Hatzopoulos, P. Stamatopoulos, I. Karali, C. Mourlas, M. Gergatsoulis, E. Pelecanos. "PETINA: PErsonalized Tourist INformation Advisor". Proceedings of the 3rd Panhellenic Conference in Informatics, pp . 590-605, Athens, 1991.
• C. Halatsis, I. Karali and E. Pelecanos, "Modules and Abstract Data Types as Extensions of the ElipSys Language", Proceedings of the 3rd Panhellenic Conference in Informatics, pp. 87--99, Athens, 1991.

• S. McClean, J. Hong, B. Scotney, M. Hatzopoulos and I. Karali, "Using Intelligent Software Agents to Query Heterogeneous Distributed Statistical Databases", Proceedings of NTTS, 769-774, 2001.
• J.M. Lamb, A. Hewer, I. Karali, M. Kurki-Suonio, F. Murtagh, B. Scotney, C. Smart and K. Pagrach , "The ADDSIA Project: Issues and Achievements", (EU EUROSTAT Report) invited in the 3rd International Seminar on New Techniques and Technologies for Statistics, Sorrento, 1998.
• M. Hatzopoulos, I. Karali and E.Viglas, "Attacking Diversity in NSIs' Storage Infrastructure: the ADDSIA Approach", Proceedings of the 3rd International Seminar on New Techniques and Technologies for Statistics, pp.229-234, Sorrento, 1998.
• I. Karali and C. Halatsis, "Modular Logic Programming and Abstract Data Types", Proceedings of the First Panhellenic Symposium in Logic, pp. 229--236, Nicosia, 1997.
• P. Stamatopoulos and I. Karali, "Logic as Vehicle for Real Life Applications", Proceedings of the First Panhellenic Symposium in Logic, pp. 205--210, Nicosia, 1997.
• C. Halatsis, P. Stamatopoulos, I. Karali, T. Bitsikas, G. Fessakis, A. Schizas, S. Sfakianakis, C. Fouskakis, T. Koukoumpetsos, D. Papageorgiou. "Crew Scheduling Based on Constraint Programming: The PARACHUTE Experience", Proceedings of the Third Hellenic- European Conference on Mathematics and Informatics (HERMIS'96), pp. 424--431, Athens, 1996.