Uniform Equivalence of Logic Programs under the Stable Model Semantics Michael Fink Vienna University of Technology Knowledge-Based Systems Group fink@kr.tuwien.ac.at joint work with Thomas Eiter ICLP 2013, Istanbul, August 28 th , 2013 ➤ Austrian Science Fund (FWF) grant Z29-N04 ➤ EU FET-2001-37004 (WASP) ➤ EU IST-2001-33570 (INFOMIX)