Accepted poster at SICSA DemoFest

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