Automated software engineering
In this research area, we aim to the development of new languages, methods and techniques for automating the construction of programs by following the Logic Programming paradigm. More specifically, we aim to the development of new languages and methodologies which provide automating or semi-automating facilities for the construction of logic programs. We also develop tools which support the transformation and verification of logic programs. Our group has developed a schema-based methodology for constructing logic programs. In addition, we have developed a system for transforming these logic programs.
Knowledge-based systems and expert systems
In this research area we aim towards the development of knowledge-based systems, in particular expert systems in diverse domains, such as medicine and environment. Our group has already developed an expert system in medicine for diagnosis children epilepsy and an environmental expert system which provides decision making for managing the pollution of streams. Partnership includes close research links with Universities, such as the Medical School at the University of Crete and the Natural History Museum of the University of Crete.
Knowledge representation and reasoning
Many domains about which we wish to reason are dynamic in nature. Reasoning about action is concerned with determining the nature of the world (what holds in the world state) after performing an action in a known world state, and has found application in areas such as cognitive robotics. The guarantee of consistency of data that is stored in a database is a very important and difficult problem. The consistency of data is determined by the satisfaction of the integrity constraints in the different database states (situations).
Natural language processing
Natural language processing of the Greek language is another domain of research interest of our research group. In this area, we aim to develop interfaces in Greek language with data bases and other applications.
F.A.Q
Frequently Asked Questions
The Artificial Intelligence and Systems Engineering (AISE) Lab is a research and educational laboratory within the Department of Electrical and Computer Engineering (ECE) at HMU. It focuses on meeting the research and educational needs of the department across all academic levels. The lab also participates in providing lifelong education and training services.
The AISE Lab aims to promote scientific knowledge in Artificial Intelligence and Systems Engineering. It emphasizes applied technological research and development in cutting-edge technologies, especially in software development. The lab also aims to develop open-source software, research standards, models, systems and tools. Another goal is to provide specialized training for students and employees, and offer consulting services.
The AISE Lab’s research activities cover the entire software life cycle, from requirement analysis to design, implementation, verification, and maintenance. The research focuses on applied technological research and development in software development, from the perspective of AI and Systems Engineering. Specific areas of focus include Artificial Intelligence, Embedded Systems, Educational Technology, Serious Games, Medical Informatics, and Web Technology.
The lab conducts research and development activities in the following thematic areas: Artificial Intelligence, Embedded Systems, Educational Technology, Serious Games, Medical Informatics, and Web Technology. These areas have significant technological impact and the potential to sustain international collaboration.
Yes, the AISE Lab collaborates with Research Centers, Institutes, and Universities both in Greece and abroad, as well as with public and private organizations. These collaborations aim to solve real-world problems.
The AISE Lab develops and implements research and development activities through funded national and European projects. Some of these projects include the application of the Environmental Decision Support System in the Ecosystem of Streams of Crete (Expert System-Crete (ES-Cr)) and Artificial Intelligence Applications in Software Engineering and in Medicine.
English 
Greek