Transcript Computational Logic and Cognitive Science – An Overview