DTAI

The activities of DTAI (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence) are centred around research and education in programming languages and artificial intelligence. Main themes of study are in the fields of declarative languages, machine learning, and knowledge representation.

DTAI started in the mid-seventies, closely following the invention of logic programming and became one of the world's leading centres for research in logic programming. Gradually, the scope of its research broadened, including functional programming and more artificial intelligence oriented topics in knowledge representation and machine learning. The use of logic is a common thread to almost all activities.