Answer set solving in practice, axiomatic characterization, exercise 1-c
Channel: Potassco
Date: 11/01/2022

Playlist on axiomatic characterization: https://www.youtube.com/watch?v=7HGHNq8UclE&list=PL7DBaibuDD9P_bClrNMkTC9X71oqGOMiA

Slides and more at https://teaching.potassco.org/