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.
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.