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.
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
Journal:
Journal of Artificial Intelligence Research (JAIR)
Volume:
30
Number:
1
Pages:
565-620
Contact person in charge.