Home Page: Isambo Karali

		KARALI Isambo
	Address:	Department of Informatics and Telecommunications National and Kapodistrian University of Athens Panepistimiopolis, 157 84 Athens, Greece
	E-mail address:	izambodi.uoa.gr
	Phone:	+(30) 210 727 5232

Education

1995 PhD in Informatics (Department of Informatics, University of Athens)

1988 Msc in Computer Science (University College, University of London)

1986 Diploma in Mathematics (Department of Mathematics, University of Athens)

Professional Appointments

Nov. 2007 - today: Assistant Professor at the Department of Informatics and Telecommunications of the University of Athens

Sept. 1999 - Nov. 2007: Lecturer at the Department of Informatics and Telecommunications of the University of Athens

Jan. 1989 - Sept. 1999: Research associate at the Department of Informatics of the University of Athens in the context of European Union research projects

May 1996 - June 1998: Postdoctoral researcher collaborating with the Institute of Informatics and Telecommunications of NCSR"Democritos" In the context of a GSRT PENED project

Research Interests

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

Teaching Activities

Current:

Object Oriented Programming (undergraduate) (course web page -in Greek-)
Introduction to Artificial Intelligence: Knowledge Represenation (postgraduate - Graduate Studies in Applied Cognitive Science) / Knowledge Technologies (postgraduate - Graduate Studies in Language Technology) (course web page -in Greek-)
Logic Programming (undergraduate - with P. Stamatopoulos) ( course web page -in Greek-)

Past:

Knowledge Technology (postgraduate - Erasmus Mundus Joint Master degrees programme "Smart Telecom and Sensing Networks" - SMARTNET)
Knowledge Engineering (postgraduate - Graduate Studies in Basic and Applied Cognitive Science)
Knowledge Engineering (postgraduate)
Introduction to Informatics for the School of Social Theology (undergraduate) / Introduction to Informatics for the School of Theology (undergraduate)
Applied Informatics for the School of Social Theology (undergraduate) / Applied Informatics for the School of Theology (undergraduate)
Object-oriented Software Development (undergraduate)
Logic Programming and Expert Systems (undergraduate)
Artificial Intelligence (undergraduate)
Systems Analysis (undergraduate)
Expert Systems (postgraduate)
Artificial Intelligence (postgraduate)
Databases (postgraduate)

In addition, she has given course lectures in other departments and institutions such as

Faculty of Communication and Media Studies, National and Kapodistrian University of Athens
The Medical Informatics MSc ERASMUS programme, National and Kapodistrian University of Athens
School of Electrical and Computer Engineering, National Technical University of Athens

Diploma/Postgraduate/PhD Theses Supervision

Area of interest: Knowledge Representation and Reasoning under Uncertainty.
Logic Programming to represent and reason under uncertainty, especially in distributed environments.

Topics of theses in this area:

reasoning under uncertainty and vagueness
logic programming to represent knowledge on the Web
web page classification

PhD Supervision

Loukia Karanikola, "Managing Uncertainty and Vagueness in Semantic Web" (Thesis Title), 2018 (completed)
Vassileios-Marios Anastassiou, "Handling imprecise knowledge on the World Wide and Semantic Web", 2014- (in progress)

Completed Theses (after 2014)

Boura Tatiana, "Dempster-Shafer Ôheory Application in Recommender Systems and Comparison of Constraint Programming¢s and Möbius Transform¢s Implementations", Diploma Thesis (2022)
Dede Georgia, "Cognitive Biases: A possibilistic approach", Master's Thesis (2021)
Papasotiriou Ilias, "Movie Recommendation System based on Dempster-Shafer theory", Diploma Thesis (2021)
Dimitriou Dimitris, "Classification of Igneous Plutonic Rocks Using Fuzzy Logic and Dempster-Shafer Theory", Diploma Thesis (2021)
Roussaki Aikaterini, "Music Recommendation Systems using Dempster Shafer Theory", Diploma Thesis (2020)
Kaltsounidis Alexandros, "Dempster-Shafer Theory Computation using Constraint Programming", Diploma Thesis (2019)
Sideris Dimitrios, "Datalog Knowledge Base Transformation into an OWL ontology and vice versa", Diploma Thesis (2019)
Spachou Evangelia, "Hotel Recommendation System Handling Uncertainty and Fuzziness", Diploma Thesis (2018)
Kadianakis Ioannis, "Design and Implementation of Recommendation System for Movies in Mobile Application", Diploma Thesis (2018)
Skandalellis Eleftherios and Valsamis Aggelos, "An efficient fall detection system implented in Android using threshold-based techniques and indoor zone detection", Master's Thesis (2017)
Mavrios Antonios, "Hotel Recommendation System based on the hotel features and the hotel area features", Master's Thesis (2017)
Chaskos Konstantinos, "Medical Specialty Recommendation System According to the Patient's Symptoms Based on Ontology", Diploma Thesis (2017)
Lianos Aris, "Personalized Difficulty of Exercises Calculating System", Diploma Thesis (2017)
Saltaouras Dimitrios, "Study of Topics on Recommendation Systems and Extension of the "RestaurantFinder" Web Application", Diploma Thesis (2016)
Sfyris Thomas, "Allocation of Integrated Compensatory Recycling Centers: Implementation in the City Of London", Diploma Thesis (2016)
Spantidi Ourania, "Study and implementation of behavior trees using Unity3D", Diploma Thesis (2016) (co-supervised with PhD cand. V.-M. Anastasiou)
Vita Vassiliki, "Knowledge Representation and Cognitive Features of Intelligent Domestic Appliances", Master's Thesis (2015)
Kotsomitopoulos Aristotelis and Papapanagiotakis-Bousy Jason, "Automatic retrieval of world news and classification based on extracted metadata", Diploma Thesis (2015)
Tsimpidi Dorothea-Konstantina, "Restaurant Recommendation System: The Case of London Restaurants", Diploma Thesis (2015)
Exarchou Georgia, "Ontology implementation for knowledge representation of a smart home for the elderly", Master's Thesis (2014)

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, semantic search.

