topics automatedreasoning