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
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
Contact person in charge.