CISA student Xue Li will be presenting her poster at DemoFest 2017 Taking place on Tuesday 3 October at Our Dynamic Earth, Edinburgh Evolving Logical Theories Based on Automated Reasoning This research focuses on repairing faulty logical theories. When a reasoning failure is detected, we will repair the theory by changing the language in which it is written or adding/deleting one or more sentences. SICSA DemoFest This article was published on 2024-11-22