Publisher
Springer International Publishing
Reference83 articles.
1. Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell. 111(1–2), 171–208 (1999)
2. Belle, V.: Weighted model counting with function symbols. In: UAI (2017)
3. Belle, V.: On plans with loops and noise. In: AAMAS (2018)
4. Belle, V.: Symbolic logic meets machine learning: a brief survey in infinite domains (2020)
5. Belle, V., Juba, B.: Implicitly learning to reason in first-order logic. In: NeurIPS (2019)