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

Publishing Date:
09
2007
Journal: 
Journal of Artificial Intelligence Research (JAIR)
Volume: 
30
Number: 
1
Pages: 
565-620
Link: 

We are hiring!

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