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.