A. Kakas

Theoretical studies of Computational Logic in areas of non-monotonic, abductive and temporal reasoning, argumentation and learning. Application of these theories to scheduling planning, machine learning and intelligent information integration. Development of real-life applications with local industry in Cyprus. Integration of Abductive, Constraint and Inductive Logic Programming and the development of systems for: