I gave a chat at the workshop on how the synthesis of logic and machine Finding out, In particular areas such as statistical relational learning, can empower interpretability.
I is going to be offering a tutorial on logic and Discovering with a target infinite domains at this 12 months's SUM. Backlink to celebration below.
The paper tackles unsupervised application induction about mixed discrete-continual facts, and is also accepted at ILP.
I attended the SML workshop during the Black Forest, and discussed the connections concerning explainable AI and statistical relational Discovering.
We take into account the dilemma of how generalized plans (programs with loops) might be deemed proper in unbounded and continual domains.
I gave a talk on our latest NeurIPS paper in Glasgow although also covering other strategies within the intersection of logic, Mastering and tractability. As a result of Oana for that invitation.
Enthusiastic about schooling neural networks with https://vaishakbelle.com/ sensible constraints? We have a brand new paper that aims in the direction of total fulfillment of Boolean and linear arithmetic constraints on instruction at AAAI-2022. Congrats to Nick and Rafael!
Bjorn and I are promotion a 2 year postdoc on integrating causality, reasoning and knowledge graphs for misinformation detection. See in this article.
We research planning in relational Markov choice procedures involving discrete and continuous states and actions, and an not known variety of objects (by using probabilistic programming).
Jonathan’s paper considers a lifted approached to weighted design integration, including circuit development. Paulius’ paper develops a evaluate-theoretic perspective on weighted design counting and proposes a method to encode conditional weights on literals analogously to conditional probabilities, which results in substantial effectiveness advancements.
Paulius' Focus on algorithmic strategies for randomly generating logic applications and probabilistic logic applications is accepted towards the principles and practise of constraint programming (CP2020).
Our MLJ (2017) posting on setting up with hybrid MDPs was approved for presentation on the journal keep track of.
Our Focus on synthesizing designs with loops in the presence of noise will look from the Intercontinental journal of approximate reasoning.
Our perform (with Giannis) surveying and distilling techniques to explainability in device Finding out has become approved. Preprint listed here, but the final version will probably be online and open up entry quickly.