Category: Feature Articles

The s(ASP) Predicate Answer Set Programming System

By Kyle Marple, Elmer Salazar Zhuo Chen, and Gopal Gupta Department of Computer Science The University of Texas at Dallas   Abstract: We present the s(ASP) system that computes stable models of normal logic programs, i.e., logic programs extended with…