Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!
Automated reasoning is an old and active field of research. In recent years, researchers got interested in automated reasoning in the context of distributed systems and over distributed knowledge bases. The aim of this project is to create a survey of existing approaches and research on distributed reasoning.