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.
Automated Reasoning: Reasoning with Large Data Sets, Deductive Database Algorithms and Optimization Techniques, Hybrid Reasoning Based on DLs and Logic Programming and Reasoning in Distributed Environments;