TEACHING & NOTES
Making reasoning explicit
Courses, lecture materials, and talks on logic and AI.
Input/output logicOpen resource ↗AI agentsOpen resource ↗Logical reasoning & fallaciesOpen resource ↗Computational philosophyOpen resource ↗Argument miningOpen resource ↗Talks & explanationsOpen resource ↗Reading & resourcesOpen resource ↗
Earlier teaching assistance
University of Luxembourg
2019–2020 · Intelligent Agents I — Knowledge Representation
2017–2019 · Intelligent Agents II — Multiagent Systems
2017–2019 · Intelligent Systems — Agents and Reasoning
2017 · Discrete Mathematics II
University of Tehran
2011–2015 · Mathematical Logic
2011 and 2012 · Calculus I