Computing Supported Models via Transformation to Stable Models

Fang Li, Gopal Gupta

Answer Set Programming (ASP) with stable model semantics has proven highly effective for knowledge representation and reasoning. However, the minimality requirement of stable model…