AI Aspects in Reasoning Languages and Computation