CSA5006 Logic, Representation and Inference