Here is the link to the AAAI 2016 tutorial on Answer Set Programming Modulo Theories.

Here is the link to the AAAI 2012 tutorial on Theory and Practice of Answer Set Programming.