I gave a chat at the workshop on how the synthesis of logic and device Finding out, Specifically spots for instance statistical relational Studying, can empower interpretability.I will likely be providing a tutorial on logic and Finding out by using a target infinite domains at this 12 months's SUM. Url to function listed here.I gave a talk entitle

I gave a chat, entitled "Explainability as a support", at the above mentioned celebration that talked about expectations relating to explainable AI and how could be enabled in purposes.I will probably be supplying a tutorial on logic and Discovering that has a target infinite domains at this yr's SUM. Link to party below.I gave a chat entitled "Per

I gave a chat, entitled "Explainability as being a support", at the above mentioned event that talked about anticipations relating to explainable AI And exactly how might be enabled in apps.Weighted model counting frequently assumes that weights are only specified on literals, frequently necessitating the need to introduce auxillary variables. We c

Drew, Dave, Larissa and I had the chance to discuss the motivatons and foundations for instigating the new investigation topic of Experiential AI inside a 90 minute converse.Considering synthesizing the semantics of programming languages? We now have a fresh paper on that, approved at OOPSLA.The paper tackles unsupervised plan induction around comb