https://vaishakbelle.com/ - An Overview

I gave a talk within the workshop on how the synthesis of logic and equipment learning, especially spots which include statistical relational Finding out, can enable interpretability.

Weighted product counting normally assumes that weights are only specified on literals, normally necessitating the necessity to introduce auxillary variables. We consider a new approach based on psuedo-Boolean capabilities, bringing about a more common definition. Empirically, we also get SOTA results.

The Lab carries out study in synthetic intelligence, by unifying Finding out and logic, using a modern emphasis on explainability

The paper discusses the epistemic formalisation of generalised arranging within the existence of noisy acting and sensing.

An short article for the arranging and inference workshop at AAAI-18 compares two distinct strategies for probabilistic setting up through probabilistic programming.

I’ll be offering a chat with the conference on good and dependable AI within the cyber Actual physical programs session. Thanks to Ram & Christian for that invitation. Hyperlink to celebration.

The problem we tackle is how the training ought to be outlined when You can find lacking or incomplete data, leading to an account based upon imprecise probabilities. Preprint in this article.

The write-up introduces a basic logical framework for reasoning about discrete and continuous probabilistic products in dynamical domains.

We examine preparing in relational Markov decision procedures involving discrete and ongoing states and actions, and an mysterious quantity of objects (by using probabilistic programming).

During the paper, we exploit the XADD data construction to complete probabilistic inference in combined discrete-ongoing spaces effectively.

He has served within the senior system committee/location chair of major AI conferences, co-chaired the ML track at KR, among Other people, and as PI and CoI secured a grant earnings of close to 8 million kilos.

Our MLJ (2017) posting on arranging with hybrid MDPs was recognized for presentation with the journal track.

Our work on https://vaishakbelle.com/ synthesizing ideas with loops inside the presence of noise will seem inside the Worldwide journal of approximate reasoning.

Our operate (with Giannis) surveying and distilling ways to explainability in device Understanding is acknowledged. Preprint right here, but the final Variation are going to be on the web and open access soon.