Abstraction for Non-Ground Answer Set Programs (Extended Abstract)

Zeynep G. Saribatur, Thomas Eiter, Peter Schüller

• Video #1 Length : 00:01:21 on SlidesLive
• Video #2 Length : 00:11:49 on SlidesLive