It experiments how representations in these logics behave inside a dynamic environment, and introduces operators for cutting down a question following actions to an Preliminary condition, or updating the illustration versus those actions.
Considering synthesizing the semantics of programming languages? We have now a completely new paper on that, accepted at OOPSLA.
The Lab carries out analysis in synthetic intelligence, by unifying Finding out and logic, using a recent emphasis on explainability
In case you are attending NeurIPS this calendar year, you could possibly have an interest in looking at our papers that contact on morality, causality, and interpretability. Preprints are available within the workshop web site.
We consider the question of how generalized plans (plans with loops) may be deemed suitable in unbounded and continual domains.
A consortia undertaking on trusted programs and goverance was accepted late very last year. Information link listed here.
Keen on teaching neural networks with sensible constraints? Now we have a completely new paper that aims to comprehensive gratification of Boolean and linear arithmetic constraints on schooling at AAAI-2022. Congrats to Nick and Rafael!
The posting introduces a normal rational framework for reasoning about discrete and steady probabilistic models in dynamical domains.
We study arranging in relational Markov choice processes involving discrete and continual states and actions, and an mysterious number of objects (through probabilistic programming).
Within the paper, we exploit the XADD knowledge framework to conduct probabilistic inference in blended discrete-continuous Areas efficiently.
He has served about the senior software committee/location chair of main AI conferences, co-chaired the ML track at KR, among the Many others, and as PI and CoI secured a grant profits of near to 8 million lbs ..
Our MLJ (2017) write-up on scheduling with hybrid MDPs was acknowledged for presentation for the journal track.
Our Focus on synthesizing plans with loops within the presence of noise will appear within the international journal of approximate reasoning.
Our paper on https://vaishakbelle.com/ synthesizing programs with loops inside the presence of probabilistic noise, accepted the journal of approximate reasoning, has also been recognized into the ICAPS journal keep track of. Preprint to the entire paper below.