Lectures Automated Reasoning and Ontologies cancelled in days Nov 7-9

Lectures are cancelled next week because I will be at a Conference. Next Automated Reasoning lecture will be on Nov 14, next Ontologies Lecture will be on Nov 16. Thank you for your attention, see you then!