PhD Positions on the AI4REASON Project in Prague