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
Journal:
Theory and Practice of Logic Programming
Volume:
6
Number:
1-2
Pages:
23-60
Contact person in charge.