R-Stable Models for Logic Programs


We propose a new semantics for general logic programs which stems from rst principles of logic-programming semantics. Our theory uniies previous approaches and is applicable to some useful programs which are not properly handled by existing semantics. 
DOI: 10.1007/BFb0031744


Cite this paper

@inproceedings{Jakobovits1996RStableMF, title={R-Stable Models for Logic Programs}, author={Hadassa Jakobovits and Dirk Vermeir}, booktitle={Logic in Databases}, year={1996} }