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