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.

Open Answer Set Programming with Guarded Programs

Publishing Date:
08
2008
Journal: 
ACM Transactions on Computational Logic (TOCL)
Volume: 
9
Number: 
4
Link: 

We are hiring!

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