Knowledge representation and reasoning plays a central role in Artificial Intelligence. It is one of the oldest areas of AI. Research group is concerned with the representation of knowledge and the formalisation of reasoning. Topics from the modeling of reasoning in specific domains to software for automated theorem proving, and from the development of knowledge databases to the study of human reasoning as displayed in specific reasoning tasks.
Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.