Stable models and difference logic

  • Ilkka Niemelä
  • Published 2008 in Annals of Mathematics and Artificial Intelligence

Abstract

The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework. Characterizations of stable models in terms of level rankings are developed building on simple linear integer constraints allowed in difference logic. Based on the characterizations translations are devised which map normal programs to difference logic formulas capturing stable models of a program as satisfying valuations of the resulting formula. The translations make it possible to use a solver for difference logic to compute stable models of logic programs.

DOI: 10.1007/s10472-009-9118-9

Extracted Key Phrases

Cite this paper

@article{Niemel2008StableMA, title={Stable models and difference logic}, author={Ilkka Niemel{\"a}}, journal={Annals of Mathematics and Artificial Intelligence}, year={2008}, volume={53}, pages={313-329} }