Artificial Intelligence and Logic Programming
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:
- ACLP: programming constraint problems
- E-RES: modelling temporal problems
- ACL and MACL: learning under incomplete information
- GORGIAS: Argumentation and Preference Reasoning.