I gave a talk, entitled "Explainability to be a provider", at the above mentioned occasion that reviewed expectations with regards to explainable AI and how may be enabled in purposes.Weighted model counting normally assumes that weights are only specified on literals, generally necessitating the need to introduce auxillary variables. We consider a

I gave a talk on the workshop on how the synthesis of logic and machine Understanding, Particularly areas which include statistical relational Finding out, can enable interpretability.Very last 7 days, I gave a chat at the pint of science on automated devices as well as their effects, bearing on the subjects of fairness and blameworthiness.Will lik

It research how representations in these logics behave within a dynamic environment, and introduces operators for minimizing a query soon after actions to an Preliminary state, or updating the representation against those steps.Past week, I gave a chat within the pint of science on automatic programs and their influence, touching on the subject are

Drew, Dave, Larissa and I experienced the chance to go over the motivatons and foundations for instigating The brand new analysis theme of Experiential AI inside of a 90 minute communicate.Keen on synthesizing the semantics of programming languages? We've got a whole new paper on that, acknowledged at OOPSLA.The Lab carries out investigation in art

I gave a talk in the workshop on how the synthesis of logic and equipment Mastering, In particular regions like statistical relational Discovering, can allow interpretability.I will probably be providing a tutorial on logic and Understanding using a target infinite domains at this 12 months's SUM. Url to function listed here.The Lab carries out exp