It research how representations in these logics behave within a dynamic placing, and introduces operators for lessening a query right after actions to an First point out, or updating the illustration versus those actions.Past 7 days, I gave a chat within the pint of science on automatic units as well as their impact, bearing on the subjects of fair

I gave a chat on the workshop on how the synthesis of logic and machine learning, Primarily regions including statistical relational Discovering, can allow interpretability.Final week, I gave a talk on the pint of science on automated techniques and their effect, relating the matters of fairness and blameworthiness.Might be speaking at the AIUK cel