psmodels: Stable Models Based on Pertinence

  • Authors:

  • Ramón P. Otero

  • Affiliations:

  • -

  • Venue:
  • LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.