We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.

Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications

Publishing Date:
01
2006
Journal: 
Theory and Practice of Logic Programming
Volume: 
6
Number: 
1-2
Pages: 
23-60
Link: 

We are hiring!

Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs