I gave a chat at the workshop on how the synthesis of logic and equipment Mastering, Specially locations which include statistical relational learning, can permit interpretability.I is going to be offering a tutorial on logic and Finding out by using a center on infinite domains at this 12 months's SUM. Url to function listed here.I gave a talk ent

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 90 minute converse.Weighted product counting normally assumes that weights are only specified on literals, normally necessitating the necessity to introduce auxillary variables. We take into account