Toward robots that reason : logic, probability & causal laws - Belle, Vaishak (Springer, 2023)