I gave a talk, entitled "Explainability for a service", at the above occasion that talked about anticipations about explainable AI and how could possibly be enabled in apps.I will probably be supplying a tutorial on logic and Mastering that has a target infinite domains at this yr's SUM. Link to party below.I gave a chat entitled "Perspectives on E

I gave a talk, entitled "Explainability for a services", at the above mentioned event that talked about anticipations concerning explainable AI And just how could be enabled in programs.Weighted product counting generally assumes that weights are only specified on literals, typically necessitating the need to introduce auxillary variables. We conte

I gave a chat, entitled "Explainability as being a assistance", at the above function that discussed expectations pertaining to explainable AI And the way might be enabled in apps.Final week, I gave a talk with the pint of science on automatic programs as well as their impression, pertaining to the subject areas of fairness and blameworthiness.I ga

Drew, Dave, Larissa and I experienced the chance to talk about the motivatons and foundations for instigating The brand new investigate theme of Experiential AI within a ninety moment talk.I is going to be offering a tutorial on logic and Mastering that has a deal with infinite domains at this year's SUM. Hyperlink to occasion right here.Will likel

I gave a chat at the workshop on how the synthesis of logic and equipment Finding out, Specifically areas for instance statistical relational Studying, can help interpretability.Interested in synthesizing the semantics of programming languages? We've got a whole new paper on that, approved at OOPSLA.The Lab carries out analysis in synthetic intelli