2 papers accepted at AAAI-16

Dec 1, 2015

These introduce (1) component caching in hybrid domains, and (2) a first-order logic of probability with only knowing.

Machine Learning Journal Award at ECML-PKDD

Machine Learning Journal Award at ECML-PKDD Our Paper Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming received...

Paper accepted at KR-16

[Paper accepted at KR-16](http://kr2016.cs.uct.ac.za) We consider the question of how generalized plans (plans with loops) can be deemed correct in...