{"id":110,"date":"2011-06-08T09:40:26","date_gmt":"2011-06-08T09:40:26","guid":{"rendered":"http:\/\/homepages.inf.ed.ac.uk\/jdf\/?page_id=110"},"modified":"2023-01-28T16:55:32","modified_gmt":"2023-01-28T16:55:32","slug":"teaching","status":"publish","type":"page","link":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<p>I&#8217;ll be lecturing on the following courses during the current academic year:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.inf.ed.ac.uk\/teaching\/courses\/ar\/\">Automated Reasoning<\/a>\u00a0(Semester 1).<\/li>\n<\/ul>\n<p>I also teach the following course, although it is currently on-hold:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.drps.ed.ac.uk\/22-23\/dpt\/cxinfr11180.htm\">Artificial Intelligence, Present and Future<\/a><\/li>\n<\/ul>\n<p>In the past, I&#8217;ve taught:<\/p>\n<p><!-- p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.0px Helvetica} --><\/p>\n<ul>\n<li>Formal Verification (2015-2018).<\/li>\n<li><a href=\"http:\/\/www.inf.ed.ac.uk\/teaching\/courses\/sws\/\">Semantic Web Systems<\/a>\u00a0(2015-16).<\/li>\n<li>Informatics 2D: Reasoning and Agents (2008-2013).<\/li>\n<li>Multi-Agents Systems and Semantic Web (2006-07).<\/li>\n<li>Learning from Data and Coping with Incomplete Information (2000-2005).<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>I&#8217;ll be lecturing on the following courses during the current academic year: Automated Reasoning\u00a0(Semester 1). I also teach the following course, although it is currently on-hold: Artificial Intelligence, Present and Future In the past, I&#8217;ve taught: Formal Verification (2015-2018). Semantic &hellip; <a href=\"https:\/\/homepages.inf.ed.ac.uk\/jdf\/teaching\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-110","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/110","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/comments?post=110"}],"version-history":[{"count":21,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/110\/revisions"}],"predecessor-version":[{"id":521,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/110\/revisions\/521"}],"wp:attachment":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/media?parent=110"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}