Research
|
Logic Programming resulted in the seventies as a byproduct of research in automated theorem proving, a branch of Artificial Intelligence. The field expanded very rapidly in the eighties. The research group was started during this period. One of the first projects was the development of BIMprolog. The system was during several years one of the best Prolog-systems worldwide. During the same period, the availability of substantial funds for research in Artificial Intelligence allowed to perform also more fundamental research and to become a leading group for research in logic programming. Current research covers various aspects of declarative programming languages and artificial intelligence. The DTAI research group itself is subdivided into three subgroups:
|
|
|