Automated Reasoning & Dialog Systems