|
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.
|