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