{"id":4453,"date":"2021-09-01T17:26:50","date_gmt":"2021-09-01T15:26:50","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4453"},"modified":"2021-11-23T09:28:23","modified_gmt":"2021-11-23T08:28:23","slug":"lira-session-catholijn-jonker","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2021\/09\/lira-session-catholijn-jonker\/","title":{"rendered":"LIRa Session: Catholijn Jonker"},"content":{"rendered":"<p>Speaker: Catholijn Jonker (Delft University of Technology)<\/p>\n<p>Date and Time: Thursday, November&nbsp;25th 2021, 16:30-18:00, <a href=\"https:\/\/www.timeanddate.com\/time\/zone\/netherlands\/amsterdam\" target=\"_blank\" rel=\"noopener noreferrer\">Amsterdam time<\/a>.<\/p>\n<p>Venue: <strong><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/strong>.<\/p>\n<p><strong>Title: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE framework<br \/>\n<\/strong><\/p>\n<p><em>Abstract.<\/em><\/p>\n<p style=\"font-weight: 400;\">I will discuss how bi-modular logics of a simple kind can be used to perform abstract meta-level forms of reasoning.<\/p>\n<p style=\"font-weight: 400;\">I don\u2019t know if I can get the old DESIRE system running again for you, but I will give it a try. Otherwise I will explain the concept to you in detail. Showing how you can use meta-level reasoning for Diagnostic Reasoning and for reasoning about the Closed World Assumption in a different way. I will reflect on this to show how this reasoning could help in modern day I to have systems realise what it is that they don\u2019t know about.<\/p>\n<p style=\"font-weight: 400;\">\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Catholijn Jonker (Delft University of Technology)<br \/>\nDate and Time: Thursday, November&nbsp;25th 2021, 16:30-18:00, Amsterdam time.<br \/>\nVenue: online.<br \/>\nTitle: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE framework<\/p>\n<p>Abstract.<br \/>\nI will discuss how bi-modular logics of a simple kind can be used to perform abstract meta-level forms of reasoning.<br \/>\nI don\u2019t know if I can get the old DESIRE system [&#8230;]<\/p>\n","protected":false},"author":14,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4453","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4453","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/14"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4453"}],"version-history":[{"count":3,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4453\/revisions"}],"predecessor-version":[{"id":4527,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4453\/revisions\/4527"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4453"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4453"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4453"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}