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.