Research Projects - International Agreements

National and Kapodistrian University of Athens - Università della Svizzera italiana (USI): "SWISS EUROPEAN MOBILITY" Programme (2015-2021), (Academic Responsble of UoA)
National and Kapodistrian University of Athens - University Of Ulster, Coleraine, U.K., LIFELONG LEARNING PROGRAMME: HIGHER EDUCATION ("ERASMUS") 2010 - 2013, 2013 - 2014, ERASMUS+ (2014-2015, 2015-2021), (Academic Responsble of UoA)
Handling uncertainty in data intensive applications on a distributed computing environment (cloud computing), Project "Thalis".
Artificial Intelligence Methodologies and Logic Programming to Deal with Knowledge on the World Wide Web, University of Athens
Semantic Web and Logic Programming: the Case of Focused Crawling, University of Athens
Multi-agent Integration of Shared Statistical Information Over the (inter)Net (MISSION), IST Project, IST-1999-10655 (Jan. 2000 - March 2003)
Cluster Of Systems of Metadata for Official Statistics (COSMOS), IST Project, IST-2000-26050 (Sept. 2001 - Sept. 2003)
Integrating Heterogeneous Information Sources over the Web via Logic-based Agents, British Council - University of Athens Joint Research Programmes (Jul. 1999 - Dec. 2001)
Access to Distributed Databases for Statistical Information Analysis (ADDSIA), ESPRIT Project, EP 22950 (Jan. 1997 - March 2000)
Logic Programming Systems and Logic Programming Development Environments, GSRT PENED Project 952 (May 1996 - June 1998)
Parallel Constraint Handling for User Technologies (PARACHUTE), ESPRIT Project, EP 9134 (May 1994 Sept. 1996)
Application and Assessment of Parallelism using Logic (APPLAUSE), ESPRIT Project, EP 6708 (May 1992 - Jul. 1995)
European Declarative System (EDS), ESPRIT Project, EP 2025 (Jan. 1989 - June 1992)

Other Professional Activities

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

Reviewer in the International Journal of Data Science and Analytics (JDSA), IEEE Transactions on Fuzzy Systems (IEEE TFS), 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 IEEE International Conference on Tools with Artificial Intelligence (ICTAI) (since 2017), - 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).

2000 - 2012: Responsible for the Web Site of the Department, participating in the:

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:

I. Karali: "Semantics and Support of Modular Logic Programming and its Application to Abstract Data Types" (in Greek)

MSc Dissertation:

I. Karali. "Functional Language Implementation of Quadtrees: An Application of Functional Programming on Graphics"

Textbook

Karali, I. (2023). "Object Oriented Programming: Concepts and Techniques" [Undergraduate textbook (in greek)]. Kallipos, Open Academic Editions. ISBN: 978-618-228-050-8, DOI

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

A. Kaltsounidis and I. Karali, "Dempster-Shafer Theory: How Constraint Programming Can Help", Proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2020), Lisbon, Portugal, 2020.
L. Karanikola and I. Karali, "Towards a Dempster-Shafer Fuzzy Description Logic - Handling Imprecision in the Semantic Web", IEEE Transactions on Fuzzy Systems, IEEE, Vol. 26, No. 5, pp. 3016.3026, 2018.
L. Karanikola and I. Karali, "Semantic Web and Ignorance: Dempster-Shafer Description Logics", Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2017), AAAI Press, Marco Island, Florida, USA, 2017.
L. Karanikola and I. Karali, "Dempster-Shafer Logical Model for Fuzzy Description Logics", Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence (SSCI 2016), IEEE, Athens, Greece, 2016.
L. Karanikola and I. Karali, "A Fuzzy Logic Approach for Reasoning Under Unceratinty and Vagueness - A Matchmaking Case Study", Proceedings of the 2nd International Conference on Information Management (ICIM 2016), IEEE, London, UK, 2016.
Loukia Karanikola, Isambo Karali and Sally McClean, "Uncertainty reasoning for the "Big Data" SemanticWeb", Proceedings of the 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI 2014), San Francisco, CA, USA, 2014.
L. Karanikola, I. Karali and S. McClean, "Uncertainty reasoning for the Semantic Web based on Dempster-Shafer model", Proceedings of the 4th International Conference on Information, Intelligence, Systems and Applications (IISA 2013), pp. 147.151, Piraeus, 2013.
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.