Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a conference talk that delves into the extension of miniKanren with stable model semantics. Learn from presenters Xiangyu Guo, James Smith, and Ajay Bansal as they discuss their research and findings in this 47-minute presentation from the miniKanren'23 conference. Gain insights into the intersection of logic programming and answer set programming, and discover how this extension enhances miniKanren's capabilities for solving complex problems.
