Drew, Dave, Larissa and I had the chance to focus on the motivatons and foundations for instigating the new investigation topic of Experiential AI in a ninety minute converse.
Thinking about synthesizing the semantics of programming languages? We've got a whole new paper on that, approved at OOPSLA.
The Lab carries out exploration in synthetic intelligence, by unifying Understanding and logic, having a recent emphasis on explainability
For anyone who is attending NeurIPS this yr, it's possible you'll be interested in testing our papers that touch on morality, causality, and interpretability. Preprints can be found over the workshop website page.
We evaluate the question of how generalized plans (ideas with loops) could be deemed appropriate in unbounded and steady domains.
A consortia task on reliable systems and goverance was approved late final calendar year. News hyperlink here.
The function is enthusiastic by the need to take a look at and Examine inference algorithms. A combinatorial argument for your correctness with the ideas can be thought of. Preprint right here.
Bjorn and I are promotion a two year postdoc on integrating causality, reasoning and knowledge graphs for misinformation detection. See below.
Just lately, he has consulted with major banking institutions on explainable AI and its effects in monetary establishments.
During the paper, we exploit the XADD information construction to complete probabilistic inference in combined discrete-ongoing Areas competently.
He has served to the senior method committee/spot chair of key AI conferences, co-chaired the ML monitor at KR, among others, https://vaishakbelle.com/ and as PI and CoI secured a grant income of near eight million lbs.
Our MLJ (2017) posting on arranging with hybrid MDPs was accepted for presentation with the journal track.
Our work on synthesizing programs with loops from the existence of sounds will surface in the international journal of approximate reasoning.
Our paper on synthesizing programs with loops while in the existence of probabilistic sound, acknowledged the journal of approximate reasoning, has also been acknowledged for the ICAPS journal monitor. Preprint to the full paper here.