Title: AI Aspects in Reasoning, Languages, and Computation