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

Author(s): 
Publishing Date:
01
2004
Book title: 
Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), Lecture Notes in Artificial Intelligence, LNAI 2923
Pages: 
100-113
Address: 
Fort Lauderdale, Florida, USA
Author(s) from STI: 

We are hiring!

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