STI Innsbruck is a research group at the University of Innsbruck engaged in research and development to bring information and communication technologies of the future into today's world.
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.
Contact person in charge.