Vaishak Belle

2 papers accepted at IJCAI 2017

2 papers accepted at IJCAI 2017

The first introduces a first-order language for reasoning about probabilities in dynamical domains, and the second considers the automated solving of probability problems specified in natural language.