Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.
