Automating Commonsense Reasoning with ASP and s(CASP) *