Answer set solving in practice, operational characterization, introduction

This video gives an overview over the part and introduces partial interpretations