STI Innsbruck is a research institute at the University of Innsbruck engaged in research and development to bring information and communication technologies of the future into today's world.
University of Innsbruck Technikerstraße 21a Innsbruck, Austria
It was a big pleasure and honor for us to host Prof. Michael Kifer in 2006/7 as a visiting BIT professor at our institute. Starting with my PhD I try to understand and apply his vision around tractable instance reasoning with rules.