Drew, Dave, Larissa and I had the chance to focus on the motivatons and foundations for instigating the new analysis topic of Experiential AI in a 90 minute converse.
Final week, I gave a talk on the pint of science on automated techniques as well as their effects, touching on the topics of fairness and blameworthiness.
The paper tackles unsupervised software induction in excess of mixed discrete-ongoing info, and is approved at ILP.
The paper discusses the epistemic formalisation of generalised arranging in the presence of noisy performing and sensing.
We consider the query of how generalized ideas (programs with loops) might be deemed right in unbounded and constant domains.
A consortia task on trustworthy devices and goverance was acknowledged late past yr. Information hyperlink in this article.
Interested in training neural networks with logical constraints? We've a brand new paper that aims in the direction of complete fulfillment of Boolean and linear arithmetic constraints on coaching at AAAI-2022. Congrats to Nick and Rafael!
The report introduces a standard logical framework for reasoning about discrete and continual probabilistic styles in dynamical domains.
We analyze organizing in relational Markov conclusion procedures involving discrete and continuous states and actions, and an mysterious number of objects (by means of probabilistic programming).
Inside the paper, we exploit the https://vaishakbelle.com/ XADD knowledge composition to perform probabilistic inference in mixed discrete-continuous spaces effectively.
Paulius' work on algorithmic techniques for randomly producing logic plans and probabilistic logic plans is accepted to the concepts and practise of constraint programming (CP2020).
Our MLJ (2017) write-up on scheduling with hybrid MDPs was acknowledged for presentation for the journal track.
Should you be attending AAAI this 12 months, it's possible you'll have an interest in checking out our papers that touch on fairness, abstraction and generalized sum-product issues.
I gave a talk around the threats of synthetic intelligence and analysis priorities at the Intercontinental Growth Society.