The characterization of stable models using the monotonic logic of pertinence helps identifying program transformations leading to a new normal form of programs. This provides an alternative view on automated reasoning for stable models from which improvements on existing systems, e.g. smodels, can be identified. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Otero, R. P. (2001). Psmodels: Stable models based on pertinence. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2173 LNAI, pp. 420–423). https://doi.org/10.1007/3-540-45402-0_35
Mendeley helps you to discover research relevant for your work.