## 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 a characterization with level rankings a translation is devised which maps a normal program to a difference logic formula capturing stable models of the program as satisfying valuations of the resulting formula. The translation makes it possible to use a solver for difference logic to compute stable models of logic programs.

Original language | English |
---|---|

Title of host publication | 10th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, FL; United States; 2-4 January 2008 |

Pages | 5P |

Publication status | Published - 1 Dec 2008 |

MoE publication type | A4 Article in a conference publication |