Research Interests

• Logic Programming
• Artificial Intelligence
• Object-oriented Programming and Object-oriented Knowledge Representation
• Web Information Extraction/Representation
• Reasoning under Uncertainty
• Modularity
• Abstract Data Types
• Intelligent Agents/ Multi-agent Systems
• Deductive Databases

Teaching Activities

Diploma/Postgraduate Theses Supervision

Topics of theses in this area:

• logic programming to represent knowledge on the Web
• reasoning under uncertainty
• web page classification
• semantic search
• focused crawling

PhD Supervision : Loukia Karanikola, "Rules and reasoning under uncertainty and/or vagueness on the Semantic Web" (November 2009 -)

Completed Theses (after 2003)

• Bouzoukos Vassilios, "Fantasy Animals: a 2D Game using Microsoft XNA Game Studio", Diploma Thesis (2012)
• Michalis Zervos, "Detection of Question - Answer pairs in Web Forums and automated FAQ answering", Diploma Thesis (2011)
• Kollias Konstantinos, Vompiris Petros, "Game Development using AI Techniques", Diploma Thesis (2011)
• Nikolaos Printezis, "Study of Two Player Games' Algorithms and Development of a Chess Engine using Artifical Intelligence Techniques", Diploma Thesis (2010)
• Stamati Veroniki, "Cognitive Search on the Web: a Comparative Study", Master's Thesis (2010)
• Velentza Panagiota, "GIOTA: Intelligent Spacial Evaluation", Diploma Thesis (2009)
• Papataxiarhis Vassilios, "Knowledge Technologies in the Case of an Intelligent Football Manager", Master's Thesis (2008)
• Leonidas Kallipolitis - Vassilios Karpis, "Automatic Extraction of Metadata Files for Semantic Search in the World News Domain", Master's Thesis (2008)
• Mavrogiannea Stefania, "Web Services in the Domain of Meteorology", Diploma Thesis (2008)
• Ntzik Gian - Liakopoulos Kyriakos, "XAIL: an Extensible Language for User Interfaces", Diploma Thesis (2008)
• Athineou Irini, "A Comparative Study of Web Knowledge Representation Methodologies in the News Domain", Diploma Thesis (2008)
• Loukia Karanikola, "Web Page Classification: the AutoCat System Approach", Master's Thesis (2007)
• Leonidas Kallipolitis - Vassilios Karpis, "Semantic Search on the World Wide Web: the Case of the World News", Diploma Thesis (2005)
• Aristotelis Katsaris, "Rule-based Web Page Classification: the ExpertCat System Approach", Master's Thesis (2004)
• Argyro Karakaksi, "XML and Logic Programming: TAX Algebra Modeling and Implementation", Master's Thesis (2004)
• Akrivi Vlachou, "XML and Logic Programming: TAX Algebra Modeling", Master's Thesis (2003)

In addition, she supervised (or took part in the supervision of) various undergraduate diploma theses, postgraduate master's theses and PhD theses. The areas of these theses are: logic programming, knowledge bases, databases, expert systems, Web information extraction and representation, computer games.

Research Projects - International Agreements

Other Professional Activities

Member of the Greek Computer Society, the Greek Mathematical Society, the Greek Statistical Institute, the London Mathematical Society (LMS), the Association of Computing Machinery (ACM) and the IEEE-CS.

Reviewer in the Operational Research: An International Journal (ORIJ) (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) and the PCI'2001 (Greek Conference), 3rd East European Workshop on Rule-Based Applications (RuleApps' 2009).

Program Committee member of the 3rd East European Workshop on Rule-Based Applications (RuleApps' 2009), Cottbus, Germany, 21-22 September 2009.

Organizing committee member of the 6th International Conference on Database Theory and the 2nd Workshop on Constraint Databases (CDB'97).

Past Activities

• design of the architecture of the system, tailored to the Department's needs to allow distributed administration by the responsible of each piece of information
• database design
• pages' development and support

PhD Thesis:

MSc Dissertation:

Publications

• V. Papataxiarhis, V. Tsetsos, I. Karali, P. Stamatopoulos and S. Hadjiefthymiades, "Developing Rule-Based Applications for the Web: Methodologies and Tools". Chapter in Book 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", Chapter in Book 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.

Other Publications

• 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.