Stable Model Semantics Extension of miniKanren

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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.

Syllabus

[miniKanren'23] Stable Model Semantics Extension of miniKanren

Taught by

ACM SIGPLAN

Related Courses

Discrete Optimization
University of Melbourne via Coursera Modeling Discrete Optimization
University of Melbourne via Coursera 离散优化算法篇 Solving Algorithms for Discrete Optimization
The Chinese University of Hong Kong via Coursera Solving Algorithms for Discrete Optimization
University of Melbourne via Coursera Reverse Engineering 3201: Symbolic Analysis
OpenSecurityTraining2 via Independent