A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics | IEEE Conference Publication | IEEE Xplore