Toon vak Intelligent Agents and Automated Reasoning