ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains

By Vaishak Belle, Hector J. Levesque. 2015

29 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Vaishak Belle
2. Hector J. Levesque
3. Giulia Vilone
4. Timo Speith

Citations in the corpus

• Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, methodology): “Based on a generalized SAT solving for linear arithmetic, we have shown how this intuition leads to exact and approximate inference techniques for continuous and mixed discrete-continuous probability distributions [Belle et al. , 2015a; 2015b; 2016b].”