I gave a chat in the workshop on how the synthesis of logic and equipment learning, Primarily regions like statistical relational Mastering, can allow interpretability.Final 7 days, I gave a chat with the pint of science on automatic devices as well as their effect, bearing on the topics of fairness and blameworthiness.The paper tackles unsupervise

I gave a talk, entitled "Explainability like a assistance", at the above mentioned event that mentioned expectations pertaining to explainable AI And exactly how might be enabled in programs.I are going to be offering a tutorial on logic and Finding out using a give attention to infinite domains at this year's SUM. Connection to celebration listed

I gave a talk, entitled "Explainability like a assistance", at the above mentioned celebration that discussed expectations relating to explainable AI And just how may very well be enabled in purposes.Weighted model counting normally assumes that weights are only specified on literals, generally necessitating the need to introduce auxillary variable

It reports how representations in these logics behave inside of a dynamic environment, and introduces operators for cutting down a question following actions to an First point out, or updating the illustration against These actions.I will probably be providing a tutorial on logic and Understanding using a give attention to infinite domains at this

I gave a talk, entitled "Explainability as a provider", at the above event that reviewed anticipations with regards to explainable AI And exactly how could possibly be enabled in purposes.Enthusiastic about synthesizing the semantics of programming languages? We have now a new paper on that, accepted at OOPSLA.The Lab carries out analysis in synthe