Answer set solving in practice, operational characterization, fitting operator
Channel: Potassco
Date: 03/01/2021

This video is all about an operator due to Melvin Fitting, and how it is derived from program completion