Learning with Logical Constraints: Methods and Applications

Explore multiple methods for learning with logical constraints in this comprehensive 1-hour video lecture. Delve into the intricacies of LTN, SPL, NASR, and STLNet as part of the cutting-edge field of neuro-symbolic AI. Begin with an introduction to the topic, then progress through detailed explanations of each method, including their applications and significance in artificial intelligence and machine learning. Conclude with insightful remarks on the future of these techniques and their potential impact on the development of artificial general intelligence (AGI). Gain valuable knowledge from content originally taught in an AI course at Arizona State University, now made accessible through the Neuro Symbolic Channel.

Intro
LTN
SPL
NASR
STLNet
Concluding remarks